OWLAPIOMFOps

Instance Constructors

new OWLAPIOMFOps(rdfs_label: IRI, AnnotationOMLHasReificationLabel: IRI, AnnotationOMLHasPropertyLabel: IRI, AnnotationOMLHasInverseLabel: IRI, AnnotationHasUUID: IRI, AnnotationIsAbstract: IRI, AnnotationIsDerived: IRI, AnnotationIsBundle: IRI, AnnotationIsDescriptionBox: IRI, AnnotationIsTerminologyGraph: IRI, AnnotationIsTerminologyBoxOpen: IRI, AnnotationIsDescriptionBoxRefinable: IRI, AnnotationHasContext: IRI, AnnotationHasGraph: IRI, AnnotationHasRestrictedSourceProperty: IRI, AnnotationHasRestrictedTargetProperty: IRI)

Value Members

final def !=(arg0: Any): Boolean

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

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

Definition Classes
AnyRef → Any
val AnnotationHasContext: IRI
val AnnotationHasGraph: IRI
val AnnotationHasRestrictedSourceProperty: IRI
val AnnotationHasRestrictedTargetProperty: IRI
val AnnotationHasUUID: IRI
val AnnotationIsAbstract: IRI
val AnnotationIsBundle: IRI
val AnnotationIsDerived: IRI
val AnnotationIsDescriptionBox: IRI
val AnnotationIsDescriptionBoxRefinable: IRI
val AnnotationIsTerminologyBoxOpen: IRI
val AnnotationIsTerminologyGraph: IRI
val AnnotationOMLHasInverseLabel: IRI
val AnnotationOMLHasPropertyLabel: IRI
val AnnotationOMLHasReificationLabel: IRI
def addAnnotationAssertions(tbox: MutableTerminologyBox, subject: LogicalElement, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

Definition Classes
OWLAPIMutableTerminologyGraphOps
def addAnonymousConceptTaxonomyAxiom(uuid: AnonymousConceptUnionAxiomUUID, terminologyBundle: MutableBundle, disjointTerminologyParent: ConceptTreeDisjunction, name: String)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnonymousConceptTaxonomyAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addAnonymousConceptTaxonomyAxiom(terminologyBundle: OWLAPIOMF.MutableBundle, disjointTerminologyParent: OWLAPIOMF.ConceptTreeDisjunction, name: String)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.AnonymousConceptTaxonomyAxiom]

Definition Classes
MutableTerminologyGraphOps
def addAspect(tbox: MutableTerminologyBox, uuid: AspectUUID, aspectIRI: IRI, aspectName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Aspect]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addAspect(graph: OWLAPIOMF.MutableTerminologyBox, aspectName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.Aspect]

Definition Classes
MutableTerminologyGraphOps
def addAspectSpecializationAxiom(tbox: MutableTerminologyBox, uuid: AspectSpecializationAxiomUUID, sub: Entity, sup: AspectKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AspectSpecializationAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addAspectSpecializationAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, sup: OWLAPIOMF.AspectKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.AspectSpecializationAxiom]

Definition Classes
MutableTerminologyGraphOps
def addBinaryScalarRestriction(tbox: MutableTerminologyBox, dataTypeUUID: BinaryScalarRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, BinaryScalarRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addBinaryScalarRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.BinaryScalarRestriction]

Definition Classes
MutableTerminologyGraphOps
def addBundledTerminologyAxiom(uuid: BundledTerminologyAxiomUUID, terminologyBundle: MutableBundle, bundledTerminology: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, BundledTerminologyAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addBundledTerminologyAxiom(terminologyBundle: OWLAPIOMF.MutableBundle, bundledTerminology: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.BundledTerminologyAxiom]

Definition Classes
MutableTerminologyGraphOps
final def addCardinalityRestrictedAspect(graph: OWLAPIOMF.MutableTerminologyBox, aspectName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, restrictedRange: Option[OWLAPIOMF.Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.CardinalityRestrictedAspect]

Definition Classes
MutableTerminologyGraphOps
def addCardinalityRestrictedAspectInternal(tbox: MutableTerminologyBox, uuid: CardinalityRestrictedAspectUUID, aspectIRI: IRI, aspectName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedAspect]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addCardinalityRestrictedConcept(graph: OWLAPIOMF.MutableTerminologyBox, conceptName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, restrictedRange: Option[OWLAPIOMF.Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.CardinalityRestrictedConcept]

Definition Classes
MutableTerminologyGraphOps
def addCardinalityRestrictedConceptInternal(tbox: MutableTerminologyBox, uuid: CardinalityRestrictedConceptUUID, conceptIRI: IRI, conceptName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedConcept]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addCardinalityRestrictedReifiedRelationship(graph: OWLAPIOMF.MutableTerminologyBox, reifiedRelationshipName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, restrictedRange: Option[OWLAPIOMF.Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.CardinalityRestrictedReifiedRelationship]

Definition Classes
MutableTerminologyGraphOps
def addCardinalityRestrictedReifiedRelationshipInternal(tbox: MutableTerminologyBox, uuid: CardinalityRestrictedReifiedRelationshipUUID, rIRI: IRI, reifiedRelationshipName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, CardinalityRestrictedReifiedRelationship]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
def addChainRule(tbox: MutableTerminologyBox, uuid: ChainRuleUUID, iri: IRI, head: RestrictableRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ChainRule]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addChainRule(graph: OWLAPIOMF.MutableTerminologyBox, head: OWLAPIOMF.RestrictableRelationship, ruleName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ChainRule]

Definition Classes
MutableTerminologyGraphOps
def addConcept(tbox: MutableTerminologyBox, uuid: ConceptUUID, conceptIRI: IRI, conceptName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Concept]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addConcept(graph: OWLAPIOMF.MutableTerminologyBox, conceptName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.Concept]

Definition Classes
MutableTerminologyGraphOps
def addConceptInstance(uuid: ConceptInstanceUUID, dbox: MutableDescriptionBox, iri: IRI, conceptType: ConceptKind, fragment: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptInstance]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addConceptInstance(dbox: OWLAPIOMF.MutableDescriptionBox, conceptType: OWLAPIOMF.ConceptKind, fragment: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ConceptInstance]

Definition Classes
MutableDescriptionBoxOps
def addConceptSpecializationAxiom(tbox: MutableTerminologyBox, uuid: ConceptSpecializationAxiomUUID, sub: ConceptKind, sup: ConceptKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptSpecializationAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addConceptSpecializationAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.ConceptKind, sup: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ConceptSpecializationAxiom]

Definition Classes
MutableTerminologyGraphOps
def addDescriptionAnnotation(dbox: MutableDescriptionBox, subject: LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationPropertyValue]

Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addDescriptionAnnotationProperty(dbox: MutableDescriptionBox, ap: AnnotationProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationProperty]

Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addDescriptionBoxExtendsClosedWorldDefinitions(uuid: DescriptionBoxExtendsClosedWorldDefinitionsUUID, dbox: MutableDescriptionBox, closedWorldDefinitions: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, DescriptionBoxExtendsClosedWorldDefinitions]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addDescriptionBoxExtendsClosedWorldDefinitions(dbox: OWLAPIOMF.MutableDescriptionBox, closedWorldDefinitions: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.DescriptionBoxExtendsClosedWorldDefinitions]

Definition Classes
MutableDescriptionBoxOps
def addDescriptionBoxRefinement(uuid: DescriptionBoxRefinementUUID, refiningDescriptionBox: MutableDescriptionBox, refinedDescriptionBox: DescriptionBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, DescriptionBoxRefinement]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addDescriptionBoxRefinement(refiningDescriptionBox: OWLAPIOMF.MutableDescriptionBox, refinedDescriptionBox: OWLAPIOMF.DescriptionBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.DescriptionBoxRefinement]

Definition Classes
MutableDescriptionBoxOps
def addEntityConceptDesignationTerminologyAxiom(tbox: MutableTerminologyBox, uuid: ConceptDesignationTerminologyAxiomUUID, designatedConcept: ConceptKind, designatedTerminology: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptDesignationTerminologyAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityConceptDesignationTerminologyAxiom(graph: OWLAPIOMF.MutableTerminologyBox, entityConceptDesignation: OWLAPIOMF.ConceptKind, designationTerminologyGraph: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ConceptDesignationTerminologyAxiom]

Definition Classes
MutableTerminologyGraphOps
def addEntityExistentialRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityExistentialRestrictionAxiomUUID, sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityExistentialRestrictionAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityExistentialRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityExistentialRestrictionAxiom]

Definition Classes
MutableTerminologyGraphOps
def addEntityScalarDataProperty(tbox: MutableTerminologyBox, uuid: EntityScalarDataPropertyUUID, dataRelationshipIRI: IRI, source: Entity, target: DataRange, dataRelationshipName: LocalName, isIdentityCriteria: Boolean)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataProperty]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityScalarDataProperty(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Entity, target: OWLAPIOMF.DataRange, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityScalarDataProperty]

Definition Classes
MutableTerminologyGraphOps
def addEntityScalarDataPropertyExistentialRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityScalarDataPropertyExistentialRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, range: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyExistentialRestrictionAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityScalarDataPropertyExistentialRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, scalarProperty: OWLAPIOMF.EntityScalarDataProperty, range: OWLAPIOMF.DataRange)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityScalarDataPropertyExistentialRestrictionAxiom]

Definition Classes
MutableTerminologyGraphOps
def addEntityScalarDataPropertyParticularRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityScalarDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, literalValue: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyParticularRestrictionAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityScalarDataPropertyParticularRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, scalarProperty: OWLAPIOMF.EntityScalarDataProperty, literalValue: LiteralValue, valueType: Option[OWLAPIOMF.DataRange])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityScalarDataPropertyParticularRestrictionAxiom]

Definition Classes
MutableTerminologyGraphOps
def addEntityScalarDataPropertyUniversalRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityScalarDataPropertyUniversalRestrictionAxiomUUID, restrictedEntity: Entity, scalarProperty: EntityScalarDataProperty, range: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataPropertyUniversalRestrictionAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityScalarDataPropertyUniversalRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, scalarProperty: OWLAPIOMF.EntityScalarDataProperty, range: OWLAPIOMF.DataRange)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityScalarDataPropertyUniversalRestrictionAxiom]

Definition Classes
MutableTerminologyGraphOps
def addEntityStructuredDataProperty(tbox: MutableTerminologyBox, uuid: EntityStructuredDataPropertyUUID, dataRelationshipIRI: IRI, source: Entity, target: Structure, dataRelationshipName: LocalName, isIdentityCriteria: Boolean)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityStructuredDataProperty]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityStructuredDataProperty(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Entity, target: OWLAPIOMF.Structure, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityStructuredDataProperty]

