Trait

gov.nasa.jpl.omf.scala.binding.owlapi.types.terminologies

MutableTerminologyBox

Related Doc: package terminologies

Permalink

trait MutableTerminologyBox extends TerminologyBox with MutableModule

Linear Supertypes
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MutableTerminologyBox
  2. MutableModule
  3. TerminologyBox
  4. Module
  5. Resource
  6. LogicalElement
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type MS = TerminologyBoxSignature[OWLAPIOMF, HashSet]

    Permalink
    Definition Classes
    MutableTerminologyBoxTerminologyBoxModule

Abstract Value Members

  1. abstract val backbone: OMFBackbone

    Permalink
    Definition Classes
    Module
  2. abstract val isBundle: Boolean

    Permalink
    Definition Classes
    TerminologyBox
  3. abstract val isGraph: Boolean

    Permalink
    Definition Classes
    TerminologyBox
  4. abstract val isImmutable: Boolean

    Permalink
    Definition Classes
    TerminologyBox
  5. abstract val isMutable: Boolean

    Permalink
    Definition Classes
    TerminologyBox
  6. abstract val kindIRI: IRI

    Permalink
    Definition Classes
    TerminologyBox
  7. abstract val mutabilityKind: String

    Permalink
    Definition Classes
    TerminologyBox
  8. abstract val ont: OWLOntology

    Permalink
    Definition Classes
    Module
  9. implicit abstract val ops: OWLAPIOMFOps

    Permalink
    Definition Classes
    TerminologyBox
  10. abstract val sig: MS

    Permalink
    Definition Classes
    MutableTerminologyBoxTerminologyBoxModule

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. val LOG: Boolean

    Permalink
  5. lazy val abbrevIRI: AbbrevIRI

    Permalink
    Definition Classes
    Resource
  6. def addAnnotation(subject: LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationPropertyValue]

    Permalink
    Definition Classes
    MutableTerminologyBoxMutableModule
  7. def addAnnotationProperty(ap: AnnotationProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationProperty]

    Permalink
    Definition Classes
    MutableTerminologyBoxMutableModule
  8. def addBinaryScalarRestriction(restrictionDT: OWLDatatype, rdr: BinaryScalarRestriction)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, BinaryScalarRestriction]

    Permalink
  9. def addBinaryScalarRestriction(dataTypeIRI: IRI, name: LocalName, uuid: BinaryScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, BinaryScalarRestriction]

    Permalink
  10. def addCardinalityRestrictedAspect(aspectIRI: IRI, name: LocalName, uuid: CardinalityRestrictedAspectUUID, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedAspect]

    Permalink
  11. def addCardinalityRestrictedConcept(conceptIRI: IRI, name: LocalName, uuid: CardinalityRestrictedConceptUUID, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedConcept]

    Permalink
  12. def addCardinalityRestrictedReifiedRelationship(rIRI: IRI, name: LocalName, uuid: CardinalityRestrictedReifiedRelationshipUUID, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedReifiedRelationship]

    Permalink
  13. def addChainRule(iri: IRI, uuid: ChainRuleUUID, head: RestrictableRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ChainRule]

    Permalink
  14. def addDataRelationshipFromEntityToScalar(dIRI: IRI, name: LocalName, isIdentityCriteria: Boolean, uuid: EntityScalarDataPropertyUUID, source: Entity, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataProperty]

    Permalink
  15. def addDataRelationshipFromEntityToStructure(dIRI: IRI, name: LocalName, isIdentityCriteria: Boolean, uuid: EntityStructuredDataPropertyUUID, source: Entity, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityStructuredDataProperty]

    Permalink
  16. def addDataRelationshipFromStructureToScalar(dIRI: IRI, name: LocalName, uuid: ScalarDataPropertyUUID, source: Structure, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarDataProperty]

    Permalink
  17. def addDataRelationshipFromStructureToStructure(dIRI: IRI, name: LocalName, uuid: StructuredDataPropertyUUID, source: Structure, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StructuredDataProperty]

    Permalink
  18. def addEntityAspect(aspectIRI: IRI, name: LocalName, uuid: AspectUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Aspect]

    Permalink
  19. def addEntityConcept(conceptIRI: IRI, name: LocalName, uuid: ConceptUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Concept]

    Permalink
  20. def addEntityConceptDesignationTerminologyGraphAxiom(uuid: ConceptDesignationTerminologyAxiomUUID, graph: MutableTerminologyBox, entityConceptDesignation: ConceptKind, designationTerminologyGraph: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptDesignationTerminologyAxiom]

    Permalink
  21. def addEntityConceptSubClassAxiom(uuid: ConceptSpecializationAxiomUUID, sub: ConceptKind, sup: ConceptKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptSpecializationAxiom]

    Permalink
  22. def addEntityDefinitionAspectSubClassAxiom(uuid: AspectSpecializationAxiomUUID, sub: Entity, sup: AspectKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AspectSpecializationAxiom]

    Permalink
  23. def addEntityDefinitionExistentialRestrictionAxiom(uuid: EntityExistentialRestrictionAxiomUUID, sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityExistentialRestrictionAxiom]

    Permalink
  24. def addEntityDefinitionExistentialRestrictionAxiom(sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityExistentialRestrictionAxiom]

    Permalink
  25. def addEntityDefinitionUniversalRestrictionAxiom(uuid: EntityUniversalRestrictionAxiomUUID, sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityUniversalRestrictionAxiom]

    Permalink
  26. def addEntityDefinitionUniversalRestrictionAxiom(sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityUniversalRestrictionAxiom]

    Permalink
  27. def addEntityReifiedRelationship(rIRI: IRI, name: LocalName, unreifiedRelationshipName: LocalName, unreifiedInverseRelationshipName: Option[LocalName], uuid: ReifiedRelationshipUUID, rIRISource: IRI, rIRITarget: IRI, uIRI: IRI, uiIRI: Option[IRI], source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationship]

    Permalink
  28. def addEntityScalarDataPropertyExistentialRestrictionAxiom(uuid: EntityScalarDataPropertyExistentialRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, scalarRestriction: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyExistentialRestrictionAxiom]

    Permalink
  29. def addEntityScalarDataPropertyParticularRestrictionAxiom(uuid: EntityScalarDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, literalValue: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyParticularRestrictionAxiom]

    Permalink
  30. def addEntityScalarDataPropertyUniversalRestrictionAxiom(uuid: EntityScalarDataPropertyUniversalRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, scalarRestriction: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyUniversalRestrictionAxiom]

    Permalink
  31. def addEntityStructuredDataPropertyParticularRestrictionAxiom(uuid: EntityStructuredDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: Entity, structuredProperty: EntityStructuredDataProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityStructuredDataPropertyParticularRestrictionAxiom]

    Permalink
  32. def addEntityUnreifiedRelationship(rIRI: IRI, name: LocalName, uuid: UnreifiedRelationshipUUID, source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, UnreifiedRelationship]

    Permalink
  33. def addIRIScalarRestriction(restrictionDT: OWLDatatype, rdr: IRIScalarRestriction)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, IRIScalarRestriction]

    Permalink
  34. def addIRIScalarRestriction(dataTypeIRI: IRI, name: LocalName, uuid: IRIScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, IRIScalarRestriction]

    Permalink
  35. def addLogicalElementAnnotation(subject: LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationPropertyValue]

    Permalink
  36. def addNumericScalarRestriction(restrictionDT: OWLDatatype, rdr: NumericScalarRestriction)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, NumericScalarRestriction]

    Permalink
  37. def addNumericScalarRestriction(dataTypeIRI: IRI, name: LocalName, uuid: NumericScalarRestrictionUUID, restrictedRange: DataRange, minInclusive: Option[LiteralNumber], maxInclusive: Option[LiteralNumber], minExclusive: Option[LiteralNumber], maxExclusive: Option[LiteralNumber])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, NumericScalarRestriction]

    Permalink
  38. def addPlainLiteralScalarRestriction(restrictionDT: OWLDatatype, rdr: PlainLiteralScalarRestriction)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, PlainLiteralScalarRestriction]

    Permalink
  39. def addPlainLiteralScalarRestriction(dataTypeIRI: IRI, name: LocalName, uuid: PlainLiteralScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], language: Option[LanguageTagDataType])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, PlainLiteralScalarRestriction]

    Permalink
  40. def addReifiedRelationshipAnnotation(subject: ReifiedRelationship, property: AnnotationProperty, value: StringDataType)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationPropertyValue]

    Permalink
  41. def addReifiedRelationshipRestriction(uuid: ReifiedRelationshipRestrictionUUID, iri: IRI, name: LocalName, source: Entity, target: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipRestriction]

    Permalink
  42. def addReifiedRelationshipSpecializationAxiom(uuid: ReifiedRelationshipSpecializationAxiomUUID, sub: ConceptualRelationship, sup: ConceptualRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipSpecializationAxiom]

    Permalink
  43. def addRestrictionScalarDataPropertyValue(uuid: RestrictionScalarDataPropertyValueUUID, structuredDataPropertyContext: RestrictionStructuredDataPropertyContext, scalarProperty: DataRelationshipToScalar, literalValue: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RestrictionScalarDataPropertyValue]

    Permalink
  44. def addRestrictionStructuredDataPropertyTuple(uuid: RestrictionStructuredDataPropertyTupleUUID, structuredDataPropertyContext: RestrictionStructuredDataPropertyContext, structuredProperty: DataRelationshipToStructure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RestrictionStructuredDataPropertyTuple]

    Permalink
  45. def addRuleBodySegment(uuid: RuleBodySegmentUUID, chainRule: Option[ChainRule], previousSegment: Option[RuleBodySegment])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RuleBodySegment]

    Permalink
  46. def addScalarDataType(scalarIRI: IRI, name: LocalName, uuid: ScalarUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Scalar]

    Permalink
  47. def addScalarOneOfLiteralAxiom(axiomUUID: ScalarOneOfLiteralAxiomUUID, scalarOneOfRestriction: ScalarOneOfRestriction, value: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfLiteralAxiom]

    Permalink
  48. def addScalarOneOfRestriction(dataTypeIRI: IRI, name: LocalName, uuid: ScalarOneOfRestrictionUUID, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfRestriction]

    Permalink
  49. def addSegmentPredicate(uuid: SegmentPredicateUUID, bodySegment: RuleBodySegment, predicate: Option[Predicate], reifiedRelationshipSource: Option[ReifiedRelationship], reifiedRelationshipInverseSource: Option[ReifiedRelationship], reifiedRelationshipTarget: Option[ReifiedRelationship], reifiedRelationshipInverseTarget: Option[ReifiedRelationship], unreifiedRelationshipInverse: Option[UnreifiedRelationship]): \/[Throwables, SegmentPredicate]

    Permalink
  50. def addStringScalarRestriction(restrictionDT: OWLDatatype, rdr: StringScalarRestriction)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StringScalarRestriction]

    Permalink
  51. def addStringScalarRestriction(dataTypeIRI: IRI, name: LocalName, uuid: StringScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StringScalarRestriction]

    Permalink
  52. def addStructuredDataType(structuredDataTypeIRI: IRI, name: LocalName, uuid: StructureUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Structure]

    Permalink
  53. def addSubDataPropertyOfAxiom(uuid: SubDataPropertyOfAxiomUUID, sub: EntityScalarDataProperty, sup: EntityScalarDataProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SubDataPropertyOfAxiom]

    Permalink
  54. def addSubObjectPropertyOfAxiom(uuid: SubObjectPropertyOfAxiomUUID, sub: UnreifiedRelationship, sup: UnreifiedRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SubObjectPropertyOfAxiom]

    Permalink
  55. def addSynonymScalarRestriction(restrictionDT: OWLDatatype, rdr: SynonymScalarRestriction)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SynonymScalarRestriction]

    Permalink
  56. def addSynonymScalarRestriction(dataTypeIRI: IRI, name: LocalName, uuid: SynonymScalarRestrictionUUID, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SynonymScalarRestriction]

    Permalink
  57. def addTerminologyGraphExtension(uuid: TerminologyExtensionAxiomUUID, extendedG: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TerminologyExtensionAxiom]

    Permalink
  58. def addTimeScalarRestriction(restrictionDT: OWLDatatype, rdr: TimeScalarRestriction)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TimeScalarRestriction]

    Permalink
  59. def addTimeScalarRestriction(dataTypeIRI: IRI, name: LocalName, uuid: TimeScalarRestrictionUUID, restrictedRange: DataRange, minInclusive: Option[LiteralDateTime], maxInclusive: Option[LiteralDateTime], minExclusive: Option[LiteralDateTime], maxExclusive: Option[LiteralDateTime])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TimeScalarRestriction]

    Permalink
  60. final def annotationProperties(): Set[AnnotationProperty]

    Permalink
    Definition Classes
    Module
  61. final def annotations(): Set[AnnotationPropertyValue]

    Permalink
    Definition Classes
    Module
  62. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  63. def builtInVocabulary()(implicit store: OWLAPIOMFGraphStore): Boolean

    Permalink
    Definition Classes
    Module
  64. def canEqual(other: Any): Boolean

    Permalink
  65. val chainRule2SWRLRule: HashMap[ChainRule, SWRLRule]

    Permalink
  66. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  67. def collectRuleBodyPredicates(rule: ChainRule): \/[Throwables, Seq[SegmentPredicate]]

    Permalink
    Attributes
    protected
  68. final def collectSegmentPredicates(seg: RuleBodySegment, predicates: Seq[SegmentPredicate]): \/[Throwables, Seq[SegmentPredicate]]

    Permalink
    Attributes
    protected
    Annotations
    @tailrec()
  69. final def convertBodyPredicates2Atoms(vIndex: Int, prevV: SWRLIArgument, predicates: Seq[SegmentPredicate], nextV: SWRLIArgument, atoms: Seq[SWRLAtom]): \/[Throwables, Seq[SWRLAtom]]

    Permalink
    Attributes
    protected
    Annotations
    @tailrec()
  70. def createBinaryScalarRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: BinaryScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, BinaryScalarRestriction]

    Permalink
  71. def createBinaryScalarRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, BinaryScalarRestriction]

    Permalink

    Constructs an OMF BinaryScalarRestiction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.5

    Constructs an OMF BinaryScalarRestiction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.5

    See also

    https://www.w3.org/TR/owl2-syntax/#Binary_Data

  72. def createCardinalityRestrictedAspect(a: OWLClass, name: LocalName, uuid: CardinalityRestrictedAspectUUID, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedAspect]

    Permalink
  73. def createCardinalityRestrictedAspect(tboxUUID: TerminologyBoxUUID, a: OWLClass, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedAspect]

    Permalink
  74. def createCardinalityRestrictedConcept(c: OWLClass, name: LocalName, uuid: CardinalityRestrictedConceptUUID, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedConcept]

    Permalink
  75. def createCardinalityRestrictedConcept(tboxUUID: TerminologyBoxUUID, c: OWLClass, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedConcept]

    Permalink
  76. def createCardinalityRestrictedReifiedRelationship(r: OWLClass, name: LocalName, uuid: CardinalityRestrictedReifiedRelationshipUUID, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedReifiedRelationship]

    Permalink
  77. def createCardinalityRestrictedReifiedRelationship(tboxUUID: TerminologyBoxUUID, r: OWLClass, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedReifiedRelationship]

    Permalink
  78. def createChainRule(e: SWRLRule, name: LocalName, head: UnreifiedRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ChainRule]

    Permalink
  79. def createDataRelationshipFromEntityToScalar(esc: OWLDataProperty, name: LocalName, isIdentityCriteria: Boolean, uuid: EntityScalarDataPropertyUUID, source: Entity, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataProperty]

    Permalink
  80. def createDataRelationshipFromEntityToScalar(tboxUUID: TerminologyBoxUUID, esc: OWLDataProperty, isIdentityCriteria: Boolean, source: Entity, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataProperty]

    Permalink
  81. def createDataRelationshipFromEntityToStructure(esc: OWLObjectProperty, name: LocalName, isIdentityCriteria: Boolean, uuid: EntityStructuredDataPropertyUUID, source: Entity, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityStructuredDataProperty]

    Permalink
  82. def createDataRelationshipFromEntityToStructure(tboxUUID: TerminologyBoxUUID, esc: OWLObjectProperty, isIdentityCriteria: Boolean, source: Entity, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityStructuredDataProperty]

    Permalink
  83. def createDataRelationshipFromStructureToScalar(esc: OWLDataProperty, name: LocalName, uuid: ScalarDataPropertyUUID, source: Structure, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarDataProperty]

    Permalink
  84. def createDataRelationshipFromStructureToScalar(tboxUUID: ScalarDataPropertyUUID, esc: OWLDataProperty, source: Structure, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarDataProperty]

    Permalink
  85. def createDataRelationshipFromStructureToStructure(esc: OWLObjectProperty, name: LocalName, uuid: StructuredDataPropertyUUID, source: Structure, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StructuredDataProperty]

    Permalink
  86. def createDataRelationshipFromStructureToStructure(tboxUUID: TerminologyBoxUUID, esc: OWLObjectProperty, source: Structure, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StructuredDataProperty]

    Permalink
  87. def createEntityConceptSubClassAxiom(uuid: ConceptSpecializationAxiomUUID, sub: ConceptKind, sup: ConceptKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptSpecializationAxiom]

    Permalink
  88. def createEntityDefinitionAspectSubClassAxiom(uuid: AspectSpecializationAxiomUUID, sub: Entity, sup: AspectKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AspectSpecializationAxiom]

    Permalink
  89. def createEntityDefinitionExistentialRestrictionAxiom(uuid: EntityExistentialRestrictionAxiomUUID, restrictedDomain: Entity, restrictedRelationship: RestrictableRelationship, restrictedRange: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityExistentialRestrictionAxiom]

    Permalink
  90. def createEntityDefinitionUniversalRestrictionAxiom(uuid: EntityUniversalRestrictionAxiomUUID, restrictedDomain: Entity, restrictedRelationship: RestrictableRelationship, restrictedRange: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityUniversalRestrictionAxiom]

    Permalink
  91. def createEntityReifiedRelationship(r: OWLClass, name: LocalName, uuid: ReifiedRelationshipUUID, unreifiedPropertyName: LocalName, u: OWLObjectProperty, inversePropertyName: Option[LocalName], ui: Option[OWLObjectProperty], source: Entity, rSource: OWLObjectProperty, target: Entity, rTarget: OWLObjectProperty, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationship]

    Permalink
  92. def createEntityReifiedRelationship(tboxUUID: TerminologyBoxUUID, r: OWLClass, u: OWLObjectProperty, ui: Option[OWLObjectProperty], source: Entity, rSource: OWLObjectProperty, target: Entity, rTarget: OWLObjectProperty, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationship]

    Permalink

    Constructs an OMF ReifiedRelationship as part of resolving its representation as an OWL Class

    Constructs an OMF ReifiedRelationship as part of resolving its representation as an OWL Class

    r

    An OWL Class representing an OMF ReifiedRelationship

    u

    An OWL ObjectProperty representing the unreified property from the RR domain to the RR range

    ui

    Optionally, the inverse OWL ObjectProperty from the RR range to the RR domain

    source

    The resolved OMF RR domain

    rSource

    The OWL ObjectProperty representing the RR domain property

    target

    The resolved OMF RR range

    rTarget

    The OWL ObjectProperty representing the RR range property

    characteristics

    The resolved characteristis of the OWL representation of the RR

  93. def createEntityScalarDataPropertyExistentialRestrictionAxiom(uuid: EntityScalarDataPropertyExistentialRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, scalarRestriction: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyExistentialRestrictionAxiom]

    Permalink
  94. def createEntityScalarDataPropertyParticularRestrictionAxiom(uuid: EntityScalarDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, literalValue: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyParticularRestrictionAxiom]

    Permalink
  95. def createEntityScalarDataPropertyUniversalRestrictionAxiom(uuid: EntityScalarDataPropertyUniversalRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, scalarRestriction: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyUniversalRestrictionAxiom]

    Permalink
  96. def createEntityUnreifiedRelationship(r: OWLObjectProperty, name: LocalName, uuid: UnreifiedRelationshipUUID, source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, UnreifiedRelationship]

    Permalink
  97. def createEntityUnreifiedRelationship(tboxUUID: TerminologyBoxUUID, r: OWLObjectProperty, source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, UnreifiedRelationship]

    Permalink

    Constructs an OMF UnreifiedRelationship as part of resolving its representation as an OWL ObjectProperty

  98. def createIRIScalarRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: IRIScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, IRIScalarRestriction]

    Permalink
  99. def createIRIScalarRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, IRIScalarRestriction]

    Permalink

    Constructs an OMF IRIScalarRestriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.6

    Constructs an OMF IRIScalarRestriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.6

    See also

    https://www.w3.org/TR/owl2-syntax/#IRIs_2

  100. def createModelEntityAspect(a: OWLClass, name: LocalName, uuid: AspectUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Aspect]

    Permalink
  101. def createModelEntityAspect(tboxUUID: TerminologyBoxUUID, a: OWLClass)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Aspect]

    Permalink

    Constructs an OMF Aspect as part of resolving its representation as an OWL Class

    Constructs an OMF Aspect as part of resolving its representation as an OWL Class

    a

    An OWL Class representing an OMF Aspect

    returns

    The OMF Aspect corresponding to its OWL Class a representation

  102. def createModelEntityConcept(c: OWLClass, name: LocalName, uuid: ConceptUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Concept]

    Permalink
  103. def createModelEntityConcept(tboxUUID: TerminologyBoxUUID, c: OWLClass)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Concept]

    Permalink

    Constructs an OMF Concept as part of resolving its representation as an OWL Class

    Constructs an OMF Concept as part of resolving its representation as an OWL Class

    c

    An OWL Class representing an OMF Concept

    returns

    The OMF Concept corresponding to its OWL Class c representation

  104. def createModelScalarDataType(dt: OWLDatatype, name: LocalName, uuid: ScalarUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Scalar]

    Permalink
  105. def createModelScalarDataType(tboxUUID: TerminologyBoxUUID, dt: OWLDatatype)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Scalar]

    Permalink

    Constructs an OMF Scalar as part of resolving its representation as an OWL Datatype

  106. def createModelStructuredDataType(dt: OWLClass, name: LocalName, uuid: StructureUUID)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Structure]

    Permalink
  107. def createModelStructuredDataType(tboxUUID: TerminologyBoxUUID, dt: OWLClass)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Structure]

    Permalink

    Constructs an OMF Structure as part of resolving its representation as an OWL Class

  108. def createNumericScalarRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: NumericScalarRestrictionUUID, restrictedRange: DataRange, minInclusive: Option[LiteralNumber], maxInclusive: Option[LiteralNumber], minExclusive: Option[LiteralNumber], maxExclusive: Option[LiteralNumber])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, NumericScalarRestriction]

    Permalink
  109. def createNumericScalarRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange, minInclusive: Option[LiteralNumber], maxInclusive: Option[LiteralNumber], minExclusive: Option[LiteralNumber], maxExclusive: Option[LiteralNumber])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, NumericScalarRestriction]

    Permalink

    Constructs an OMF NumericScalarRestriction as part of resolving its representation as an OWL Datatype restriction per OWL2 sections 4.1, 4.2

    Constructs an OMF NumericScalarRestriction as part of resolving its representation as an OWL Datatype restriction per OWL2 sections 4.1, 4.2

    See also

    https://www.w3.org/TR/owl2-syntax/#Floating-Point_Numbers

    https://www.w3.org/TR/owl2-syntax/#Real_Numbers.2C_Decimal_Numbers.2C_and_Integers

  110. def createOMFEntityConceptDesignationTerminologyGraphAxiom(uuid: ConceptDesignationTerminologyAxiomUUID, graph: MutableTerminologyBox, entityConceptDesignation: ConceptKind, designationTerminologyGraph: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptDesignationTerminologyAxiom]

    Permalink
  111. def createOMLProvenanceAnnotation[Tag](uuid: @@[String, Tag])(implicit store: OWLAPIOMFGraphStore): OWLAnnotation

    Permalink
    Definition Classes
    MutableModule
  112. def createOMLProvenanceAnnotation[Tag](uuid: @@[UUID, Tag])(implicit store: OWLAPIOMFGraphStore): OWLAnnotation

    Permalink
    Definition Classes
    MutableModule
  113. def createOMLProvenanceAnnotations[Tag](uuid: @@[String, Tag])(implicit store: OWLAPIOMFGraphStore): Collection[OWLAnnotation]

    Permalink
    Definition Classes
    MutableModule
  114. def createOMLProvenanceAnnotations[Tag](uuid: @@[UUID, Tag])(implicit store: OWLAPIOMFGraphStore): Collection[OWLAnnotation]

    Permalink
    Definition Classes
    MutableModule
  115. def createOMLProvenanceAnnotationsWithLabel[Tag](name: String, uuid: @@[String, Tag])(implicit store: OWLAPIOMFGraphStore): Collection[OWLAnnotation]

    Permalink
    Definition Classes
    MutableModule
  116. def createOMLProvenanceAnnotationsWithLabel[Tag](name: String, uuid: @@[UUID, Tag])(implicit store: OWLAPIOMFGraphStore): Collection[OWLAnnotation]

    Permalink
    Definition Classes
    MutableModule
  117. def createPlainLiteralScalarRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: PlainLiteralScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], language: Option[LanguageTagDataType])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, PlainLiteralScalarRestriction]

    Permalink
  118. def createPlainLiteralScalarRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], language: Option[LanguageTagDataType])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, PlainLiteralScalarRestriction]

    Permalink

    Constructs an OMF PlainLiteral restriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.3

    Constructs an OMF PlainLiteral restriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.3

    See also

    https://www.w3.org/TR/owl2-syntax/#Strings

  119. def createReifiedRelationshipRestriction(e: OWLClass, uuid: ReifiedRelationshipRestrictionUUID, iri: IRI, name: LocalName, source: Entity, target: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipRestriction]

    Permalink
  120. def createReifiedRelationshipRestriction(tboxUUID: TerminologyBoxUUID, e: OWLClass, source: Entity, target: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipRestriction]

    Permalink
  121. def createReifiedRelationshipSpecializationAxiom(uuid: ReifiedRelationshipSpecializationAxiomUUID, sub: ConceptualRelationship, sup: ConceptualRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipSpecializationAxiom]

    Permalink
  122. def createRuleBodySegment(chainRule: Option[ChainRule], previousSegment: Option[RuleBodySegment])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RuleBodySegment]

    Permalink
  123. def createScalarOneOfLiteralAxiom(axiomUUID: ScalarOneOfLiteralAxiomUUID, scalarOneOfRestriction: ScalarOneOfRestriction, value: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfLiteralAxiom]

    Permalink
  124. def createScalarOneOfLiteralAxiom(scalarOneOfRestriction: ScalarOneOfRestriction, value: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfLiteralAxiom]

    Permalink

    Constructs an OMF ScalarOneOfLiteralAxiom as part of resolving its representation as an OWL DataOneOf Axiom

  125. def createScalarOneOfRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: ScalarOneOfRestrictionUUID, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfRestriction]

    Permalink
  126. def createScalarOneOfRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfRestriction]

    Permalink

    Constructs an OMF ScalarOneOfRestriction as part of resolving its representation as an OWL Datatype

  127. def createSegmentPredicate(bodySegment: RuleBodySegment, predicate: Option[Predicate] = None, reifiedRelationshipSource: Option[ReifiedRelationship] = None, reifiedRelationshipInverseSource: Option[ReifiedRelationship] = None, reifiedRelationshipTarget: Option[ReifiedRelationship] = None, reifiedRelationshipInverseTarget: Option[ReifiedRelationship] = None, unreifiedRelationshipInverse: Option[UnreifiedRelationship] = None)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SegmentPredicate]

    Permalink
  128. def createStringScalarRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: StringScalarRestrictionUUID, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StringScalarRestriction]

    Permalink
  129. def createStringScalarRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StringScalarRestriction]

    Permalink

    Constructs an OMF String restriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.3

    Constructs an OMF String restriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.3

    See also

    https://www.w3.org/TR/owl2-syntax/#Strings

  130. def createSubDataPropertyOfAxiom(uuid: SubDataPropertyOfAxiomUUID, sub: EntityScalarDataProperty, sup: EntityScalarDataProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SubDataPropertyOfAxiom]

    Permalink
  131. def createSubObjectPropertyOfAxiom(uuid: SubObjectPropertyOfAxiomUUID, sub: UnreifiedRelationship, sup: UnreifiedRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SubObjectPropertyOfAxiom]

    Permalink
  132. def createSynonymScalarRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: SynonymScalarRestrictionUUID, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SynonymScalarRestriction]

    Permalink
  133. def createSynonymScalarRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SynonymScalarRestriction]

    Permalink

    Constructs an OMF Synonym restriction as part of resolving its representation as an OWL Datatype synonym per OWL2 section 9.4

    Constructs an OMF Synonym restriction as part of resolving its representation as an OWL Datatype synonym per OWL2 section 9.4

    See also

    https://www.w3.org/TR/owl2-syntax/#Strings

  134. def createTerminologyExtensionAxiom(uuid: TerminologyExtensionAxiomUUID, extendedG: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TerminologyExtensionAxiom]

    Permalink
  135. def createTerminologyExtensionAxiom(extendedG: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TerminologyExtensionAxiom]

    Permalink
  136. def createTimeScalarRestriction(restrictionDT: OWLDatatype, name: LocalName, uuid: TimeScalarRestrictionUUID, restrictedRange: DataRange, minInclusive: Option[LiteralDateTime], maxInclusive: Option[LiteralDateTime], minExclusive: Option[LiteralDateTime], maxExclusive: Option[LiteralDateTime])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TimeScalarRestriction]

    Permalink
  137. def createTimeScalarRestriction(tboxUUID: TerminologyBoxUUID, restrictionDT: OWLDatatype, restrictedRange: DataRange, minInclusive: Option[LiteralDateTime], maxInclusive: Option[LiteralDateTime], minExclusive: Option[LiteralDateTime], maxExclusive: Option[LiteralDateTime])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TimeScalarRestriction]

    Permalink

    Constructs an OMF Time restriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.7

    Constructs an OMF Time restriction as part of resolving its representation as an OWL Datatype restriction per OWL2 section 4.7

    See also

    https://www.w3.org/TR/owl2-syntax/#Time_Instants

  138. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  139. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  140. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  141. def findSegmentPredicate(seg: RuleBodySegment): \/[Throwables, SegmentPredicate]

    Permalink
    Attributes
    protected
  142. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  143. def getDataRelationshipsFromEntityToScalar: Seq[EntityScalarDataProperty]

    Permalink
    Definition Classes
    TerminologyBox
  144. def getEntityDefinitionMap: Map[OWLClass, Entity]

    Permalink
    Definition Classes
    MutableTerminologyBoxTerminologyBox
  145. def getNestingAxiomIfAny: Option[TerminologyNestingAxiom]

    Permalink
    Definition Classes
    TerminologyBox
  146. def getRestrictableRelationshipMap: Map[OWLObjectProperty, RestrictableRelationship]

    Permalink
    Definition Classes
    MutableTerminologyBoxTerminologyBox
  147. def getScalarDatatypeDefinitionMap: Map[OWLDatatype, Scalar]

    Permalink
    Definition Classes
    MutableTerminologyBoxTerminologyBox
  148. def getTermAxioms: (IRI, Iterable[Axiom])

    Permalink
    Definition Classes
    TerminologyBox
  149. def getTermLocalNameAnnotationAssertionAxiom(term: Term): Option[OWLAnnotationAssertionAxiom]

    Permalink
    Definition Classes
    TerminologyBox
  150. def getTerminologyGraphLocalName: LocalName

    Permalink
    Definition Classes
    TerminologyBox
  151. def getTerminologyGraphShortNameAnnotation: Option[OWLAnnotation]

    Permalink
    Definition Classes
    TerminologyBox
  152. def getTypeTerms: (IRI, Iterable[Term])

    Permalink
    Definition Classes
    TerminologyBox
  153. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  154. def importClosure()(implicit store: OWLAPIOMFGraphStore): Set[TerminologyBox]

    Permalink
    Definition Classes
    TerminologyBox
  155. val iri: IRI

    Permalink
    Definition Classes
    ModuleResource
  156. val iri2typeTerm: HashMap[IRI, Term]

    Permalink
    Attributes
    protected
    Definition Classes
    MutableTerminologyBoxTerminologyBox
  157. val isAbstractAP: OWLAnnotationProperty

    Permalink
    Definition Classes
    TerminologyBox
  158. val isDerivedAP: OWLAnnotationProperty

    Permalink
    Definition Classes
    TerminologyBox
  159. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  160. def isRestrictableRelationshipDefined(rr: RestrictableRelationship): Boolean

    Permalink
    Definition Classes
    TerminologyBox
  161. def isRestrictableRelationshipDefinedRecursively(rr: RestrictableRelationship)(implicit store: OWLAPIOMFGraphStore): Boolean

    Permalink
    Definition Classes
    TerminologyBox
  162. def isTypeTermDefined(t: Term): Boolean

    Permalink
    Definition Classes
    TerminologyBox
  163. def isTypeTermDefinedRecursively(t: Term)(implicit store: OWLAPIOMFGraphStore): Boolean

    Permalink
    Definition Classes
    TerminologyBox
  164. def lookupReifiedRelationship(ip: InverseProperty): Option[ReifiedRelationship]

    Permalink
    Definition Classes
    TerminologyBox
  165. def lookupReifiedRelationship(fp: ForwardProperty): Option[ReifiedRelationship]

    Permalink
    Definition Classes
    TerminologyBox
  166. def lookupTerm(iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Term]

    Permalink
    Definition Classes
    TerminologyBox
  167. def lookupTerm(iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Term]

    Permalink
    Definition Classes
    TerminologyBox
  168. def lookupTypeTermRecursively(iri: Option[IRI])(implicit store: OWLAPIOMFGraphStore): Option[Term]

    Permalink
    Definition Classes
    TerminologyBox
  169. def lookupTypeTermRecursively(iri: IRI)(implicit store: OWLAPIOMFGraphStore): Option[Term]

    Permalink
    Definition Classes
    TerminologyBox
  170. def makeCardinalityRestrictedReifiedRelationship(rIRI: IRI, name: LocalName, uuid: CardinalityRestrictedReifiedRelationshipUUID, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedReifiedRelationship]

    Permalink
    Attributes
    protected
  171. def makeChainRule(rule: ChainRule)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Unit]

    Permalink
  172. def makeDataRelationshipFromEntityToScalar(dIRI: IRI, name: LocalName, isIdentityCriteria: Boolean, uuid: EntityScalarDataPropertyUUID, source: Entity, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataProperty]

    Permalink
    Attributes
    protected
  173. def makeDataRelationshipFromEntityToStructure(dIRI: IRI, name: LocalName, isIdentityCriteria: Boolean, uuid: EntityStructuredDataPropertyUUID, source: Entity, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityStructuredDataProperty]

    Permalink
    Attributes
    protected
  174. def makeDataRelationshipFromStructureToScalar(dIRI: IRI, name: LocalName, uuid: ScalarDataPropertyUUID, source: Structure, target: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarDataProperty]

    Permalink
    Attributes
    protected
  175. def makeDataRelationshipFromStructureToStructure(dIRI: IRI, name: LocalName, uuid: StructuredDataPropertyUUID, source: Structure, target: Structure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StructuredDataProperty]

    Permalink
    Attributes
    protected
  176. def makeEntityReifiedRelationship(rIRI: IRI, name: LocalName, unreifiedRelationshipName: LocalName, unreifiedInverseRelationshipName: Option[LocalName], uuid: ReifiedRelationshipUUID, rIRISource: IRI, rIRITarget: IRI, uIRI: IRI, uiIRI: Option[IRI], source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationship]

    Permalink
    Attributes
    protected
  177. def makeKindIRI(kind: String): IRI

    Permalink
    Attributes
    protected
    Definition Classes
    TerminologyBox
  178. def makeOWLCardinalityRestriction(restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral): OWLClassExpression

    Permalink
    Attributes
    protected
  179. def makeReifiedRelationshipRestriction(uuid: ReifiedRelationshipRestrictionUUID, iri: IRI, name: LocalName, source: Entity, target: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipRestriction]

    Permalink
  180. def makeUnreifiedRelationship(rIRI: IRI, name: LocalName, uuid: UnreifiedRelationshipUUID, source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, UnreifiedRelationship]

    Permalink
    Attributes
    protected
  181. def makeVariable(index: Int): \/[Throwables, SWRLIArgument]

    Permalink
  182. val name: LocalName

    Permalink
    Definition Classes
    ModuleResource
  183. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  184. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  185. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  186. val nsPrefix: NamespacePrefix

    Permalink
    Definition Classes
    Module
  187. val ontManager: OWLOntologyManager

    Permalink
    Definition Classes
    Module
  188. val owlDataFactory: OWLDataFactory

    Permalink
    Definition Classes
    Module
  189. def owlVocabularyNotToBeSerialized()(implicit store: OWLAPIOMFGraphStore): Boolean

    Permalink

    If true, this means that this Module is a representation of a vocabulary that should not be serialized to OWL.

    If true, this means that this Module is a representation of a vocabulary that should not be serialized to OWL.

    Definition Classes
    Module
  190. val rdfs_labelAP: OWLAnnotationProperty

    Permalink
    Definition Classes
    TerminologyBox
  191. val reifiedRelation2forwardProperty: HashMap[ReifiedRelationship, ForwardProperty]

    Permalink
    Attributes
    protected
    Definition Classes
    MutableTerminologyBoxTerminologyBox
  192. val reifiedRelation2inverseProperty: HashMap[ReifiedRelationship, InverseProperty]

    Permalink
    Attributes
    protected
    Definition Classes
    MutableTerminologyBoxTerminologyBox
  193. def removeAnnotations(subject: LogicalElement, property: AnnotationProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Set[AnnotationPropertyValue]]

    Permalink
  194. def save(os: OutputStream): \/[Set[Throwable], Unit]

    Permalink
    Definition Classes
    TerminologyBox
  195. def save(saveIRI: IRI): \/[Set[Throwable], Unit]

    Permalink
    Definition Classes
    TerminologyBox
  196. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  197. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  198. val uuid: TerminologyBoxUUID

    Permalink
    Definition Classes
    TerminologyBoxModuleLogicalElement
  199. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  200. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  201. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from MutableModule

Inherited from TerminologyBox

Inherited from Module

Inherited from Resource

Inherited from LogicalElement

Inherited from AnyRef

Inherited from Any

Ungrouped