Definition Classes
MutableTerminologyGraphOps
def addEntityStructuredDataPropertyParticularRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityStructuredDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: Entity, structuredProperty: EntityStructuredDataProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityStructuredDataPropertyParticularRestrictionAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityStructuredDataPropertyParticularRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, structuredProperty: OWLAPIOMF.EntityStructuredDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityStructuredDataPropertyParticularRestrictionAxiom]

Definition Classes
MutableTerminologyGraphOps
def addEntityUniversalRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityUniversalRestrictionAxiomUUID, sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityUniversalRestrictionAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addEntityUniversalRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityUniversalRestrictionAxiom]

Definition Classes
MutableTerminologyGraphOps
def addIRIScalarRestriction(tbox: MutableTerminologyBox, dataTypeUUID: IRIScalarRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, IRIScalarRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addIRIScalarRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.IRIScalarRestriction]

Definition Classes
MutableTerminologyGraphOps
def addInstanceRelationshipEnumerationRestriction(uuid: InstanceRelationshipEnumerationRestrictionUUID, dbox: MutableDescriptionBox, restrictedRelationship: RestrictableRelationship with LogicalElement, domain: ConceptualEntitySingletonInstance, references: Vector[ConceptualEntitySingletonInstance])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, InstanceRelationshipEnumerationRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addInstanceRelationshipEnumerationRestriction(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, references: Vector[OWLAPIOMF.ConceptualEntitySingletonInstance])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.InstanceRelationshipEnumerationRestriction]

Definition Classes
MutableDescriptionBoxOps
def addInstanceRelationshipExistentialRangeRestriction(uuid: InstanceRelationshipExistentialRangeRestrictionUUID, dbox: MutableDescriptionBox, restrictedRelationship: RestrictableRelationship with LogicalElement, domain: ConceptualEntitySingletonInstance, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, InstanceRelationshipExistentialRangeRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addInstanceRelationshipExistentialRangeRestriction(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.InstanceRelationshipExistentialRangeRestriction]

Definition Classes
MutableDescriptionBoxOps
def addInstanceRelationshipUniversalRangeRestriction(uuid: InstanceRelationshipUniversalRangeRestrictionUUID, dbox: MutableDescriptionBox, restrictedRelationship: RestrictableRelationship with LogicalElement, domain: ConceptualEntitySingletonInstance, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, InstanceRelationshipUniversalRangeRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addInstanceRelationshipUniversalRangeRestriction(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.InstanceRelationshipUniversalRangeRestriction]

Definition Classes
MutableDescriptionBoxOps
def addInstanceRelationshipValueRestriction(uuid: InstanceRelationshipValueRestrictionUUID, dbox: MutableDescriptionBox, restrictedRelationship: RestrictableRelationship with LogicalElement, domain: ConceptualEntitySingletonInstance, range: ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, InstanceRelationshipValueRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addInstanceRelationshipValueRestriction(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, range: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.InstanceRelationshipValueRestriction]

Definition Classes
MutableDescriptionBoxOps
def addNestedTerminology(uuid: TerminologyNestingAxiomUUID, nestingTerminology: TerminologyBox, nestingContext: ConceptKind, nestedTerminology: MutableTerminologyGraph)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TerminologyNestingAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addNestedTerminology(nestingGraph: OWLAPIOMF.TerminologyBox, nestingContext: OWLAPIOMF.ConceptKind, nestedGraph: OWLAPIOMF.MutableTerminologyGraph)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.TerminologyNestingAxiom]

Definition Classes
MutableTerminologyGraphOps
def addNumericScalarRestriction(tbox: MutableTerminologyBox, dataTypeUUID: NumericScalarRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, minInclusive: Option[LiteralNumber], maxInclusive: Option[LiteralNumber], minExclusive: Option[LiteralNumber], maxExclusive: Option[LiteralNumber], restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, NumericScalarRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addNumericScalarRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange, minInclusive: Option[LiteralNumber], maxInclusive: Option[LiteralNumber], minExclusive: Option[LiteralNumber], maxExclusive: Option[LiteralNumber])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.NumericScalarRestriction]

Definition Classes
MutableTerminologyGraphOps
def addPlainLiteralScalarRestriction(tbox: MutableTerminologyBox, dataTypeUUID: PlainLiteralScalarRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], language: Option[LanguageTagDataType], restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, PlainLiteralScalarRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addPlainLiteralScalarRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], language: Option[LanguageTagDataType])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.PlainLiteralScalarRestriction]

Definition Classes
MutableTerminologyGraphOps
def addReificationAnnotationAssertions(tbox: MutableTerminologyBox, subject: ReifiedRelationship, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

Definition Classes
OWLAPIMutableTerminologyGraphOps
def addReifiedInverseAnnotationAssertions(tbox: MutableTerminologyBox, subject: ReifiedRelationship, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

Definition Classes
OWLAPIMutableTerminologyGraphOps
def addReifiedPropertyAnnotationAssertions(tbox: MutableTerminologyBox, subject: ReifiedRelationship, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

Definition Classes
OWLAPIMutableTerminologyGraphOps
def addReifiedRelationship(tbox: MutableTerminologyBox, uuid: ReifiedRelationshipUUID, rIRI: IRI, source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics], reifiedRelationshipName: LocalName, unreifiedRelationshipName: LocalName, unreifiedInverseRelationshipName: Option[LocalName])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationship]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addReifiedRelationship(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Entity, target: OWLAPIOMF.Entity, characteristics: Iterable[RelationshipCharacteristics], reifiedRelationshipName: LocalName, unreifiedRelationshipName: LocalName, unreifiedInverseRelationshipName: Option[LocalName])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationship]

Definition Classes
MutableTerminologyGraphOps
def addReifiedRelationshipInstance(uuid: ReifiedRelationshipInstanceUUID, dbox: MutableDescriptionBox, iri: IRI, relationshipType: ConceptualRelationship, fragment: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipInstance]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addReifiedRelationshipInstance(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipType: OWLAPIOMF.ConceptualRelationship, fragment: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipInstance]

Definition Classes
MutableDescriptionBoxOps
def addReifiedRelationshipInstanceDomain(uuid: ReifiedRelationshipInstanceDomainUUID, dbox: MutableDescriptionBox, relationshipInstance: ReifiedRelationshipInstance, source: ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipInstanceDomain]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addReifiedRelationshipInstanceDomain(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipInstance: OWLAPIOMF.ReifiedRelationshipInstance, source: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipInstanceDomain]

Definition Classes
MutableDescriptionBoxOps
def addReifiedRelationshipInstanceRange(uuid: ReifiedRelationshipInstanceRangeUUID, dbox: MutableDescriptionBox, relationshipInstance: ReifiedRelationshipInstance, target: ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipInstanceRange]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addReifiedRelationshipInstanceRange(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipInstance: OWLAPIOMF.ReifiedRelationshipInstance, target: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipInstanceRange]

Definition Classes
MutableDescriptionBoxOps
def addReifiedRelationshipRestriction(tbox: MutableTerminologyBox, uuid: ReifiedRelationshipRestrictionUUID, iri: IRI, name: LocalName, source: Entity, target: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addReifiedRelationshipRestriction(graph: OWLAPIOMF.MutableTerminologyBox, name: LocalName, source: OWLAPIOMF.Entity, target: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipRestriction]

Definition Classes
MutableTerminologyGraphOps
def addReifiedRelationshipSpecializationAxiom(tbox: MutableTerminologyBox, uuid: ReifiedRelationshipSpecializationAxiomUUID, sub: ConceptualRelationship, sup: ConceptualRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipSpecializationAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addReifiedRelationshipSpecializationAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.ConceptualRelationship, sup: OWLAPIOMF.ConceptualRelationship)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipSpecializationAxiom]

Definition Classes
MutableTerminologyGraphOps
def addRestrictionScalarDataPropertyValue(tbox: MutableTerminologyBox, uuid: RestrictionScalarDataPropertyValueUUID, structuredDataPropertyContext: RestrictionStructuredDataPropertyContext, scalarProperty: DataRelationshipToScalar, literalValue: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RestrictionScalarDataPropertyValue]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addRestrictionScalarDataPropertyValue(graph: OWLAPIOMF.MutableTerminologyBox, structuredDataPropertyContext: OWLAPIOMF.RestrictionStructuredDataPropertyContext, scalarProperty: OWLAPIOMF.DataRelationshipToScalar, literalValue: LiteralValue, valueType: Option[OWLAPIOMF.DataRange])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.RestrictionScalarDataPropertyValue]

Definition Classes
MutableTerminologyGraphOps
def addRestrictionStructuredDataPropertyTuple(tbox: MutableTerminologyBox, uuid: RestrictionStructuredDataPropertyTupleUUID, structuredDataPropertyContext: RestrictionStructuredDataPropertyContext, structuredProperty: DataRelationshipToStructure)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RestrictionStructuredDataPropertyTuple]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addRestrictionStructuredDataPropertyTuple(graph: OWLAPIOMF.MutableTerminologyBox, structuredDataPropertyContext: OWLAPIOMF.RestrictionStructuredDataPropertyContext, structuredProperty: OWLAPIOMF.DataRelationshipToStructure)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.RestrictionStructuredDataPropertyTuple]

Definition Classes
MutableTerminologyGraphOps
def addRootConceptTaxonomyAxiom(uuid: RootConceptTaxonomyAxiomUUID, terminologyBundle: MutableBundle, root: ConceptKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RootConceptTaxonomyAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addRootConceptTaxonomyAxiom(terminologyBundle: OWLAPIOMF.MutableBundle, root: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.RootConceptTaxonomyAxiom]

Definition Classes
MutableTerminologyGraphOps
def addRuleBodySegment(tbox: MutableTerminologyBox, uuid: RuleBodySegmentUUID, chainRule: Option[ChainRule], previousSegment: Option[RuleBodySegment])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RuleBodySegment]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addRuleBodySegment(graph: OWLAPIOMF.MutableTerminologyBox, chainRule: Option[OWLAPIOMF.ChainRule], previousSegment: Option[OWLAPIOMF.RuleBodySegment])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.RuleBodySegment]

Definition Classes
MutableTerminologyGraphOps
def addScalarDataProperty(tbox: MutableTerminologyBox, uuid: ScalarDataPropertyUUID, dataRelationshipIRI: IRI, source: Structure, target: DataRange, dataRelationshipName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarDataProperty]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addScalarDataProperty(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Structure, target: OWLAPIOMF.DataRange, dataPropertyName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ScalarDataProperty]

Definition Classes
MutableTerminologyGraphOps
def addScalarDataType(tbox: MutableTerminologyBox, dataTypeUUID: ScalarUUID, dataTypeIRI: IRI, dataTypeName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Scalar]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addScalarDataType(graph: OWLAPIOMF.MutableTerminologyBox, scalarDataTypeName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.Scalar]

Definition Classes
MutableTerminologyGraphOps
def addScalarOneOfLiteralAxiom(tbox: MutableTerminologyBox, axiomUUID: ScalarOneOfLiteralAxiomUUID, scalarOneOfRestriction: ScalarOneOfRestriction, value: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfLiteralAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addScalarOneOfLiteralAxiom(graph: OWLAPIOMF.MutableTerminologyBox, scalarOneOfRestriction: OWLAPIOMF.ScalarOneOfRestriction, value: LiteralValue, valueType: Option[OWLAPIOMF.DataRange])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ScalarOneOfLiteralAxiom]

Definition Classes
MutableTerminologyGraphOps
def addScalarOneOfRestriction(tbox: MutableTerminologyBox, dataTypeUUID: ScalarOneOfRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarOneOfRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addScalarOneOfRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ScalarOneOfRestriction]

Definition Classes
MutableTerminologyGraphOps
def addSegmentPredicate(tbox: MutableTerminologyBox, uuid: SegmentPredicateUUID, bodySegment: RuleBodySegment, predicate: Option[Predicate], reifiedRelationshipSource: Option[ReifiedRelationship], reifiedRelationshipInverseSource: Option[ReifiedRelationship], reifiedRelationshipTarget: Option[ReifiedRelationship], reifiedRelationshipInverseTarget: Option[ReifiedRelationship], unreifiedRelationshipInverse: Option[UnreifiedRelationship])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SegmentPredicate]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addSegmentPredicate(graph: OWLAPIOMF.MutableTerminologyBox, bodySegment: OWLAPIOMF.RuleBodySegment, predicate: Option[OWLAPIOMF.Predicate], reifiedRelationshipSource: Option[OWLAPIOMF.ReifiedRelationship], reifiedRelationshipInverseSource: Option[OWLAPIOMF.ReifiedRelationship], reifiedRelationshipTarget: Option[OWLAPIOMF.ReifiedRelationship], reifiedRelationshipInverseTarget: Option[OWLAPIOMF.ReifiedRelationship], unreifiedRelationshipInverse: Option[OWLAPIOMF.UnreifiedRelationship])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.SegmentPredicate]

Definition Classes
MutableTerminologyGraphOps
def addSingletonInstanceScalarDataPropertyValue(uuid: SingletonInstanceScalarDataPropertyValueUUID, dbox: MutableDescriptionBox, ei: ConceptualEntitySingletonInstance, e2sc: EntityScalarDataProperty, value: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SingletonInstanceScalarDataPropertyValue]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addSingletonInstanceScalarDataPropertyValue(dbox: OWLAPIOMF.MutableDescriptionBox, ei: OWLAPIOMF.ConceptualEntitySingletonInstance, e2sc: OWLAPIOMF.EntityScalarDataProperty, value: LiteralValue, valueType: Option[OWLAPIOMF.DataRange])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.SingletonInstanceScalarDataPropertyValue]

Definition Classes
MutableDescriptionBoxOps
def addSingletonInstanceStructuredDataPropertyValue(uuid: SingletonInstanceStructuredDataPropertyValueUUID, dbox: MutableDescriptionBox, ei: ConceptualEntitySingletonInstance, e2st: EntityStructuredDataProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SingletonInstanceStructuredDataPropertyValue]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addSingletonInstanceStructuredDataPropertyValue(dbox: OWLAPIOMF.MutableDescriptionBox, ei: OWLAPIOMF.ConceptualEntitySingletonInstance, e2st: OWLAPIOMF.EntityStructuredDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.SingletonInstanceStructuredDataPropertyValue]

Definition Classes
MutableDescriptionBoxOps
def addSpecificDisjointConceptAxiom(uuid: SpecificDisjointConceptAxiomUUID, terminologyBundle: MutableBundle, disjointTerminologyParent: ConceptTreeDisjunction, disjointLeaf: ConceptKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SpecificDisjointConceptAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addSpecificDisjointConceptAxiom(terminologyBundle: OWLAPIOMF.MutableBundle, disjointTerminologyParent: OWLAPIOMF.ConceptTreeDisjunction, disjointLeaf: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.SpecificDisjointConceptAxiom]

Definition Classes
MutableTerminologyGraphOps
def addStringScalarRestriction(tbox: MutableTerminologyBox, dataTypeUUID: StringScalarRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StringScalarRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addStringScalarRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.StringScalarRestriction]

Definition Classes
MutableTerminologyGraphOps
def addStructuredDataProperty(tbox: MutableTerminologyBox, uuid: StructuredDataPropertyUUID, dataRelationshipIRI: IRI, source: Structure, target: Structure, dataRelationshipName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StructuredDataProperty]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addStructuredDataProperty(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Structure, target: OWLAPIOMF.Structure, dataPropertyName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.StructuredDataProperty]

Definition Classes
MutableTerminologyGraphOps
def addStructuredDataType(tbox: MutableTerminologyBox, dataTypeUUID: StructureUUID, dataTypeIRI: IRI, dataTypeName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Structure]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addStructuredDataType(graph: OWLAPIOMF.MutableTerminologyBox, structureDatatypeName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.Structure]

Definition Classes
MutableTerminologyGraphOps
def addSubDataPropertyOfAxiom(tbox: MutableTerminologyBox, uuid: SubDataPropertyOfAxiomUUID, sub: EntityScalarDataProperty, sup: EntityScalarDataProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SubDataPropertyOfAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addSubDataPropertyOfAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.EntityScalarDataProperty, sup: OWLAPIOMF.EntityScalarDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.SubDataPropertyOfAxiom]

Definition Classes
MutableTerminologyGraphOps
def addSubObjectPropertyOfAxiom(tbox: MutableTerminologyBox, uuid: SubObjectPropertyOfAxiomUUID, sub: UnreifiedRelationship, sup: UnreifiedRelationship)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SubObjectPropertyOfAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addSubObjectPropertyOfAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.UnreifiedRelationship, sup: OWLAPIOMF.UnreifiedRelationship)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.SubObjectPropertyOfAxiom]

Definition Classes
MutableTerminologyGraphOps
def addSynonymScalarRestriction(tbox: MutableTerminologyBox, dataTypeUUID: SynonymScalarRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, SynonymScalarRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addSynonymScalarRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.SynonymScalarRestriction]

Definition Classes
MutableTerminologyGraphOps
def addTerminologyAnnotation(tbox: MutableTerminologyBox, subject: LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationPropertyValue]

Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
def addTerminologyAnnotationProperty(tbox: MutableTerminologyBox, ap: AnnotationProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationProperty]

Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
def addTerminologyExtension(uuid: TerminologyExtensionAxiomUUID, extendingTerminology: MutableTerminologyBox, extendedTerminology: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TerminologyExtensionAxiom]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addTerminologyExtension(extendingG: OWLAPIOMF.MutableTerminologyBox, extendedG: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.TerminologyExtensionAxiom]

Definition Classes
MutableTerminologyGraphOps
def addTimeScalarRestriction(tbox: MutableTerminologyBox, dataTypeUUID: TimeScalarRestrictionUUID, dataTypeIRI: IRI, dataTypeName: LocalName, minInclusive: Option[LiteralDateTime], maxInclusive: Option[LiteralDateTime], minExclusive: Option[LiteralDateTime], maxExclusive: Option[LiteralDateTime], restrictedRange: DataRange)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TimeScalarRestriction]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addTimeScalarRestriction(graph: OWLAPIOMF.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: OWLAPIOMF.DataRange, minInclusive: Option[LiteralDateTime], maxInclusive: Option[LiteralDateTime], minExclusive: Option[LiteralDateTime], maxExclusive: Option[LiteralDateTime])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.TimeScalarRestriction]

Definition Classes
MutableTerminologyGraphOps
def addUnreifiedRelationship(tbox: MutableTerminologyBox, uuid: UnreifiedRelationshipUUID, rIRI: IRI, source: Entity, target: Entity, characteristics: Iterable[RelationshipCharacteristics], unreifiedRelationshipName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, UnreifiedRelationship]

Attributes
protected
Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
final def addUnreifiedRelationship(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Entity, target: OWLAPIOMF.Entity, characteristics: Iterable[RelationshipCharacteristics], unreifiedRelationshipName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.UnreifiedRelationship]

Definition Classes
MutableTerminologyGraphOps
def addUnreifiedRelationshipInstanceTuple(uuid: UnreifiedRelationshipInstanceTupleUUID, dbox: MutableDescriptionBox, unreifiedRelationship: UnreifiedRelationship, source: ConceptualEntitySingletonInstance, target: ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, UnreifiedRelationshipInstanceTuple]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def addUnreifiedRelationshipInstanceTuple(dbox: OWLAPIOMF.MutableDescriptionBox, unreifiedRelationship: OWLAPIOMF.UnreifiedRelationship, source: OWLAPIOMF.ConceptualEntitySingletonInstance, target: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.UnreifiedRelationshipInstanceTuple]

Definition Classes
MutableDescriptionBoxOps
def annotationProperties(m: Module)(implicit store: OWLAPIOMFGraphStore): Seq[AnnotationProperty]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def annotations(m: Module)(implicit store: OWLAPIOMFGraphStore): Set[AnnotationPropertyValue]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def anonymousConceptTaxonomyAxiomUUID(terminologyBundle: OWLAPIOMF.MutableBundle, disjointTerminologyParent: OWLAPIOMF.ConceptTreeDisjunction, name: String)(implicit store: OWLAPIOMF.Store): \/[Throwables, AnonymousConceptUnionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
final def asImmutableBundle(m: OWLAPIOMF.MutableModule, m2i: OWLAPIOMF.OntologyMapping)(implicit store: OWLAPIOMF.Store): \/[Throwables, (OWLAPIOMF.ImmutableBundle, OWLAPIOMF.OntologyMapping)]

Definition Classes
OMFStoreOps
final def asImmutableDescription(m: OWLAPIOMF.MutableModule, m2i: OWLAPIOMF.OntologyMapping)(implicit store: OWLAPIOMF.Store): \/[Throwables, (OWLAPIOMF.ImmutableDescriptionBox, OWLAPIOMF.OntologyMapping)]

Definition Classes
OMFStoreOps
def asImmutableModule(m: MutableModule, m2i: OntologyMapping)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, (ImmutableModule, OntologyMapping)]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
final def asImmutableTerminologyBox(m: OWLAPIOMF.MutableModule, m2i: OWLAPIOMF.OntologyMapping)(implicit store: OWLAPIOMF.Store): \/[Throwables, (OWLAPIOMF.ImmutableTerminologyBox, OWLAPIOMF.OntologyMapping)]

Definition Classes
OMFStoreOps
final def asImmutableTerminologyGraph(m: OWLAPIOMF.MutableModule, m2i: OWLAPIOMF.OntologyMapping)(implicit store: OWLAPIOMF.Store): \/[Throwables, (OWLAPIOMF.ImmutableTerminologyGraph, OWLAPIOMF.OntologyMapping)]

Definition Classes
OMFStoreOps
final def asInstanceOf[T0]: T0

Definition Classes
Any
def aspectSpecializationAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, sup: OWLAPIOMF.AspectKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, AspectSpecializationAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
implicit val bTag: ClassTag[ImmutableBundle]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def bundledTerminologyAxiomUUID(terminologyBundle: OWLAPIOMF.MutableBundle, bundledTerminology: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, BundledTerminologyAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def conceptInstanceUUID(dbox: OWLAPIOMF.MutableDescriptionBox, fragment: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, ConceptInstanceUUID]

Definition Classes
MutableDescriptionBoxOps
def conceptSpecializationAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.ConceptKind, sup: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, ConceptSpecializationAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
implicit val dTag: ClassTag[ImmutableDescriptionBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def descriptionBoxExtendsClosedWorldDefinitionsUUID(dbox: OWLAPIOMF.MutableDescriptionBox, closedWorldDefinitions: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, DescriptionBoxExtendsClosedWorldDefinitionsUUID]

Definition Classes
MutableDescriptionBoxOps
def descriptionBoxImportClosure(m: Module)(implicit store: OWLAPIOMFGraphStore): Set[DescriptionBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def descriptionBoxRefinementUUID(refiningDescriptionBox: OWLAPIOMF.MutableDescriptionBox, refinedDescriptionBox: OWLAPIOMF.DescriptionBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, DescriptionBoxRefinementUUID]

Definition Classes
MutableDescriptionBoxOps
def entityExistentialRestrictionAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, EntityExistentialRestrictionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def entityScalarDataPropertyExistentialRestrictionAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, scalarProperty: OWLAPIOMF.EntityScalarDataProperty, range: OWLAPIOMF.DataRange)(implicit store: OWLAPIOMF.Store): \/[Throwables, EntityScalarDataPropertyExistentialRestrictionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def entityScalarDataPropertyParticularRestrictionAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, scalarProperty: OWLAPIOMF.EntityScalarDataProperty, literalValue: LiteralValue)(implicit store: OWLAPIOMF.Store): \/[Throwables, EntityScalarDataPropertyParticularRestrictionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def entityScalarDataPropertyUniversalRestrictionAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, scalarProperty: OWLAPIOMF.EntityScalarDataProperty, range: OWLAPIOMF.DataRange)(implicit store: OWLAPIOMF.Store): \/[Throwables, EntityScalarDataPropertyUniversalRestrictionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def entityStructuredDataPropertyParticularRestrictionAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, restrictedEntity: OWLAPIOMF.Entity, structuredProperty: OWLAPIOMF.EntityStructuredDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, EntityStructuredDataPropertyParticularRestrictionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def entityUniversalRestrictionAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, EntityUniversalRestrictionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def equivalentEntityConcepts(c1: Iterable[OWLAPIOMF.Concept], c2: Iterable[OWLAPIOMF.Concept]): Boolean

Definition Classes
ImmutableTerminologyGraphOps
def equivalentEntityReifiedRelationships(r1: Iterable[OWLAPIOMF.ReifiedRelationship], r2: Iterable[OWLAPIOMF.ReifiedRelationship]): Boolean

Definition Classes
ImmutableTerminologyGraphOps
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def foldAxiom[T](funAspectSpecializationAxiom: (AspectSpecializationAxiom) ⇒ T, funConceptSpecializationAxiom: (ConceptSpecializationAxiom) ⇒ T, funReifiedRelationshipSpecializationAxiom: (ReifiedRelationshipSpecializationAxiom) ⇒ T, funSubDataPropertyOfAxiom: (SubDataPropertyOfAxiom) ⇒ T, funSubObjectPropertyOfAxiom: (SubObjectPropertyOfAxiom) ⇒ T, funEntityExistentialRestrictionAxiom: (EntityExistentialRestrictionAxiom) ⇒ T, funEntityUniversalRestrictionAxiom: (EntityUniversalRestrictionAxiom) ⇒ T, funEntityScalarDataPropertyExistentialRestrictionAxiom: (EntityScalarDataPropertyExistentialRestrictionAxiom) ⇒ T, funEntityScalarDataPropertyParticularRestrictionAxiom: (EntityScalarDataPropertyParticularRestrictionAxiom) ⇒ T, funEntityScalarDataPropertyUniversalRestrictionAxiom: (EntityScalarDataPropertyUniversalRestrictionAxiom) ⇒ T, funEntityStructuredDataPropertyParticularRestrictionAxiom: (EntityStructuredDataPropertyParticularRestrictionAxiom) ⇒ T, funScalarOneOfLiteralAxiom: (ScalarOneOfLiteralAxiom) ⇒ T)(t: Axiom): T

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
final def foldBundle(t: OWLAPIOMF.Module): Option[OWLAPIOMF.Bundle]

Definition Classes
OMFStoreOps
def foldBundleStatement[T](funAnonymousConceptTaxonomyAxiom: (AnonymousConceptTaxonomyAxiom) ⇒ T, funRootConceptTaxonomyAxiom: (RootConceptTaxonomyAxiom) ⇒ T, funSpecificDisjointConceptAxiom: (SpecificDisjointConceptAxiom) ⇒ T)(s: TerminologyBundleStatement): T

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
final def foldDescriptionBox(t: OWLAPIOMF.Module): Option[OWLAPIOMF.DescriptionBox]

Definition Classes
OMFStoreOps
final def foldImmutableBundle(t: OWLAPIOMF.Module): Option[OWLAPIOMF.ImmutableBundle]

Definition Classes
OMFStoreOps
final def foldImmutableDescriptionBox(t: OWLAPIOMF.Module): Option[OWLAPIOMF.ImmutableDescriptionBox]

Definition Classes
OMFStoreOps
def foldImmutableModule[T](funImmutableTerminologyGraph: (ImmutableTerminologyGraph) ⇒ T, funImmutableTerminologyBundle: (ImmutableBundle) ⇒ T, funImmutableDescriptionBox: (ImmutableDescriptionBox) ⇒ T)(m: ImmutableModule): T

Definition Classes
OWLAPIStoreOps → OMFStoreOps
final def foldImmutableTerminologyBox(t: OWLAPIOMF.Module): Option[OWLAPIOMF.ImmutableTerminologyBox]

Definition Classes
OMFStoreOps
final def foldImmutableTerminologyGraph(t: OWLAPIOMF.Module): Option[OWLAPIOMF.ImmutableTerminologyGraph]

Definition Classes
OMFStoreOps
def foldModule[T](funImmutableTerminologyGraph: (ImmutableTerminologyGraph) ⇒ T, funMutableTerminologyGraph: (MutableTerminologyGraph) ⇒ T, funImmutableTerminologyBundle: (ImmutableBundle) ⇒ T, funMutableTerminologyBundle: (MutableBundle) ⇒ T, funImmutableDescriptionBox: (ImmutableDescriptionBox) ⇒ T, funMutableDescriptionBox: (MutableDescriptionBox) ⇒ T)(m: Module): T

Definition Classes
OWLAPIStoreOps → OMFStoreOps
final def foldMutableBundle(t: OWLAPIOMF.Module): Option[OWLAPIOMF.MutableBundle]

Definition Classes
OMFStoreOps
final def foldMutableDescriptionBox(t: OWLAPIOMF.Module): Option[OWLAPIOMF.MutableDescriptionBox]

Definition Classes
OMFStoreOps
def foldMutableModule[T](funMutableTerminologyGraph: (MutableTerminologyGraph) ⇒ T, funMutableTerminologyBundle: (MutableBundle) ⇒ T, funMutableDescriptionBox: (MutableDescriptionBox) ⇒ T)(m: MutableModule): T

Definition Classes
OWLAPIStoreOps → OMFStoreOps
final def foldMutableTerminologyBox(t: OWLAPIOMF.Module): Option[OWLAPIOMF.MutableTerminologyBox]

Definition Classes
OMFStoreOps
final def foldMutableTerminologyGraph(t: OWLAPIOMF.Module): Option[OWLAPIOMF.MutableTerminologyGraph]

Definition Classes
OMFStoreOps
def foldTerm[T](funAspect: (Aspect) ⇒ T, funCardinalityRestrictedAspect: (CardinalityRestrictedAspect) ⇒ T, funConcept: (Concept) ⇒ T, funCardinalityRestrictedConcept: (CardinalityRestrictedConcept) ⇒ T, funCardinalityRestrictedReifiedRelationship: (CardinalityRestrictedReifiedRelationship) ⇒ T, funReifiedRelationshipRestriction: (ReifiedRelationshipRestriction) ⇒ T, funReifiedRelationship: (ReifiedRelationship) ⇒ T, funUnreifiedRelationship: (UnreifiedRelationship) ⇒ T, funScalar: (Scalar) ⇒ T, funStructure: (Structure) ⇒ T, funScalarOneOfRestriction: (ScalarOneOfRestriction) ⇒ T, funBinaryScalarRestriction: (BinaryScalarRestriction) ⇒ T, funIRIScalarRestriction: (IRIScalarRestriction) ⇒ T, funPlainLiteralScalarRestriction: (PlainLiteralScalarRestriction) ⇒ T, funStringScalarRestriction: (StringScalarRestriction) ⇒ T, funSynonymScalarRestriction: (SynonymScalarRestriction) ⇒ T, funTimeScalarRestriction: (TimeScalarRestriction) ⇒ T, funEntityScalarDataProperty: (EntityScalarDataProperty) ⇒ T, funEntityStructuredDataProperty: (EntityStructuredDataProperty) ⇒ T, funScalarDataProperty: (ScalarDataProperty) ⇒ T, funStructuredDataProperty: (StructuredDataProperty) ⇒ T, funChainRule: (ChainRule) ⇒ T)(t: Term): T

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
final def foldTerminologyBox(t: OWLAPIOMF.Module): Option[OWLAPIOMF.TerminologyBox]

Definition Classes
OMFStoreOps
def foldTerminologyBoxAxiom[T](funConceptDesignationTerminologyAxiom: (ConceptDesignationTerminologyAxiom) ⇒ T, funTerminologyGraphDirectExtensionAxiom: (TerminologyExtensionAxiom) ⇒ T, funTerminologyGraphDirectNestingAxiom: (TerminologyNestingAxiom) ⇒ T)(t: TerminologyBoxAxiom): T

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def foldTerminologyBundleAxiom[T](funBundledTerminologyAxiom: (BundledTerminologyAxiom) ⇒ T)(t: TerminologyBundleAxiom): T

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
final def foldTerminologyGraph(t: OWLAPIOMF.Module): Option[OWLAPIOMF.TerminologyGraph]

Definition Classes
OMFStoreOps
def fromAnonymousConceptTaxonomyAxiom(ax: AnonymousConceptTaxonomyAxiom): AnonymousConceptUnionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromAspect(a: Aspect): AspectSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromAspectSubClassAxiom(ax: AspectSpecializationAxiom): AspectSpecializationSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromBinaryScalarRestriction(ax: BinaryScalarRestriction): BinaryScalarRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromBundledTerminologyAxiom(ax: BundledTerminologyAxiom): BundledTerminologySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromCardinalityRestrictedAspect(ca: CardinalityRestrictedAspect): CardinalityRestrictedAspectSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromCardinalityRestrictedConcept(cc: CardinalityRestrictedConcept): CardinalityRestrictedConceptSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromCardinalityRestrictedReifiedRelationship(crr: CardinalityRestrictedReifiedRelationship): CardinalityRestrictedReifiedRelationshipSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromChainRule(ax: ChainRule): ChainRuleSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromClosedWorldDefinitionsAxiom(ax: DescriptionBoxExtendsClosedWorldDefinitions): DescriptionBoxExtendsClosedWorldDefinitionsSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromConcept(c: Concept): ConceptSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromConceptDesignationTerminologyAxiom(ax: ConceptDesignationTerminologyAxiom): ConceptDesignationTerminologySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromConceptInstance(o: ConceptInstance): ConceptInstanceSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromConceptSpecializationAxiom(ax: ConceptSpecializationAxiom): ConceptSpecializationSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromDescriptionBoxRefinementAxiom(ax: DescriptionBoxRefinement): DescriptionBoxRefinementSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromEntity(e: Entity): EntitySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityExistentialRestrictionAxiom(ax: EntityExistentialRestrictionAxiom): EntityExistentialRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityScalarDataProperty(esc: EntityScalarDataProperty): EntityScalarDataPropertySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityScalarDataPropertyExistentialRestrictionAxiom(ax: EntityScalarDataPropertyExistentialRestrictionAxiom): EntityScalarDataPropertyExistentialRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityScalarDataPropertyParticularRestrictionAxiom(ax: EntityScalarDataPropertyParticularRestrictionAxiom): EntityScalarDataPropertyParticularRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityScalarDataPropertyUniversalRestrictionAxiom(ax: EntityScalarDataPropertyUniversalRestrictionAxiom): EntityScalarDataPropertyUniversalRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityStructuredDataProperty(est: EntityStructuredDataProperty): EntityStructuredDataPropertySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityStructuredDataPropertyParticularRestrictionAxiom(ax: EntityStructuredDataPropertyParticularRestrictionAxiom): EntityStructuredDataPropertyParticularRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromEntityUniversalRestrictionAxiom(ax: EntityUniversalRestrictionAxiom): EntityUniversalRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromIRI(iri: IRI): String

Definition Classes
OWLAPIIRIOps → IRIOps
def fromIRIScalarRestriction(ax: IRIScalarRestriction): IRIScalarRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromImmutableDescriptionBox(dbox: ImmutableDescriptionBox)(implicit store: OWLAPIOMFGraphStore): ImmutableDescriptionBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def fromImmutableTerminology(tbox: ImmutableTerminologyBox)(implicit store: OWLAPIOMFGraphStore): ImmutableTerminologyBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def fromInstanceRelationshipEnumerationRestriction(er: InstanceRelationshipEnumerationRestriction): InstanceRelationshipEnumerationRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromInstanceRelationshipExistentialRangeRestriction(ur: InstanceRelationshipExistentialRangeRestriction): InstanceRelationshipExistentialRangeRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromInstanceRelationshipUniversalRangeRestriction(ur: InstanceRelationshipUniversalRangeRestriction): InstanceRelationshipUniversalRangeRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromInstanceRelationshipValueRestriction(ur: InstanceRelationshipValueRestriction): InstanceRelationshipValueRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromMutableDescriptionBox(dbox: MutableDescriptionBox)(implicit store: OWLAPIOMFGraphStore): MutableDescriptionBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def fromMutableTerminology(tbox: MutableTerminologyBox)(implicit store: OWLAPIOMFGraphStore): MutableTerminologyBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def fromNumericScalarRestriction(ax: NumericScalarRestriction): NumericScalarRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromPlainLiteralScalarRestriction(ax: PlainLiteralScalarRestriction): PlainLiteralScalarRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromPredicate(p: Predicate): PredicateSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromReifiedRelationship(r: ReifiedRelationship): ReifiedRelationshipSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromReifiedRelationshipInstance(r: ReifiedRelationshipInstance): ReifiedRelationshipInstanceSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromReifiedRelationshipInstanceDomain(r: ReifiedRelationshipInstanceDomain): ReifiedRelationshipInstanceDomainSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromReifiedRelationshipInstanceRange(r: ReifiedRelationshipInstanceRange): ReifiedRelationshipInstanceRangeSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromReifiedRelationshipRestriction(ax: ReifiedRelationshipRestriction): ReifiedRelationshipRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromReifiedRelationshipSpecializationAxiom(ax: ReifiedRelationshipSpecializationAxiom): ReifiedRelationshipSpecializationSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromRestrictableRelationship(r: RestrictableRelationship): RestrictableRelationshipSignature

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromRestrictionScalarDataPropertyValue(ax: RestrictionScalarDataPropertyValue): RestrictionScalarDataPropertyValueSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromRestrictionStructuredDataPropertyTuple(ax: RestrictionStructuredDataPropertyTuple): RestrictionStructuredDataPropertyTupleSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromRootConceptTaxonomyAxiom(ax: RootConceptTaxonomyAxiom): RootConceptTaxonomySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromRuleBodySegment(ax: RuleBodySegment): RuleBodySegmentSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromScalarDataProperty(ssc: ScalarDataProperty): ScalarDataPropertySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromScalarDataPropertyValue(s2sc: ScalarDataPropertyValue): ScalarDataPropertyValueSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromScalarOneOfLiteralAxiom(ax: ScalarOneOfLiteralAxiom): ScalarOneOfLiteralSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromScalarOneOfRestriction(ax: ScalarOneOfRestriction): ScalarOneOfRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromSegmentPredicate(ax: SegmentPredicate): SegmentPredicateSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromSingletonInstanceScalarDataPropertyValue(e2sc: SingletonInstanceScalarDataPropertyValue): SingletonInstanceScalarDataPropertyValueSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromSingletonInstanceStructuredDataPropertyValue(dbox: DescriptionBox, e2st: SingletonInstanceStructuredDataPropertyValue): SingletonInstanceStructuredDataPropertyValueSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromSpecificDisjointConceptAxiom(ax: SpecificDisjointConceptAxiom): SpecificDisjointConceptSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromStringScalarRestriction(ax: StringScalarRestriction): StringScalarRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromStructuredDataProperty(sst: StructuredDataProperty): StructuredDataPropertySignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromStructuredDataPropertyTuple(dbox: DescriptionBox, s2st: StructuredDataPropertyTuple): StructuredDataPropertyTupleSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def fromSubDataPropertyOfAxiom(ax: SubDataPropertyOfAxiom): SubDataPropertyOfAxiomSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromSubObjectPropertyOfAxiom(ax: SubObjectPropertyOfAxiom): SubObjectPropertyOfAxiomSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromSynonymScalarRestriction(ax: SynonymScalarRestriction): SynonymScalarRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromTerminologyExtensionAxiom(ax: TerminologyExtensionAxiom): TerminologyExtensionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromTerminologyNestingAxiom(ax: TerminologyNestingAxiom): TerminologyNestingSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromTimeScalarRestriction(ax: TimeScalarRestriction): TimeScalarRestrictionSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromUnreifiedRelationship(r: UnreifiedRelationship): UnreifiedRelationshipSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def fromUnreifiedRelationshipInstanceTuple(ur: UnreifiedRelationshipInstanceTuple): UnreifiedRelationshipInstanceTupleSignature[OWLAPIOMF]

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getAnnotations(tbox: TerminologyBox): Set[AnnotationPropertyValue]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getAspectKindUUID(term: AspectKind): AspectKindUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getAspectUUID(term: Aspect): AspectUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getAxiomUUID(ax: Axiom): TerminologyBoxStatementUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getAxioms(tbox: TerminologyBox): (IRI, Iterable[Axiom])

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getCardinalityRestrictedAspectUUID(term: CardinalityRestrictedAspect): CardinalityRestrictedAspectUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getCardinalityRestrictedConceptUUID(term: CardinalityRestrictedConcept): CardinalityRestrictedConceptUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getCardinalityRestrictedReifiedRelationshipUUID(term: CardinalityRestrictedReifiedRelationship): CardinalityRestrictedReifiedRelationshipUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
final def getChainRule(ax: RuleBodySegment): \/[Throwables, ChainRule]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
Annotations
@tailrec()
def getChainRuleUUID(term: ChainRule): ChainRuleUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getConceptInstanceUUID(i: ConceptInstance): ConceptInstanceUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getConceptKindUUID(term: ConceptKind): ConceptKindUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getConceptTreeDisjunctionUUID(ctd: ConceptTreeDisjunction): ConceptTreeDisjunctionUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getConceptUUID(term: Concept): ConceptUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getConceptualEntitySingletonInstanceUUID(i: ConceptualEntitySingletonInstance): ConceptualEntitySingletonInstanceUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getConceptualEntityUUID(term: ConceptualEntity): ConceptualEntityUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getConceptualRelationshipUUID(term: ConceptualRelationship): ConceptualRelationshipUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
final def getDataRange(tbox: OWLAPIOMF.TerminologyBox, name: LocalName, recursively: Boolean)(implicit store: OWLAPIOMF.Store, ops: OMFOps[OWLAPIOMF]): \/[Throwables, OWLAPIOMF.DataRange]

Definition Classes
ImmutableTerminologyGraphOps
def getDataRangeUUID(term: DataRange): DataRangeUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getDataRelationshipToScalarUUID(term: DataRelationshipToScalar): DataRelationshipToScalarUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getDataRelationshipToStructureUUID(term: DataRelationshipToStructure): DataRelationshipToStructureUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getDescriptionBoxExtendsClosedWorldDefinitionsUUID(i: DescriptionBoxExtendsClosedWorldDefinitions): DescriptionBoxExtendsClosedWorldDefinitionsUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getDescriptionBoxRefinementUUID(i: DescriptionBoxRefinement): DescriptionBoxRefinementUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getEntityRelationshipUUID(term: EntityRelationship): EntityRelationshipUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getEntityScalarDataPropertyUUID(term: EntityScalarDataProperty): EntityScalarDataPropertyUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getEntityStructuredDataPropertyUUID(term: EntityStructuredDataProperty): EntityStructuredDataPropertyUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getEntityUUID(term: Entity): EntityUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getExtensionAxioms(extendingChildG: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): Set[TerminologyExtensionAxiom]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def getFragment(iri: IRI): \/[Throwables, LocalName]

Definition Classes
OWLAPIIRIOps → IRIOps
def getImmutableDescriptionBoxIRI(graph: ImmutableDescriptionBox): IRI

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getInstanceRelationshipEnumerationRestrictionUUID(i: InstanceRelationshipEnumerationRestriction): InstanceRelationshipEnumerationRestrictionUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getInstanceRelationshipExistentialRangeRestrictionUUID(i: InstanceRelationshipExistentialRangeRestriction): InstanceRelationshipExistentialRangeRestrictionUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getInstanceRelationshipUniversalRangeRestrictionUUID(i: InstanceRelationshipUniversalRangeRestriction): InstanceRelationshipUniversalRangeRestrictionUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getInstanceRelationshipValueRestrictionUUID(i: InstanceRelationshipValueRestriction): InstanceRelationshipValueRestrictionUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getLogicalElementUUID(e: LogicalElement): LogicalElementUUID

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def getModuleIRI(m: Module): IRI

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def getModuleName(m: Module): LocalName

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def getModuleUUID(m: Module): ModuleUUID

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def getMutableDescriptionBoxIRI(dbox: MutableDescriptionBox): IRI

Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def getReifiedRelationshipInstanceDomainUUID(i: ReifiedRelationshipInstanceDomain): ReifiedRelationshipInstanceDomainUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getReifiedRelationshipInstanceRangeUUID(i: ReifiedRelationshipInstanceRange): ReifiedRelationshipInstanceRangeUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getReifiedRelationshipInstanceUUID(i: ReifiedRelationshipInstance): ReifiedRelationshipInstanceUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getReifiedRelationshipRestrictionUUID(term: ReifiedRelationshipRestriction): ReifiedRelationshipRestrictionUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getReifiedRelationshipUUID(term: ReifiedRelationship): ReifiedRelationshipUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getRestrictableRelationshipUUID(term: RestrictableRelationship): RestrictableRelationshipUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getScalarDataPropertyUUID(term: ScalarDataProperty): ScalarDataPropertyUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getScalarDataPropertyValueUUID(i: ScalarDataPropertyValue): ScalarDataPropertyValueUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getScalarOneOfRestrictionUUID(term: ScalarOneOfRestriction): ScalarOneOfRestrictionUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getScalarUUID(term: Scalar): ScalarUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getSingletonInstanceScalarDataPropertyValueUUID(i: SingletonInstanceScalarDataPropertyValue): SingletonInstanceScalarDataPropertyValueUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getSingletonInstanceStructuredDataPropertyContextUUID(i: SingletonInstanceStructuredDataPropertyContext): SingletonInstanceStructuredDataPropertyContextUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getSingletonInstanceStructuredDataPropertyValueUUID(i: SingletonInstanceStructuredDataPropertyValue): SingletonInstanceStructuredDataPropertyValueUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getStructureUUID(term: Structure): StructureUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getStructuredDataPropertyTupleUUID(i: StructuredDataPropertyTuple): StructuredDataPropertyTupleUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getStructuredDataPropertyUUID(term: StructuredDataProperty): StructuredDataPropertyUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getTermIRI(term: Term): IRI

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getTermName(term: Term): LocalName

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getTermUUID(term: Term): TermUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getTerminologyAxiomUUID(ax: TerminologyAxiom)(implicit store: OWLAPIOMFGraphStore): TerminologyAxiomUUID

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def getTerminologyKind(tbox: TerminologyBox): TerminologyKind

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getTerms(tbox: TerminologyBox): (IRI, Iterable[Term])

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def getUnreifiedRelationshipInstanceTupleUUID(i: UnreifiedRelationshipInstanceTuple): UnreifiedRelationshipInstanceTupleUUID

Definition Classes
OWLAPIImmutableDescriptionBoxOps → ImmutableDescriptionBoxOps
def getUnreifiedRelationshipUUID(term: UnreifiedRelationship): UnreifiedRelationshipUUID

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def hashCode(): Int

Definition Classes
AnyRef → Any
def immutableBundleSignature(ib: ImmutableBundle): ImmutableTerminologyBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def immutableDescriptionBoxSignature(id: ImmutableDescriptionBox): ImmutableDescriptionBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def immutableTerminologyGraphSignature(ig: ImmutableTerminologyGraph): ImmutableTerminologyBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def initializeOntologyMapping(drc: DataRangeCategories[OWLAPIOMF])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, OntologyMapping]

Definition Classes
OWLAPIOMFOps → OMFStoreOps
def instanceRelationshipEnumerationRestrictionUUID(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, InstanceRelationshipEnumerationRestrictionUUID]

Definition Classes
MutableDescriptionBoxOps
def instanceRelationshipExistentialRangeRestrictionUUID(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, InstanceRelationshipExistentialRangeRestrictionUUID]

Definition Classes
MutableDescriptionBoxOps
def instanceRelationshipUniversalRangeRestrictionUUID(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, InstanceRelationshipUniversalRangeRestrictionUUID]

Definition Classes
MutableDescriptionBoxOps
def instanceRelationshipValueRestrictionUUID(dbox: OWLAPIOMF.MutableDescriptionBox, restrictedRelationship: OWLAPIOMF.RestrictableRelationship with OWLAPIOMF.LogicalElement, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, range: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, InstanceRelationshipValueRestrictionUUID]

Definition Classes
MutableDescriptionBoxOps
def iri2hash(prefix: String, iri: IRI): String

Definition Classes
OWLAPIIRIOps
def isAnnotatedAbstract(ont: OWLOntology, termIRI: IRI): \/[Throwables, Boolean]
def isAnnotatedDerived(ont: OWLOntology, termIRI: IRI): \/[Throwables, Boolean]
def isBackboneIRI(iri: IRI): Boolean

Definition Classes
OWLAPIIRIOps → IRIOps
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isMutable(m: Module)(implicit store: OWLAPIOMFGraphStore): Boolean

Definition Classes
OWLAPIStoreOps → OMFStoreOps
implicit val itbTag: ClassTag[ImmutableTerminologyBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
implicit val itgTag: ClassTag[ImmutableTerminologyGraph]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def lastSegment(iri: IRI): \/[Throwables, LocalName]

Definition Classes
OWLAPIIRIOps → IRIOps
def loadBuiltinDatatypeMap()(implicit store: OWLAPIOMFGraphStore): \/[Throwables, DataRangeCategories[OWLAPIOMF]]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
final def loadDescription(m2i: OWLAPIOMF.OntologyMapping, iri: OWLAPIOMF.IRI)(implicit store: OWLAPIOMF.Store): \/[Throwables, (OWLAPIOMF.ImmutableDescriptionBox, OWLAPIOMF.OntologyMapping)]

Definition Classes
OMFStoreOps
def loadModule(m2i: OntologyMapping, iri: IRI)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, (Module, OntologyMapping)]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
final def loadTerminology(m2i: OWLAPIOMF.OntologyMapping, iri: OWLAPIOMF.IRI)(implicit store: OWLAPIOMF.Store): \/[Throwables, (OWLAPIOMF.ImmutableTerminologyBox, OWLAPIOMF.OntologyMapping)]

Definition Classes
OMFStoreOps
def lookupAspect(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Aspect]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupAspect(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Aspect]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupAspectKind(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[AspectKind]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupConcept(graph: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Concept]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupConcept(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Concept]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupConceptKind(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[ConceptKind]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupConceptualRelationship(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[ConceptualRelationship]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupDataRange(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[DataRange]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupDataRange(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[DataRange]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupDescriptionBox(iri: IRI)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, DescriptionBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def lookupDescriptionBoxes(iris: Set[OWLAPIOMF.IRI])(implicit store: OWLAPIOMF.Store): \/[Throwables, Set[OWLAPIOMF.DescriptionBox]]

Definition Classes
OMFStoreOps
def lookupEntity(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Entity]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupEntity(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Entity]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupEntityScalarDataProperty(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[EntityScalarDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupEntityScalarDataProperty(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[EntityScalarDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupEntityStructuredDataProperty(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[EntityStructuredDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupEntityStructuredDataProperty(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[EntityStructuredDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupModule(iri: IRI)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Module]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def lookupModules(iris: Set[OWLAPIOMF.IRI])(implicit store: OWLAPIOMF.Store): \/[Throwables, Set[OWLAPIOMF.Module]]

Definition Classes
OMFStoreOps
def lookupNestingAxiomForNestedChildIfAny(nestedG: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): Option[TerminologyNestingAxiom]

Definition Classes
OWLAPIStoreOps
def lookupNestingAxiomsForNestingContext(nestingC: ConceptKind)(implicit store: OWLAPIOMFGraphStore): Set[TerminologyNestingAxiom]

Definition Classes
OWLAPIStoreOps
def lookupReifiedRelationship(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[ReifiedRelationship]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupReifiedRelationship(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[ReifiedRelationship]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupReifiedRelationshipRestriction(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[ReifiedRelationshipRestriction]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupScalarDataProperty(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[ScalarDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupScalarDataProperty(graph: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[ScalarDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupStructure(graph: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Structure]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupStructure(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Structure]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupStructuredDataProperty(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[StructuredDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps
def lookupStructuredDataProperty(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[StructuredDataProperty]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupTerm(tbox: TerminologyBox, iri: Option[IRI], recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[Term]

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

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def lookupTerminologyBox(iri: IRI)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TerminologyBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def lookupTerminologyBoxes(iris: Set[OWLAPIOMF.IRI])(implicit store: OWLAPIOMF.Store): \/[Throwables, Set[OWLAPIOMF.TerminologyBox]]

Definition Classes
OMFStoreOps
def lookupUnreifiedRelationship(tbox: TerminologyBox, iri: IRI, recursively: Boolean)(implicit store: OWLAPIOMFGraphStore): Option[UnreifiedRelationship]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def makeBundle(name: LocalName, iri: IRI, kind: TerminologyKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, MutableBundle]

Attributes
protected
Definition Classes
OWLAPIStoreOps → OMFStoreOps
def makeBundle(iri: OWLAPIOMF.IRI, kind: TerminologyKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.MutableBundle]

Definition Classes
OMFStoreOps
def makeChainRule(tbox: MutableTerminologyBox, rule: ChainRule)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Unit]

Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
def makeDescriptionBox(name: LocalName, iri: IRI, k: DescriptionKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, MutableDescriptionBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def makeDescriptionBox(iri: OWLAPIOMF.IRI, kind: DescriptionKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.MutableDescriptionBox]

Definition Classes
OMFStoreOps
def makeIRI(s: String): \/[Throwables, IRI]

Definition Classes
OWLAPIIRIOps → IRIOps
def makeScalarDataPropertyValue(uuid: ScalarDataPropertyValueUUID, dbox: MutableDescriptionBox, structuredDataPropertyContext: SingletonInstanceStructuredDataPropertyContext, scalarDataProperty: ScalarDataProperty, value: LiteralValue, valueType: Option[DataRange])(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarDataPropertyValue]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def makeScalarDataPropertyValue(dbox: OWLAPIOMF.MutableDescriptionBox, structuredDataPropertyContext: OWLAPIOMF.SingletonInstanceStructuredDataPropertyContext, scalarDataProperty: OWLAPIOMF.ScalarDataProperty, value: LiteralValue, valueType: Option[OWLAPIOMF.DataRange])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ScalarDataPropertyValue]

Definition Classes
MutableDescriptionBoxOps
def makeStructuredDataPropertyTuple(uuid: StructuredDataPropertyTupleUUID, dbox: MutableDescriptionBox, structuredDataPropertyContext: SingletonInstanceStructuredDataPropertyContext, structuredDataProperty: StructuredDataProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, StructuredDataPropertyTuple]

Attributes
protected
Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def makeStructuredDataPropertyTuple(dbox: OWLAPIOMF.MutableDescriptionBox, structuredDataPropertyContext: OWLAPIOMF.SingletonInstanceStructuredDataPropertyContext, structuredDataProperty: OWLAPIOMF.StructuredDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.StructuredDataPropertyTuple]

Definition Classes
MutableDescriptionBoxOps
def makeTerminologyGraph(name: LocalName, iri: IRI, kind: TerminologyKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, MutableTerminologyGraph]

Attributes
protected
Definition Classes
OWLAPIStoreOps → OMFStoreOps
def makeTerminologyGraph(iri: OWLAPIOMF.IRI, kind: TerminologyKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.MutableTerminologyGraph]

Definition Classes
OMFStoreOps
def mutableBundleSignature(mb: MutableBundle): MutableTerminologyBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def mutableDescriptionBoxSignature(md: MutableDescriptionBox): MutableDescriptionBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def mutableTerminologyGraphSignature(mg: MutableTerminologyGraph): MutableTerminologyBoxSignature[OWLAPIOMF]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val omlHasInverseLabelAP: AnnotationProperty
val omlHasInverseLabelIRI: IRI
val omlHasPropertyLabelAP: AnnotationProperty
val omlHasPropertyLabelIRI: IRI
val omlHasReificationLabelAP: AnnotationProperty
val omlHasReificationLabelIRI: IRI
val omlIRI: IRI
val omlUUID: ModuleUUID
val omlUUIDG: OMLUUIDGenerator
val rdfs_label: IRI
def reifiedRelationshipInstanceDomainUUID(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipInstance: OWLAPIOMF.ReifiedRelationshipInstance, source: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, ReifiedRelationshipInstanceDomainUUID]

Definition Classes
MutableDescriptionBoxOps
def reifiedRelationshipInstanceRangeUUID(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipInstance: OWLAPIOMF.ReifiedRelationshipInstance, target: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, ReifiedRelationshipInstanceRangeUUID]

Definition Classes
MutableDescriptionBoxOps
def reifiedRelationshipInstanceUUID(dbox: OWLAPIOMF.MutableDescriptionBox, fragment: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, ReifiedRelationshipInstanceUUID]

Definition Classes
MutableDescriptionBoxOps
def reifiedRelationshipSpecializationAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.ConceptualRelationship, sup: OWLAPIOMF.ConceptualRelationship)(implicit store: OWLAPIOMF.Store): \/[Throwables, ReifiedRelationshipSpecializationAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def removeDescriptionAnnotations(dbox: MutableDescriptionBox, subject: LogicalElement, property: AnnotationProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Set[AnnotationPropertyValue]]

Definition Classes
OWLAPIMutableDescriptionBoxOps → MutableDescriptionBoxOps
def removeTerminologyAnnotations(tbox: MutableTerminologyBox, subject: LogicalElement, property: AnnotationProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Set[AnnotationPropertyValue]]

Definition Classes
OWLAPIMutableTerminologyGraphOps → MutableTerminologyGraphOps
def resolveIRIAsLocalFile(iri: IRI)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, File]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def restrictedDataRangeOf(dr: DataRange)(implicit store: OWLAPIOMFGraphStore): Option[DataRange]

Definition Classes
OWLAPIImmutableTerminologyGraphOps → ImmutableTerminologyGraphOps
def restrictionScalarDataPropertyValueUUID(graph: OWLAPIOMF.MutableTerminologyBox, structuredDataPropertyContext: OWLAPIOMF.RestrictionStructuredDataPropertyContext, scalarProperty: OWLAPIOMF.DataRelationshipToScalar, literalValue: LiteralValue)(implicit store: OWLAPIOMF.Store): \/[Throwables, RestrictionScalarDataPropertyValueUUID]

Definition Classes
MutableTerminologyGraphOps
def restrictionStructuredDataPropertyTupleUUID(graph: OWLAPIOMF.MutableTerminologyBox, structuredDataPropertyContext: OWLAPIOMF.RestrictionStructuredDataPropertyContext, structuredProperty: OWLAPIOMF.DataRelationshipToStructure)(implicit store: OWLAPIOMF.Store): \/[Throwables, RestrictionStructuredDataPropertyTupleUUID]

Definition Classes
MutableTerminologyGraphOps
def rootConceptTaxonomyAxiomUUID(terminologyBundle: OWLAPIOMF.MutableBundle, root: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, RootConceptTaxonomyAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def saveDescriptionBox(g: DescriptionBox, os: OutputStream)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Unit]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def saveDescriptionBox(g: DescriptionBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Unit]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def saveTerminology(g: TerminologyBox, os: OutputStream)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Unit]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def saveTerminology(g: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Unit]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def scalarDataPropertyValueUUID(structuredDataPropertyContext: OWLAPIOMF.SingletonInstanceStructuredDataPropertyContext, scalarDataProperty: OWLAPIOMF.ScalarDataProperty, value: LiteralValue)(implicit store: OWLAPIOMF.Store): \/[Throwables, ScalarDataPropertyValueUUID]

Definition Classes
MutableDescriptionBoxOps
def scalarOneOfLiteralAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, scalarOneOfRestriction: OWLAPIOMF.ScalarOneOfRestriction, value: LiteralValue): \/[Throwables, ScalarOneOfLiteralAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def singletonInstanceScalarDataPropertyValueUUID(dbox: OWLAPIOMF.MutableDescriptionBox, ei: OWLAPIOMF.ConceptualEntitySingletonInstance, e2sc: OWLAPIOMF.EntityScalarDataProperty, value: LiteralValue)(implicit store: OWLAPIOMF.Store): \/[Throwables, SingletonInstanceScalarDataPropertyValueUUID]

Definition Classes
MutableDescriptionBoxOps
def singletonInstanceStructuredDataPropertyValueUUID(dbox: OWLAPIOMF.MutableDescriptionBox, ei: OWLAPIOMF.ConceptualEntitySingletonInstance, e2st: OWLAPIOMF.EntityStructuredDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, SingletonInstanceStructuredDataPropertyValueUUID]

Definition Classes
MutableDescriptionBoxOps
def specificDisjointConceptAxiomUUID(terminologyBundle: OWLAPIOMF.MutableBundle, disjointTerminologyParent: OWLAPIOMF.ConceptTreeDisjunction, disjointLeaf: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, SpecificDisjointConceptAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def splitIRI(iri: IRI): (IRI, Option[LocalName])

Definition Classes
OWLAPIIRIOps → IRIOps
def structuredDataPropertyTupleUUID(structuredDataPropertyContext: OWLAPIOMF.SingletonInstanceStructuredDataPropertyContext, structuredDataProperty: OWLAPIOMF.StructuredDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, StructuredDataPropertyTupleUUID]

Definition Classes
MutableDescriptionBoxOps
def subDataPropertyOfAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.EntityScalarDataProperty, sup: OWLAPIOMF.EntityScalarDataProperty)(implicit store: OWLAPIOMF.Store): \/[Throwables, SubDataPropertyOfAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def subObjectPropertyOfAxiomUUID(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.UnreifiedRelationship, sup: OWLAPIOMF.UnreifiedRelationship)(implicit store: OWLAPIOMF.Store): \/[Throwables, SubObjectPropertyOfAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def terminologyBoxImportClosure(m: Module)(implicit store: OWLAPIOMFGraphStore): Set[TerminologyBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def terminologyExtensionUUID(extendingG: OWLAPIOMF.MutableTerminologyBox, extendedG: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, TerminologyExtensionAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def terminologyNestingAxiomUUID(nestingGraph: OWLAPIOMF.TerminologyBox, nestingContext: OWLAPIOMF.ConceptKind, nestedGraph: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, TerminologyNestingAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def toAbbreviatedName(iri: IRI, lowercaseFragmentInitial: Boolean): Option[AbbrevIRI]

Definition Classes
OWLAPIIRIOps → IRIOps
def toBackboneIRI(iri: IRI): IRI

Definition Classes
OWLAPIIRIOps → IRIOps
def toBundle(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[Bundle]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toDescriptionBox(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[DescriptionBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toImmutableBundle(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[ImmutableBundle]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toImmutableDescriptionBox(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[ImmutableDescriptionBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toImmutableTerminologyBox(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[ImmutableTerminologyBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toImmutableTerminologyGraph(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[ImmutableTerminologyGraph]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toMutableModule(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[MutableModule]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toSourceIRI(iri: IRI): IRI

Definition Classes
OWLAPIIRIOps → IRIOps
def toString(): String

Definition Classes
AnyRef → Any
def toTargetIRI(iri: IRI): IRI

Definition Classes
OWLAPIIRIOps → IRIOps
def toTerminologyBox(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[TerminologyBox]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def toTerminologyGraph(m: Module)(implicit store: OWLAPIOMFGraphStore): Option[TerminologyGraph]

Definition Classes
OWLAPIStoreOps → OMFStoreOps
def unreifiedRelationshipInstanceTupleUUID(dbox: OWLAPIOMF.MutableDescriptionBox, unreifiedRelationship: OWLAPIOMF.UnreifiedRelationship, domain: OWLAPIOMF.ConceptualEntitySingletonInstance, range: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, UnreifiedRelationshipInstanceTupleUUID]

Definition Classes
MutableDescriptionBoxOps
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
def withFragment(iri: IRI, fragment: LocalName): \/[Throwables, IRI]

Definition Classes
OWLAPIIRIOps → IRIOps

Related Doc: package owlapi

class OWLAPIOMFOps extends OMFOps[OWLAPIOMF] with OWLAPIIRIOps with OWLAPIMutableTerminologyGraphOps with OWLAPIMutableDescriptionBoxOps with OWLAPIStoreOps

Instance Constructors

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val AnnotationHasContext: IRI

val AnnotationHasGraph: IRI

val AnnotationHasRestrictedSourceProperty: IRI

val AnnotationHasRestrictedTargetProperty: IRI

val AnnotationHasUUID: IRI

val AnnotationIsAbstract: IRI

val AnnotationIsBundle: IRI

val AnnotationIsDerived: IRI

val AnnotationIsDescriptionBox: IRI

val AnnotationIsDescriptionBoxRefinable: IRI

val AnnotationIsTerminologyBoxOpen: IRI

val AnnotationIsTerminologyGraph: IRI

val AnnotationOMLHasInverseLabel: IRI

val AnnotationOMLHasPropertyLabel: IRI

val AnnotationOMLHasReificationLabel: IRI

def addAnnotationAssertions(tbox: MutableTerminologyBox, subject: LogicalElement, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

def addAnonymousConceptTaxonomyAxiom(uuid: AnonymousConceptUnionAxiomUUID, terminologyBundle: MutableBundle, disjointTerminologyParent: ConceptTreeDisjunction, name: String)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnonymousConceptTaxonomyAxiom]

final def addAnonymousConceptTaxonomyAxiom(terminologyBundle: OWLAPIOMF.MutableBundle, disjointTerminologyParent: OWLAPIOMF.ConceptTreeDisjunction, name: String)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.AnonymousConceptTaxonomyAxiom]

def addAspect(tbox: MutableTerminologyBox, uuid: AspectUUID, aspectIRI: IRI, aspectName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Aspect]

final def addAspect(graph: OWLAPIOMF.MutableTerminologyBox, aspectName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.Aspect]

def addAspectSpecializationAxiom(tbox: MutableTerminologyBox, uuid: AspectSpecializationAxiomUUID, sub: Entity, sup: AspectKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AspectSpecializationAxiom]

final def addAspectSpecializationAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, sup: OWLAPIOMF.AspectKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.AspectSpecializationAxiom]

def addBundledTerminologyAxiom(uuid: BundledTerminologyAxiomUUID, terminologyBundle: MutableBundle, bundledTerminology: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, BundledTerminologyAxiom]

final def addBundledTerminologyAxiom(terminologyBundle: OWLAPIOMF.MutableBundle, bundledTerminology: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.BundledTerminologyAxiom]

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

final def addChainRule(graph: OWLAPIOMF.MutableTerminologyBox, head: OWLAPIOMF.RestrictableRelationship, ruleName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ChainRule]

def addConcept(tbox: MutableTerminologyBox, uuid: ConceptUUID, conceptIRI: IRI, conceptName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Concept]

final def addConcept(graph: OWLAPIOMF.MutableTerminologyBox, conceptName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.Concept]

def addConceptInstance(uuid: ConceptInstanceUUID, dbox: MutableDescriptionBox, iri: IRI, conceptType: ConceptKind, fragment: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptInstance]

def addConceptInstance(dbox: OWLAPIOMF.MutableDescriptionBox, conceptType: OWLAPIOMF.ConceptKind, fragment: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ConceptInstance]

def addConceptSpecializationAxiom(tbox: MutableTerminologyBox, uuid: ConceptSpecializationAxiomUUID, sub: ConceptKind, sup: ConceptKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptSpecializationAxiom]

final def addConceptSpecializationAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.ConceptKind, sup: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ConceptSpecializationAxiom]

def addDescriptionAnnotation(dbox: MutableDescriptionBox, subject: LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationPropertyValue]

def addDescriptionAnnotationProperty(dbox: MutableDescriptionBox, ap: AnnotationProperty)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, AnnotationProperty]

def addDescriptionBoxExtendsClosedWorldDefinitions(uuid: DescriptionBoxExtendsClosedWorldDefinitionsUUID, dbox: MutableDescriptionBox, closedWorldDefinitions: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, DescriptionBoxExtendsClosedWorldDefinitions]

def addDescriptionBoxExtendsClosedWorldDefinitions(dbox: OWLAPIOMF.MutableDescriptionBox, closedWorldDefinitions: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.DescriptionBoxExtendsClosedWorldDefinitions]

def addDescriptionBoxRefinement(uuid: DescriptionBoxRefinementUUID, refiningDescriptionBox: MutableDescriptionBox, refinedDescriptionBox: DescriptionBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, DescriptionBoxRefinement]

def addDescriptionBoxRefinement(refiningDescriptionBox: OWLAPIOMF.MutableDescriptionBox, refinedDescriptionBox: OWLAPIOMF.DescriptionBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.DescriptionBoxRefinement]

def addEntityConceptDesignationTerminologyAxiom(tbox: MutableTerminologyBox, uuid: ConceptDesignationTerminologyAxiomUUID, designatedConcept: ConceptKind, designatedTerminology: TerminologyBox)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ConceptDesignationTerminologyAxiom]

final def addEntityConceptDesignationTerminologyAxiom(graph: OWLAPIOMF.MutableTerminologyBox, entityConceptDesignation: OWLAPIOMF.ConceptKind, designationTerminologyGraph: OWLAPIOMF.TerminologyBox)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ConceptDesignationTerminologyAxiom]

def addEntityExistentialRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityExistentialRestrictionAxiomUUID, sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityExistentialRestrictionAxiom]

final def addEntityExistentialRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityExistentialRestrictionAxiom]

def addEntityScalarDataProperty(tbox: MutableTerminologyBox, uuid: EntityScalarDataPropertyUUID, dataRelationshipIRI: IRI, source: Entity, target: DataRange, dataRelationshipName: LocalName, isIdentityCriteria: Boolean)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityScalarDataProperty]

final def addEntityScalarDataProperty(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Entity, target: OWLAPIOMF.DataRange, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityScalarDataProperty]

final def addEntityStructuredDataProperty(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Entity, target: OWLAPIOMF.Structure, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityStructuredDataProperty]

def addEntityUniversalRestrictionAxiom(tbox: MutableTerminologyBox, uuid: EntityUniversalRestrictionAxiomUUID, sub: Entity, rel: RestrictableRelationship, range: Entity)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, EntityUniversalRestrictionAxiom]

final def addEntityUniversalRestrictionAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.Entity, restrictedRelationship: OWLAPIOMF.RestrictableRelationship, range: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.EntityUniversalRestrictionAxiom]

def addNestedTerminology(uuid: TerminologyNestingAxiomUUID, nestingTerminology: TerminologyBox, nestingContext: ConceptKind, nestedTerminology: MutableTerminologyGraph)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, TerminologyNestingAxiom]

final def addNestedTerminology(nestingGraph: OWLAPIOMF.TerminologyBox, nestingContext: OWLAPIOMF.ConceptKind, nestedGraph: OWLAPIOMF.MutableTerminologyGraph)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.TerminologyNestingAxiom]

def addReificationAnnotationAssertions(tbox: MutableTerminologyBox, subject: ReifiedRelationship, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

def addReifiedInverseAnnotationAssertions(tbox: MutableTerminologyBox, subject: ReifiedRelationship, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

def addReifiedPropertyAnnotationAssertions(tbox: MutableTerminologyBox, subject: ReifiedRelationship, aas: Vector[OWLAnnotationAssertionAxiom])(implicit store: OWLAPIOMFGraphStore): UnitNES

def addReifiedRelationshipInstance(uuid: ReifiedRelationshipInstanceUUID, dbox: MutableDescriptionBox, iri: IRI, relationshipType: ConceptualRelationship, fragment: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipInstance]

def addReifiedRelationshipInstance(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipType: OWLAPIOMF.ConceptualRelationship, fragment: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipInstance]

def addReifiedRelationshipInstanceDomain(uuid: ReifiedRelationshipInstanceDomainUUID, dbox: MutableDescriptionBox, relationshipInstance: ReifiedRelationshipInstance, source: ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipInstanceDomain]

def addReifiedRelationshipInstanceDomain(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipInstance: OWLAPIOMF.ReifiedRelationshipInstance, source: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipInstanceDomain]

def addReifiedRelationshipInstanceRange(uuid: ReifiedRelationshipInstanceRangeUUID, dbox: MutableDescriptionBox, relationshipInstance: ReifiedRelationshipInstance, target: ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ReifiedRelationshipInstanceRange]

def addReifiedRelationshipInstanceRange(dbox: OWLAPIOMF.MutableDescriptionBox, relationshipInstance: OWLAPIOMF.ReifiedRelationshipInstance, target: OWLAPIOMF.ConceptualEntitySingletonInstance)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipInstanceRange]

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

final def addReifiedRelationshipRestriction(graph: OWLAPIOMF.MutableTerminologyBox, name: LocalName, source: OWLAPIOMF.Entity, target: OWLAPIOMF.Entity)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipRestriction]

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

final def addReifiedRelationshipSpecializationAxiom(graph: OWLAPIOMF.MutableTerminologyBox, sub: OWLAPIOMF.ConceptualRelationship, sup: OWLAPIOMF.ConceptualRelationship)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ReifiedRelationshipSpecializationAxiom]

def addRootConceptTaxonomyAxiom(uuid: RootConceptTaxonomyAxiomUUID, terminologyBundle: MutableBundle, root: ConceptKind)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, RootConceptTaxonomyAxiom]

final def addRootConceptTaxonomyAxiom(terminologyBundle: OWLAPIOMF.MutableBundle, root: OWLAPIOMF.ConceptKind)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.RootConceptTaxonomyAxiom]

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

final def addRuleBodySegment(graph: OWLAPIOMF.MutableTerminologyBox, chainRule: Option[OWLAPIOMF.ChainRule], previousSegment: Option[OWLAPIOMF.RuleBodySegment])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.RuleBodySegment]

def addScalarDataProperty(tbox: MutableTerminologyBox, uuid: ScalarDataPropertyUUID, dataRelationshipIRI: IRI, source: Structure, target: DataRange, dataRelationshipName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, ScalarDataProperty]

final def addScalarDataProperty(graph: OWLAPIOMF.MutableTerminologyBox, source: OWLAPIOMF.Structure, target: OWLAPIOMF.DataRange, dataPropertyName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ScalarDataProperty]

def addScalarDataType(tbox: MutableTerminologyBox, dataTypeUUID: ScalarUUID, dataTypeIRI: IRI, dataTypeName: LocalName)(implicit store: OWLAPIOMFGraphStore): \/[Throwables, Scalar]

final def addScalarDataType(graph: OWLAPIOMF.MutableTerminologyBox, scalarDataTypeName: LocalName)(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.Scalar]

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

final def addScalarOneOfLiteralAxiom(graph: OWLAPIOMF.MutableTerminologyBox, scalarOneOfRestriction: OWLAPIOMF.ScalarOneOfRestriction, value: LiteralValue, valueType: Option[OWLAPIOMF.DataRange])(implicit store: OWLAPIOMF.Store): \/[Throwables, OWLAPIOMF.ScalarOneOfLiteralAxiom]