OMFOps

Abstract Value Members

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

Add to a terminology graph a new OMF AnonymousConceptTaxonomyAxiom.
Add to a terminology graph a new OMF AnonymousConceptTaxonomyAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.AnonymousConceptTaxonomyAxiom
abstract def addAspect(graph: omf.MutableTerminologyBox, uuid: AspectUUID, iri: omf.IRI, aspectName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Aspect]

Add to a terminology graph a new OMF Aspect.
Add to a terminology graph a new OMF Aspect.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Aspect
abstract def addAspectSpecializationAxiom(graph: omf.MutableTerminologyBox, uuid: AspectSpecializationAxiomUUID, sub: omf.Entity, sup: omf.AspectKind)(implicit store: omf.Store): \/[Throwables, omf.AspectSpecializationAxiom]

Add to a terminology graph a new OMF AspectSpecializationAxiom.
Add to a terminology graph a new OMF AspectSpecializationAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.AspectSpecializationAxiom
abstract def addBinaryScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: BinaryScalarRestrictionUUID, dataTypeIRI: omf.IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.BinaryScalarRestriction]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addBundledTerminologyAxiom(uuid: BundledTerminologyAxiomUUID, terminologyBundle: omf.MutableBundle, bundledTerminology: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, omf.BundledTerminologyAxiom]

Add to a terminology graph a new OMF BundledTerminologyAxiom).
Add to a terminology graph a new OMF BundledTerminologyAxiom).

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.BundledTerminologyAxiom
abstract def addCardinalityRestrictedAspectInternal(graph: omf.MutableTerminologyBox, uuid: CardinalityRestrictedAspectUUID, iri: omf.IRI, aspectName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: omf.RestrictableRelationship, restrictedRange: Option[omf.Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: omf.Store): \/[Throwables, omf.CardinalityRestrictedAspect]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addCardinalityRestrictedConceptInternal(graph: omf.MutableTerminologyBox, uuid: CardinalityRestrictedConceptUUID, iri: omf.IRI, conceptName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: omf.RestrictableRelationship, restrictedRange: Option[omf.Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: omf.Store): \/[Throwables, omf.CardinalityRestrictedConcept]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addCardinalityRestrictedReifiedRelationshipInternal(graph: omf.MutableTerminologyBox, uuid: CardinalityRestrictedReifiedRelationshipUUID, iri: omf.IRI, reifiedRelationshipName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: omf.RestrictableRelationship, restrictedRange: Option[omf.Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: omf.Store): \/[Throwables, omf.CardinalityRestrictedReifiedRelationship]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addChainRule(graph: omf.MutableTerminologyBox, uuid: ChainRuleUUID, iri: omf.IRI, head: omf.RestrictableRelationship)(implicit store: omf.Store): \/[Throwables, omf.ChainRule]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addConcept(graph: omf.MutableTerminologyBox, uuid: ConceptUUID, iri: omf.IRI, conceptName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Concept]

Add to a terminology graph a new OMF Concept.
Add to a terminology graph a new OMF Concept.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Concept
abstract def addConceptInstance(uuid: ConceptInstanceUUID, dbox: omf.MutableDescriptionBox, iri: omf.IRI, conceptType: omf.ConceptKind, fragment: LocalName)(implicit store: omf.Store): \/[Throwables, omf.ConceptInstance]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addConceptSpecializationAxiom(graph: omf.MutableTerminologyBox, uuid: ConceptSpecializationAxiomUUID, sub: omf.ConceptKind, sup: omf.ConceptKind)(implicit store: omf.Store): \/[Throwables, omf.ConceptSpecializationAxiom]

Add to a terminology graph a new OMF ConceptSpecializationAxiom.
Add to a terminology graph a new OMF ConceptSpecializationAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ConceptSpecializationAxiom
abstract def addDescriptionAnnotation(dbox: omf.MutableDescriptionBox, subject: omf.LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: omf.Store): \/[Throwables, AnnotationPropertyValue]

Definition Classes
MutableDescriptionBoxOps
abstract def addDescriptionAnnotationProperty(dbox: omf.MutableDescriptionBox, ap: AnnotationProperty)(implicit store: omf.Store): \/[Throwables, AnnotationProperty]

Definition Classes
MutableDescriptionBoxOps
abstract def addDescriptionBoxExtendsClosedWorldDefinitions(uuid: DescriptionBoxExtendsClosedWorldDefinitionsUUID, dbox: omf.MutableDescriptionBox, closedWorldDefinitions: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, omf.DescriptionBoxExtendsClosedWorldDefinitions]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addDescriptionBoxRefinement(uuid: DescriptionBoxRefinementUUID, refiningDescriptionBox: omf.MutableDescriptionBox, refinedDescriptionBox: omf.DescriptionBox)(implicit store: omf.Store): \/[Throwables, omf.DescriptionBoxRefinement]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addEntityConceptDesignationTerminologyAxiom(graph: omf.MutableTerminologyBox, uuid: ConceptDesignationTerminologyAxiomUUID, designatedConcept: omf.ConceptKind, designatedTerminology: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, omf.ConceptDesignationTerminologyAxiom]

Add to a terminology graph a new OMF ConceptDesignationTerminologyAxiom.
Add to a terminology graph a new OMF ConceptDesignationTerminologyAxiom.
graph
The mutable terminology graph in which to assert the axiom
designatedConcept
The concept whose complete complete designation is specified
designatedTerminology
The terminology graph specifying the complete designation for the structural contents of the designated concept
store
OMF storage provider
returns
The EntityConceptToplevelDesignationTerminologyGraphAxiom created

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ConceptDesignationTerminologyAxiom
abstract def addEntityExistentialRestrictionAxiom(graph: omf.MutableTerminologyBox, uuid: EntityExistentialRestrictionAxiomUUID, sub: omf.Entity, restrictedRelationship: omf.RestrictableRelationship, range: omf.Entity)(implicit store: omf.Store): \/[Throwables, omf.EntityExistentialRestrictionAxiom]

Add to a terminology graph a new OMF EntityExistentialRestrictionAxiom.
Add to a terminology graph a new OMF EntityExistentialRestrictionAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityExistentialRestrictionAxiom
abstract def addEntityScalarDataProperty(graph: omf.MutableTerminologyBox, uuid: EntityScalarDataPropertyUUID, iri: omf.IRI, source: omf.Entity, target: omf.DataRange, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: omf.Store): \/[Throwables, omf.EntityScalarDataProperty]

Add to a terminology graph a new OMF EntityScalarDataProperty.
Add to a terminology graph a new OMF EntityScalarDataProperty.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityScalarDataProperty
abstract def addEntityScalarDataPropertyExistentialRestrictionAxiom(graph: omf.MutableTerminologyBox, uuid: EntityScalarDataPropertyExistentialRestrictionAxiomUUID, restrictedEntity: omf.Entity, scalarProperty: omf.EntityScalarDataProperty, range: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.EntityScalarDataPropertyExistentialRestrictionAxiom]

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

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addEntityScalarDataPropertyUniversalRestrictionAxiom(graph: omf.MutableTerminologyBox, uuid: EntityScalarDataPropertyUniversalRestrictionAxiomUUID, restrictedEntity: omf.Entity, scalarProperty: omf.EntityScalarDataProperty, range: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.EntityScalarDataPropertyUniversalRestrictionAxiom]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addEntityStructuredDataProperty(graph: omf.MutableTerminologyBox, uuid: EntityStructuredDataPropertyUUID, iri: omf.IRI, source: omf.Entity, target: omf.Structure, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: omf.Store): \/[Throwables, omf.EntityStructuredDataProperty]

Add to a terminology graph a new OMF EntityStructuredDataProperty.
Add to a terminology graph a new OMF EntityStructuredDataProperty.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityStructuredDataProperty
abstract def addEntityStructuredDataPropertyParticularRestrictionAxiom(graph: omf.MutableTerminologyBox, uuid: EntityStructuredDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: omf.Entity, structuredProperty: omf.EntityStructuredDataProperty)(implicit store: omf.Store): \/[Throwables, omf.EntityStructuredDataPropertyParticularRestrictionAxiom]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addEntityUniversalRestrictionAxiom(graph: omf.MutableTerminologyBox, uuid: EntityUniversalRestrictionAxiomUUID, sub: omf.Entity, restrictedRelationship: omf.RestrictableRelationship, range: omf.Entity)(implicit store: omf.Store): \/[Throwables, omf.EntityUniversalRestrictionAxiom]

Add to a terminology graph a new OMF EntityUniversalRestrictionAxiom.
Add to a terminology graph a new OMF EntityUniversalRestrictionAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityUniversalRestrictionAxiom
abstract def addIRIScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: IRIScalarRestrictionUUID, iri: omf.IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.IRIScalarRestriction]

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

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

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

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

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addNestedTerminology(uuid: TerminologyNestingAxiomUUID, nestingTerminology: omf.TerminologyBox, nestingContext: omf.ConceptKind, nestedTerminology: omf.MutableTerminologyGraph)(implicit store: omf.Store): \/[Throwables, omf.TerminologyNestingAxiom]

Add to a terminology graph a new OMF TerminologyNestingAxiom.
Add to a terminology graph a new OMF TerminologyNestingAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.TerminologyNestingAxiom
abstract def addNumericScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: NumericScalarRestrictionUUID, iri: omf.IRI, dataTypeName: LocalName, minInclusive: Option[LiteralNumber], maxInclusive: Option[LiteralNumber], minExclusive: Option[LiteralNumber], maxExclusive: Option[LiteralNumber], restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.NumericScalarRestriction]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addPlainLiteralScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: PlainLiteralScalarRestrictionUUID, iri: omf.IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], language: Option[LanguageTagDataType], restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.PlainLiteralScalarRestriction]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addReifiedRelationship(graph: omf.MutableTerminologyBox, uuid: ReifiedRelationshipUUID, iri: omf.IRI, source: omf.Entity, target: omf.Entity, characteristics: Iterable[RelationshipCharacteristics], reifiedRelationshipName: LocalName, unreifiedRelationshipName: LocalName, unreifiedInverseRelationshipName: Option[LocalName])(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationship]

Add to a terminology graph a new OMF ReifiedRelationship.
Add to a terminology graph a new OMF ReifiedRelationship.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ReifiedRelationship
abstract def addReifiedRelationshipInstance(uuid: ReifiedRelationshipInstanceUUID, dbox: omf.MutableDescriptionBox, iri: omf.IRI, relationshipType: omf.ConceptualRelationship, fragment: LocalName)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipInstance]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addReifiedRelationshipInstanceDomain(uuid: ReifiedRelationshipInstanceDomainUUID, dbox: omf.MutableDescriptionBox, relationshipInstance: omf.ReifiedRelationshipInstance, source: omf.ConceptualEntitySingletonInstance)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipInstanceDomain]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addReifiedRelationshipInstanceRange(uuid: ReifiedRelationshipInstanceRangeUUID, dbox: omf.MutableDescriptionBox, relationshipInstance: omf.ReifiedRelationshipInstance, target: omf.ConceptualEntitySingletonInstance)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipInstanceRange]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addReifiedRelationshipRestriction(graph: omf.MutableTerminologyBox, uuid: ReifiedRelationshipRestrictionUUID, iri: omf.IRI, name: LocalName, source: omf.Entity, target: omf.Entity)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipRestriction]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addReifiedRelationshipSpecializationAxiom(graph: omf.MutableTerminologyBox, uuid: ReifiedRelationshipSpecializationAxiomUUID, sub: omf.ConceptualRelationship, sup: omf.ConceptualRelationship)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipSpecializationAxiom]

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

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addRestrictionStructuredDataPropertyTuple(graph: omf.MutableTerminologyBox, uuid: RestrictionStructuredDataPropertyTupleUUID, structuredDataPropertyContext: omf.RestrictionStructuredDataPropertyContext, structuredProperty: omf.DataRelationshipToStructure)(implicit store: omf.Store): \/[Throwables, omf.RestrictionStructuredDataPropertyTuple]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addRootConceptTaxonomyAxiom(uuid: RootConceptTaxonomyAxiomUUID, terminologyBundle: omf.MutableBundle, root: omf.ConceptKind)(implicit store: omf.Store): \/[Throwables, omf.RootConceptTaxonomyAxiom]

Add to a terminology graph a new OMF RootConceptTaxonomyAxiom.
Add to a terminology graph a new OMF RootConceptTaxonomyAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.RootConceptTaxonomyAxiom
abstract def addRuleBodySegment(graph: omf.MutableTerminologyBox, uuid: RuleBodySegmentUUID, chainRule: Option[omf.ChainRule], previousSegment: Option[omf.RuleBodySegment])(implicit store: omf.Store): \/[Throwables, omf.RuleBodySegment]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addScalarDataProperty(graph: omf.MutableTerminologyBox, uuid: ScalarDataPropertyUUID, iri: omf.IRI, source: omf.Structure, target: omf.DataRange, dataPropertyName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.ScalarDataProperty]

Add to a terminology graph an OMF ScalarDataProperty.
Add to a terminology graph an OMF ScalarDataProperty.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ScalarDataProperty
abstract def addScalarDataType(graph: omf.MutableTerminologyBox, uuid: ScalarUUID, iri: omf.IRI, scalarDataTypeName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Scalar]

Add to a terminology graph a new OMF Scalar datatype.
Add to a terminology graph a new OMF Scalar datatype.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Scalar
abstract def addScalarOneOfLiteralAxiom(graph: omf.MutableTerminologyBox, axiomUUID: ScalarOneOfLiteralAxiomUUID, scalarOneOfRestriction: omf.ScalarOneOfRestriction, value: LiteralValue, valueType: Option[omf.DataRange])(implicit store: omf.Store): \/[Throwables, omf.ScalarOneOfLiteralAxiom]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addScalarOneOfRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: ScalarOneOfRestrictionUUID, dataTypeIRI: omf.IRI, dataTypeName: LocalName, restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.ScalarOneOfRestriction]

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

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

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addSingletonInstanceStructuredDataPropertyValue(uuid: SingletonInstanceStructuredDataPropertyValueUUID, dbox: omf.MutableDescriptionBox, ei: omf.ConceptualEntitySingletonInstance, e2st: omf.EntityStructuredDataProperty)(implicit store: omf.Store): \/[Throwables, omf.SingletonInstanceStructuredDataPropertyValue]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def addSpecificDisjointConceptAxiom(uuid: SpecificDisjointConceptAxiomUUID, terminologyBundle: omf.MutableBundle, disjointTerminologyParent: omf.ConceptTreeDisjunction, disjointLeaf: omf.ConceptKind)(implicit store: omf.Store): \/[Throwables, omf.SpecificDisjointConceptAxiom]

Add to a terminology graph a new OMF SpecificDisjointConceptAxiom.
Add to a terminology graph a new OMF SpecificDisjointConceptAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.SpecificDisjointConceptAxiom
abstract def addStringScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: StringScalarRestrictionUUID, iri: omf.IRI, dataTypeName: LocalName, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.StringScalarRestriction]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addStructuredDataProperty(graph: omf.MutableTerminologyBox, uuid: StructuredDataPropertyUUID, iri: omf.IRI, source: omf.Structure, target: omf.Structure, dataPropertyName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.StructuredDataProperty]

Add to a terminology graph a new OMF StructuredDataProperty.
Add to a terminology graph a new OMF StructuredDataProperty.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.StructuredDataProperty
abstract def addStructuredDataType(graph: omf.MutableTerminologyBox, uuid: StructureUUID, iri: omf.IRI, structureDatatypeName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Structure]

Add to a terminology graph a new OMF Structure datatype.
Add to a terminology graph a new OMF Structure datatype.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Structure
abstract def addSubDataPropertyOfAxiom(graph: omf.MutableTerminologyBox, uuid: SubDataPropertyOfAxiomUUID, sub: omf.EntityScalarDataProperty, sup: omf.EntityScalarDataProperty)(implicit store: omf.Store): \/[Throwables, omf.SubDataPropertyOfAxiom]

Add to a terminology graph a new OMF SubDataPropertyOfAxiom.
Add to a terminology graph a new OMF SubDataPropertyOfAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.SubDataPropertyOfAxiom
abstract def addSubObjectPropertyOfAxiom(graph: omf.MutableTerminologyBox, uuid: SubObjectPropertyOfAxiomUUID, sub: omf.UnreifiedRelationship, sup: omf.UnreifiedRelationship)(implicit store: omf.Store): \/[Throwables, omf.SubObjectPropertyOfAxiom]

Add to a terminology graph a new OMF SubObjectPropertyOfAxiom.
Add to a terminology graph a new OMF SubObjectPropertyOfAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.SubObjectPropertyOfAxiom
abstract def addSynonymScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: SynonymScalarRestrictionUUID, iri: omf.IRI, dataTypeName: LocalName, restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.SynonymScalarRestriction]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addTerminologyAnnotation(graph: omf.MutableTerminologyBox, subject: omf.LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: omf.Store): \/[Throwables, AnnotationPropertyValue]

Definition Classes
MutableTerminologyGraphOps
abstract def addTerminologyAnnotationProperty(graph: omf.MutableTerminologyBox, ap: AnnotationProperty)(implicit store: omf.Store): \/[Throwables, AnnotationProperty]

Definition Classes
MutableTerminologyGraphOps
abstract def addTerminologyExtension(uuid: TerminologyExtensionAxiomUUID, extendingTerminology: omf.MutableTerminologyBox, extendedTerminology: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, omf.TerminologyExtensionAxiom]

Add to a terminology graph a new OMF TerminologyExtensionAxiom.
Add to a terminology graph a new OMF TerminologyExtensionAxiom.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.TerminologyExtensionAxiom
abstract def addTimeScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: TimeScalarRestrictionUUID, iri: omf.IRI, dataTypeName: LocalName, minInclusive: Option[LiteralDateTime], maxInclusive: Option[LiteralDateTime], minExclusive: Option[LiteralDateTime], maxExclusive: Option[LiteralDateTime], restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.TimeScalarRestriction]

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
abstract def addUnreifiedRelationship(graph: omf.MutableTerminologyBox, uuid: UnreifiedRelationshipUUID, iri: omf.IRI, source: omf.Entity, target: omf.Entity, characteristics: Iterable[RelationshipCharacteristics], unreifiedRelationshipName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.UnreifiedRelationship]

Add to a terminology graph a new OMF UnreifiedRelationship.
Add to a terminology graph a new OMF UnreifiedRelationship.

Attributes
protected
Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ReifiedRelationship
abstract def addUnreifiedRelationshipInstanceTuple(uuid: UnreifiedRelationshipInstanceTupleUUID, dbox: omf.MutableDescriptionBox, unreifiedRelationship: omf.UnreifiedRelationship, source: omf.ConceptualEntitySingletonInstance, target: omf.ConceptualEntitySingletonInstance)(implicit store: omf.Store): \/[Throwables, omf.UnreifiedRelationshipInstanceTuple]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def annotationProperties(m: omf.Module)(implicit store: omf.Store): Seq[AnnotationProperty]

Definition Classes
OMFStoreOps
abstract def annotations(m: omf.Module)(implicit store: omf.Store): Set[AnnotationPropertyValue]

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

Definition Classes
OMFStoreOps
implicit abstract val bTag: ClassTag[omf.ImmutableBundle]

Definition Classes
OMFStoreOps
implicit abstract val dTag: ClassTag[omf.ImmutableDescriptionBox]

Definition Classes
OMFStoreOps
abstract def descriptionBoxImportClosure(m: omf.Module)(implicit store: omf.Store): Set[omf.DescriptionBox]

Definition Classes
OMFStoreOps
abstract def foldAxiom[T](funAspectSpecializationAxiom: (omf.AspectSpecializationAxiom) ⇒ T, funConceptSpecializationAxiom: (omf.ConceptSpecializationAxiom) ⇒ T, funReifiedRelationshipSpecializationAxiom: (omf.ReifiedRelationshipSpecializationAxiom) ⇒ T, funSubDataPropertyOfAxiom: (omf.SubDataPropertyOfAxiom) ⇒ T, funSubObjectPropertyOfAxiom: (omf.SubObjectPropertyOfAxiom) ⇒ T, funEntityExistentialRestrictionAxiom: (omf.EntityExistentialRestrictionAxiom) ⇒ T, funEntityUniversalRestrictionAxiom: (omf.EntityUniversalRestrictionAxiom) ⇒ T, funEntityScalarDataPropertyExistentialRestrictionAxiom: (omf.EntityScalarDataPropertyExistentialRestrictionAxiom) ⇒ T, funEntityScalarDataPropertyParticularRestrictionAxiom: (omf.EntityScalarDataPropertyParticularRestrictionAxiom) ⇒ T, funEntityScalarDataPropertyUniversalRestrictionAxiom: (omf.EntityScalarDataPropertyUniversalRestrictionAxiom) ⇒ T, funEntityStructuredDataPropertyParticularRestrictionAxiom: (omf.EntityStructuredDataPropertyParticularRestrictionAxiom) ⇒ T, funScalarOneOfLiteralAxiom: (omf.ScalarOneOfLiteralAxiom) ⇒ T)(t: omf.Axiom): T

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

Definition Classes
ImmutableTerminologyGraphOps
abstract def foldImmutableModule[T](funImmutableTerminologyGraph: (omf.ImmutableTerminologyGraph) ⇒ T, funImmutableTerminologyBundle: (omf.ImmutableBundle) ⇒ T, funImmutableDescriptionBox: (omf.ImmutableDescriptionBox) ⇒ T)(t: omf.ImmutableModule): T

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

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

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

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

Definition Classes
ImmutableTerminologyGraphOps
abstract def foldTerminologyBundleAxiom[T](funBundledTerminologyAxiom: (omf.BundledTerminologyAxiom) ⇒ T)(t: omf.TerminologyBundleAxiom): T

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromAnonymousConceptTaxonomyAxiom(ax: omf.AnonymousConceptTaxonomyAxiom): AnonymousConceptUnionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromAspect(r: omf.Aspect): AspectSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromAspectSubClassAxiom(ax: omf.AspectSpecializationAxiom): AspectSpecializationSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromBinaryScalarRestriction(ax: omf.BinaryScalarRestriction): BinaryScalarRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromBundledTerminologyAxiom(ax: omf.BundledTerminologyAxiom): BundledTerminologySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromCardinalityRestrictedAspect(ca: omf.CardinalityRestrictedAspect): CardinalityRestrictedAspectSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromCardinalityRestrictedConcept(ca: omf.CardinalityRestrictedConcept): CardinalityRestrictedConceptSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromCardinalityRestrictedReifiedRelationship(ca: omf.CardinalityRestrictedReifiedRelationship): CardinalityRestrictedReifiedRelationshipSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromChainRule(ax: omf.ChainRule): ChainRuleSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromClosedWorldDefinitionsAxiom(ax: omf.DescriptionBoxExtendsClosedWorldDefinitions): DescriptionBoxExtendsClosedWorldDefinitionsSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromConcept(c: omf.Concept): ConceptSignature[omf]
c
A concept
returns
A tuple consisting of:
- the IRI of the concept
- if any, the IRI of the graph corresponding to the concept
- a boolean flag indicating whether this is an abstract concept or not
Definition Classes
ImmutableTerminologyGraphOps
Since
0.10.3
abstract def fromConceptDesignationTerminologyAxiom(ax: omf.ConceptDesignationTerminologyAxiom): ConceptDesignationTerminologySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromConceptInstance(o: omf.ConceptInstance): ConceptInstanceSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromConceptSpecializationAxiom(ax: omf.ConceptSpecializationAxiom): ConceptSpecializationSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromDescriptionBoxRefinementAxiom(ax: omf.DescriptionBoxRefinement): DescriptionBoxRefinementSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromEntity(r: omf.Entity): EntitySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityExistentialRestrictionAxiom(ax: omf.EntityExistentialRestrictionAxiom): EntityExistentialRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityScalarDataProperty(esc: omf.EntityScalarDataProperty): EntityScalarDataPropertySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityScalarDataPropertyExistentialRestrictionAxiom(ax: omf.EntityScalarDataPropertyExistentialRestrictionAxiom): EntityScalarDataPropertyExistentialRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityScalarDataPropertyParticularRestrictionAxiom(ax: omf.EntityScalarDataPropertyParticularRestrictionAxiom): EntityScalarDataPropertyParticularRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityScalarDataPropertyUniversalRestrictionAxiom(ax: omf.EntityScalarDataPropertyUniversalRestrictionAxiom): EntityScalarDataPropertyUniversalRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityStructuredDataProperty(est: omf.EntityStructuredDataProperty): EntityStructuredDataPropertySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityStructuredDataPropertyParticularRestrictionAxiom(ax: omf.EntityStructuredDataPropertyParticularRestrictionAxiom): EntityStructuredDataPropertyParticularRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromEntityUniversalRestrictionAxiom(ax: omf.EntityUniversalRestrictionAxiom): EntityUniversalRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromIRI(iri: omf.IRI): String

Definition Classes
IRIOps
abstract def fromIRIScalarRestriction(ax: omf.IRIScalarRestriction): IRIScalarRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromImmutableDescriptionBox(dbox: omf.ImmutableDescriptionBox)(implicit store: omf.Store): ImmutableDescriptionBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def fromImmutableTerminology(tbox: omf.ImmutableTerminologyBox)(implicit store: omf.Store): ImmutableTerminologyBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def fromInstanceRelationshipEnumerationRestriction(ur: omf.InstanceRelationshipEnumerationRestriction): InstanceRelationshipEnumerationRestrictionSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromInstanceRelationshipExistentialRangeRestriction(ur: omf.InstanceRelationshipExistentialRangeRestriction): InstanceRelationshipExistentialRangeRestrictionSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromInstanceRelationshipUniversalRangeRestriction(ur: omf.InstanceRelationshipUniversalRangeRestriction): InstanceRelationshipUniversalRangeRestrictionSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromInstanceRelationshipValueRestriction(ur: omf.InstanceRelationshipValueRestriction): InstanceRelationshipValueRestrictionSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromMutableDescriptionBox(dbox: omf.MutableDescriptionBox)(implicit store: omf.Store): MutableDescriptionBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def fromMutableTerminology(tbox: omf.MutableTerminologyBox)(implicit store: omf.Store): MutableTerminologyBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def fromNumericScalarRestriction(ax: omf.NumericScalarRestriction): NumericScalarRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromPlainLiteralScalarRestriction(ax: omf.PlainLiteralScalarRestriction): PlainLiteralScalarRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromPredicate(p: omf.Predicate): PredicateSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromReifiedRelationship(r: omf.ReifiedRelationship): ReifiedRelationshipSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromReifiedRelationshipInstance(r: omf.ReifiedRelationshipInstance): ReifiedRelationshipInstanceSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromReifiedRelationshipInstanceDomain(r: omf.ReifiedRelationshipInstanceDomain): ReifiedRelationshipInstanceDomainSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromReifiedRelationshipInstanceRange(r: omf.ReifiedRelationshipInstanceRange): ReifiedRelationshipInstanceRangeSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromReifiedRelationshipRestriction(r: omf.ReifiedRelationshipRestriction): ReifiedRelationshipRestrictionSignature[omf]
r
, a relationship
returns
a tuple consisting of:
- the IRI of the relationship
- the IRI of the graph corresponding to the relationship, if any
- the source entity of the relationship
- the target entity of the relationship
- the characteristics of the relationship
- a flag indicating whether the relationship is abstract or not.
Definition Classes
ImmutableTerminologyGraphOps
abstract def fromReifiedRelationshipSpecializationAxiom(ax: omf.ReifiedRelationshipSpecializationAxiom): ReifiedRelationshipSpecializationSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromRestrictableRelationship(r: omf.RestrictableRelationship): RestrictableRelationshipSignature

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromRestrictionScalarDataPropertyValue(ax: omf.RestrictionScalarDataPropertyValue): RestrictionScalarDataPropertyValueSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromRestrictionStructuredDataPropertyTuple(ax: omf.RestrictionStructuredDataPropertyTuple): RestrictionStructuredDataPropertyTupleSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromRootConceptTaxonomyAxiom(ax: omf.RootConceptTaxonomyAxiom): RootConceptTaxonomySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromRuleBodySegment(ax: omf.RuleBodySegment): RuleBodySegmentSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromScalarDataProperty(esc: omf.ScalarDataProperty): ScalarDataPropertySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromScalarDataPropertyValue(e2sc: omf.ScalarDataPropertyValue): ScalarDataPropertyValueSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromScalarOneOfLiteralAxiom(ax: omf.ScalarOneOfLiteralAxiom): ScalarOneOfLiteralSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromScalarOneOfRestriction(ax: omf.ScalarOneOfRestriction): ScalarOneOfRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromSegmentPredicate(ax: omf.SegmentPredicate): SegmentPredicateSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromSingletonInstanceScalarDataPropertyValue(e2sc: omf.SingletonInstanceScalarDataPropertyValue): SingletonInstanceScalarDataPropertyValueSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromSingletonInstanceStructuredDataPropertyValue(dbox: omf.DescriptionBox, e2sc: omf.SingletonInstanceStructuredDataPropertyValue): SingletonInstanceStructuredDataPropertyValueSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromSpecificDisjointConceptAxiom(ax: omf.SpecificDisjointConceptAxiom): SpecificDisjointConceptSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromStringScalarRestriction(ax: omf.StringScalarRestriction): StringScalarRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromStructuredDataProperty(est: omf.StructuredDataProperty): StructuredDataPropertySignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromStructuredDataPropertyTuple(dbox: omf.DescriptionBox, e2sc: omf.StructuredDataPropertyTuple): StructuredDataPropertyTupleSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def fromSubDataPropertyOfAxiom(ax: omf.SubDataPropertyOfAxiom): SubDataPropertyOfAxiomSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromSubObjectPropertyOfAxiom(ax: omf.SubObjectPropertyOfAxiom): SubObjectPropertyOfAxiomSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromSynonymScalarRestriction(ax: omf.SynonymScalarRestriction): SynonymScalarRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromTerminologyExtensionAxiom(ax: omf.TerminologyExtensionAxiom): TerminologyExtensionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromTerminologyNestingAxiom(ax: omf.TerminologyNestingAxiom): TerminologyNestingSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromTimeScalarRestriction(ax: omf.TimeScalarRestriction): TimeScalarRestrictionSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromUnreifiedRelationship(r: omf.UnreifiedRelationship): UnreifiedRelationshipSignature[omf]

Definition Classes
ImmutableTerminologyGraphOps
abstract def fromUnreifiedRelationshipInstanceTuple(ur: omf.UnreifiedRelationshipInstanceTuple): UnreifiedRelationshipInstanceTupleSignature[omf]

Definition Classes
ImmutableDescriptionBoxOps
abstract def getAnnotations(tbox: omf.TerminologyBox): Set[AnnotationPropertyValue]

Definition Classes
ImmutableTerminologyGraphOps
abstract def getAspectKindUUID(term: omf.AspectKind): AspectKindUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getAspectUUID(term: omf.Aspect): AspectUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getAxiomUUID(ax: omf.Axiom): TerminologyBoxStatementUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getAxioms(tbox: omf.TerminologyBox): (omf.IRI, Iterable[omf.Axiom])

Definition Classes
ImmutableTerminologyGraphOps
abstract def getCardinalityRestrictedAspectUUID(term: omf.CardinalityRestrictedAspect): CardinalityRestrictedAspectUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getCardinalityRestrictedConceptUUID(term: omf.CardinalityRestrictedConcept): CardinalityRestrictedConceptUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getCardinalityRestrictedReifiedRelationshipUUID(term: omf.CardinalityRestrictedReifiedRelationship): CardinalityRestrictedReifiedRelationshipUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getChainRule(ax: omf.RuleBodySegment): \/[Throwables, omf.ChainRule]

Definition Classes
ImmutableTerminologyGraphOps
abstract def getChainRuleUUID(term: omf.ChainRule): ChainRuleUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getConceptInstanceUUID(i: omf.ConceptInstance): ConceptInstanceUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getConceptKindUUID(term: omf.ConceptKind): ConceptKindUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getConceptTreeDisjunctionUUID(ctd: omf.ConceptTreeDisjunction): ConceptTreeDisjunctionUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getConceptUUID(term: omf.Concept): ConceptUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getConceptualEntitySingletonInstanceUUID(i: omf.ConceptualEntitySingletonInstance): ConceptualEntitySingletonInstanceUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getConceptualEntityUUID(term: omf.ConceptualEntity): ConceptualEntityUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getConceptualRelationshipUUID(term: omf.ConceptualRelationship): ConceptualRelationshipUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getDataRangeUUID(term: omf.DataRange): DataRangeUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getDataRelationshipToScalarUUID(term: omf.DataRelationshipToScalar): DataRelationshipToScalarUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getDataRelationshipToStructureUUID(term: omf.DataRelationshipToStructure): DataRelationshipToStructureUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getDescriptionBoxExtendsClosedWorldDefinitionsUUID(i: omf.DescriptionBoxExtendsClosedWorldDefinitions): DescriptionBoxExtendsClosedWorldDefinitionsUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getDescriptionBoxRefinementUUID(i: omf.DescriptionBoxRefinement): DescriptionBoxRefinementUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getEntityRelationshipUUID(term: omf.EntityRelationship): EntityRelationshipUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getEntityScalarDataPropertyUUID(term: omf.EntityScalarDataProperty): EntityScalarDataPropertyUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getEntityStructuredDataPropertyUUID(term: omf.EntityStructuredDataProperty): EntityStructuredDataPropertyUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getEntityUUID(term: omf.Entity): EntityUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getExtensionAxioms(extendingChildG: omf.TerminologyBox)(implicit store: omf.Store): Iterable[omf.TerminologyExtensionAxiom]

Definition Classes
OMFStoreOps
abstract def getFragment(iri: omf.IRI): \/[Throwables, String]

Definition Classes
IRIOps
abstract def getImmutableDescriptionBoxIRI(graph: omf.ImmutableDescriptionBox): omf.IRI

Definition Classes
ImmutableDescriptionBoxOps
abstract def getInstanceRelationshipEnumerationRestrictionUUID(i: omf.InstanceRelationshipEnumerationRestriction): InstanceRelationshipEnumerationRestrictionUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getInstanceRelationshipExistentialRangeRestrictionUUID(i: omf.InstanceRelationshipExistentialRangeRestriction): InstanceRelationshipExistentialRangeRestrictionUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getInstanceRelationshipUniversalRangeRestrictionUUID(i: omf.InstanceRelationshipUniversalRangeRestriction): InstanceRelationshipUniversalRangeRestrictionUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getInstanceRelationshipValueRestrictionUUID(i: omf.InstanceRelationshipValueRestriction): InstanceRelationshipValueRestrictionUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getLogicalElementUUID(e: omf.LogicalElement): LogicalElementUUID

Definition Classes
OMFStoreOps
abstract def getModuleIRI(m: omf.Module): omf.IRI

Definition Classes
OMFStoreOps
abstract def getModuleName(m: omf.Module): LocalName

Definition Classes
OMFStoreOps
abstract def getModuleUUID(m: omf.Module): ModuleUUID

Definition Classes
OMFStoreOps
abstract def getMutableDescriptionBoxIRI(dbox: omf.MutableDescriptionBox): omf.IRI

Definition Classes
MutableDescriptionBoxOps
abstract def getReifiedRelationshipInstanceDomainUUID(i: omf.ReifiedRelationshipInstanceDomain): ReifiedRelationshipInstanceDomainUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getReifiedRelationshipInstanceRangeUUID(i: omf.ReifiedRelationshipInstanceRange): ReifiedRelationshipInstanceRangeUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getReifiedRelationshipInstanceUUID(i: omf.ReifiedRelationshipInstance): ReifiedRelationshipInstanceUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getReifiedRelationshipRestrictionUUID(term: omf.ReifiedRelationshipRestriction): ReifiedRelationshipRestrictionUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getReifiedRelationshipUUID(term: omf.ReifiedRelationship): ReifiedRelationshipUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getRestrictableRelationshipUUID(term: omf.RestrictableRelationship): RestrictableRelationshipUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getScalarDataPropertyUUID(term: omf.ScalarDataProperty): ScalarDataPropertyUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getScalarDataPropertyValueUUID(i: omf.ScalarDataPropertyValue): ScalarDataPropertyValueUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getScalarOneOfRestrictionUUID(term: omf.ScalarOneOfRestriction): ScalarOneOfRestrictionUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getScalarUUID(term: omf.Scalar): ScalarUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getSingletonInstanceScalarDataPropertyValueUUID(i: omf.SingletonInstanceScalarDataPropertyValue): SingletonInstanceScalarDataPropertyValueUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getSingletonInstanceStructuredDataPropertyContextUUID(i: omf.SingletonInstanceStructuredDataPropertyContext): SingletonInstanceStructuredDataPropertyContextUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getSingletonInstanceStructuredDataPropertyValueUUID(i: omf.SingletonInstanceStructuredDataPropertyValue): SingletonInstanceStructuredDataPropertyValueUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getStructureUUID(term: omf.Structure): StructureUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getStructuredDataPropertyTupleUUID(i: omf.StructuredDataPropertyTuple): StructuredDataPropertyTupleUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getStructuredDataPropertyUUID(term: omf.StructuredDataProperty): StructuredDataPropertyUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getTermIRI(term: omf.Term): omf.IRI

Definition Classes
ImmutableTerminologyGraphOps
abstract def getTermName(term: omf.Term): LocalName

Definition Classes
ImmutableTerminologyGraphOps
abstract def getTermUUID(term: omf.Term): TermUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def getTerminologyAxiomUUID(ax: omf.TerminologyAxiom)(implicit store: omf.Store): TerminologyAxiomUUID

Definition Classes
OMFStoreOps
abstract def getTerminologyKind(tbox: omf.TerminologyBox): TerminologyKind

Definition Classes
ImmutableTerminologyGraphOps
abstract def getTerms(tbox: omf.TerminologyBox): (omf.IRI, Iterable[omf.Term])

Definition Classes
ImmutableTerminologyGraphOps
abstract def getUnreifiedRelationshipInstanceTupleUUID(i: omf.UnreifiedRelationshipInstanceTuple): UnreifiedRelationshipInstanceTupleUUID

Definition Classes
ImmutableDescriptionBoxOps
abstract def getUnreifiedRelationshipUUID(term: omf.UnreifiedRelationship): UnreifiedRelationshipUUID

Definition Classes
ImmutableTerminologyGraphOps
abstract def immutableBundleSignature(ib: omf.ImmutableBundle): ImmutableTerminologyBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def immutableDescriptionBoxSignature(id: omf.ImmutableDescriptionBox): ImmutableDescriptionBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def immutableTerminologyGraphSignature(ig: omf.ImmutableTerminologyGraph): ImmutableTerminologyBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def initializeOntologyMapping(drc: DataRangeCategories[omf])(implicit store: omf.Store): \/[Throwables, omf.OntologyMapping]

Definition Classes
OMFStoreOps
abstract def isBackboneIRI(iri: omf.IRI): Boolean

iri
of the form: <scheme><userInfo><host><port><path><query><fragment>
returns
true if <host> == imce.jpl.nasa.gov and <path> starts with /backbone

Definition Classes
IRIOps
abstract def isMutable(m: omf.Module)(implicit store: omf.Store): Boolean

Definition Classes
OMFStoreOps
implicit abstract val itbTag: ClassTag[omf.ImmutableTerminologyBox]

Definition Classes
OMFStoreOps
implicit abstract val itgTag: ClassTag[omf.ImmutableTerminologyGraph]

Definition Classes
OMFStoreOps
abstract def lastSegment(iri: omf.IRI): \/[Throwables, LocalName]

Extract the last segment of a fragment-less IRI
Extract the last segment of a fragment-less IRI
iri
An IRI without a fragment
returns
The last segment of the IRI (i.e., the name after the last '/')

Definition Classes
IRIOps
abstract def loadBuiltinDatatypeMap()(implicit store: omf.Store): \/[Throwables, DataRangeCategories[omf]]

If supported, load the built-in datatype maps corresponding to OWL, RDFS, XML Schema 1.1 as a terminology graph
If supported, load the built-in datatype maps corresponding to OWL, RDFS, XML Schema 1.1 as a terminology graph
store
OMF storage provider
returns
The DataRangeCategories corresponding to the OWL2-DL datatype map.

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

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

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupAspectKind(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.AspectKind]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupConcept(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.Concept]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupConceptKind(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.ConceptKind]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupConceptualRelationship(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.ConceptualRelationship]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupDataRange(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.DataRange]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupDescriptionBox(iri: omf.IRI)(implicit store: omf.Store): \/[Throwables, omf.DescriptionBox]

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

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupEntityScalarDataProperty(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.EntityScalarDataProperty]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupEntityStructuredDataProperty(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.EntityStructuredDataProperty]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupModule(iri: omf.IRI)(implicit store: omf.Store): \/[Throwables, omf.Module]

Definition Classes
OMFStoreOps
abstract def lookupNestingAxiomForNestedChildIfAny(nestedG: omf.TerminologyBox)(implicit store: omf.Store): Option[omf.TerminologyNestingAxiom]

Find the axiom TerminologyGraphDirectNestingAxiom(nestedChild==nestedG), if any.
Find the axiom TerminologyGraphDirectNestingAxiom(nestedChild==nestedG), if any.

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupNestingAxiomsForNestingContext(nestingC: omf.ConceptKind)(implicit store: omf.Store): Set[omf.TerminologyNestingAxiom]

Find the axioms TerminologyGraphDirectNestingAxiom(nestingContext=nestingC).
Find the axioms TerminologyGraphDirectNestingAxiom(nestingContext=nestingC).

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupReifiedRelationship(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.ReifiedRelationship]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupReifiedRelationshipRestriction(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.ReifiedRelationshipRestriction]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupScalarDataProperty(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.ScalarDataProperty]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupStructure(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.Structure]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupStructuredDataProperty(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.StructuredDataProperty]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupTerm(tbox: omf.TerminologyBox, iri: omf.IRI, recursively: Boolean)(implicit store: omf.Store): Option[omf.Term]

Definition Classes
ImmutableTerminologyGraphOps
abstract def lookupTerminologyBox(iri: omf.IRI)(implicit store: omf.Store): \/[Throwables, omf.TerminologyBox]

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

Definition Classes
ImmutableTerminologyGraphOps
abstract def makeBundle(name: LocalName, iri: omf.IRI, kind: TerminologyKind)(implicit store: omf.Store): \/[Throwables, omf.MutableBundle]

Attributes
protected
Definition Classes
OMFStoreOps
abstract def makeChainRule(graph: omf.MutableTerminologyBox, rule: omf.ChainRule)(implicit store: omf.Store): \/[Throwables, Unit]

Definition Classes
MutableTerminologyGraphOps
abstract def makeDescriptionBox(name: LocalName, iri: omf.IRI, k: DescriptionKind)(implicit store: omf.Store): \/[Throwables, omf.MutableDescriptionBox]

Attributes
protected
Definition Classes
OMFStoreOps
abstract def makeIRI(s: String): \/[Throwables, omf.IRI]

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

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def makeStructuredDataPropertyTuple(uuid: StructuredDataPropertyTupleUUID, dbox: omf.MutableDescriptionBox, structuredDataPropertyContext: omf.SingletonInstanceStructuredDataPropertyContext, structuredDataProperty: omf.StructuredDataProperty)(implicit store: omf.Store): \/[Throwables, omf.StructuredDataPropertyTuple]

Attributes
protected
Definition Classes
MutableDescriptionBoxOps
abstract def makeTerminologyGraph(name: LocalName, iri: omf.IRI, kind: TerminologyKind)(implicit store: omf.Store): \/[Throwables, omf.MutableTerminologyGraph]

Create a mutable terminology graph partially identified by an IRI and a kind.
Create a mutable terminology graph partially identified by an IRI and a kind.
The complete identity of a graph includes the IRI, kind and imported/extended graphs. For a mutable terminology graph, imported/extended graphs must be specified via addTerminologyGraphExtension
name
the name of the new graph
iri
the identity of the new mutable terminology graph
kind
the kind of the new mutable terminology graph
store
manager
returns
A new mutable terminology graph, if successful

Attributes
protected
Definition Classes
OMFStoreOps
abstract def mutableBundleSignature(mb: omf.MutableBundle): MutableTerminologyBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def mutableDescriptionBoxSignature(md: omf.MutableDescriptionBox): MutableDescriptionBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def mutableTerminologyGraphSignature(mg: omf.MutableTerminologyGraph): MutableTerminologyBoxSignature[omf]

Definition Classes
OMFStoreOps
abstract def removeDescriptionAnnotations(dbox: omf.MutableDescriptionBox, subject: omf.LogicalElement, property: AnnotationProperty)(implicit store: omf.Store): \/[Throwables, Set[AnnotationPropertyValue]]

Definition Classes
MutableDescriptionBoxOps
abstract def removeTerminologyAnnotations(graph: omf.MutableTerminologyBox, subject: omf.LogicalElement, property: AnnotationProperty)(implicit store: omf.Store): \/[Throwables, Set[AnnotationPropertyValue]]

Definition Classes
MutableTerminologyGraphOps
abstract def resolveIRIAsLocalFile(iri: omf.IRI)(implicit store: omf.Store): \/[Throwables, File]

Definition Classes
OMFStoreOps
abstract def restrictedDataRangeOf(dr: omf.DataRange)(implicit store: omf.Store): Option[omf.DataRange]

Definition Classes
ImmutableTerminologyGraphOps
abstract def saveDescriptionBox(g: omf.DescriptionBox, os: OutputStream)(implicit store: omf.Store): \/[Throwables, Unit]

Definition Classes
OMFStoreOps
abstract def saveDescriptionBox(g: omf.DescriptionBox)(implicit store: omf.Store): \/[Throwables, Unit]

Definition Classes
OMFStoreOps
abstract def saveTerminology(g: omf.TerminologyBox, os: OutputStream)(implicit store: omf.Store): \/[Throwables, Unit]

Definition Classes
OMFStoreOps
abstract def saveTerminology(g: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, Unit]

Definition Classes
OMFStoreOps
abstract def splitIRI(iri: omf.IRI): (omf.IRI, Option[LocalName])

Split the IRI in two components: the IRI without the fragment, the IRI fragment
Split the IRI in two components: the IRI without the fragment, the IRI fragment

Definition Classes
IRIOps
abstract def terminologyBoxImportClosure(m: omf.Module)(implicit store: omf.Store): Set[omf.TerminologyBox]

Definition Classes
OMFStoreOps
abstract def toAbbreviatedName(iri: omf.IRI, lowercaseFragmentInitial: Boolean): Option[AbbrevIRI]

If the IRI has a fragment, returns "n:f" where "n" is the last segment of the IRI and "f" is the fragment of the IRI
If the IRI has a fragment, returns "n:f" where "n" is the last segment of the IRI and "f" is the fragment of the IRI

Definition Classes
IRIOps
abstract def toBackboneIRI(iri: omf.IRI): omf.IRI

iri
of the form: <scheme><userInfo><host><port><path><query><fragment>
returns
a new IRI of the form: <scheme><userInfo><host'><port><path'><query><fragment> where: <host'> = imce.jpl.nasa.gov <path'> = /backbone/<host><path>

Definition Classes
IRIOps
abstract def toBundle(m: omf.Module)(implicit store: omf.Store): Option[omf.Bundle]

Definition Classes
OMFStoreOps
abstract def toDescriptionBox(m: omf.Module)(implicit store: omf.Store): Option[omf.DescriptionBox]

Definition Classes
OMFStoreOps
abstract def toImmutableBundle(m: omf.Module)(implicit store: omf.Store): Option[omf.ImmutableBundle]

Definition Classes
OMFStoreOps
abstract def toImmutableDescriptionBox(m: omf.Module)(implicit store: omf.Store): Option[omf.ImmutableDescriptionBox]

Definition Classes
OMFStoreOps
abstract def toImmutableTerminologyBox(m: omf.Module)(implicit store: omf.Store): Option[omf.ImmutableTerminologyBox]

Definition Classes
OMFStoreOps
abstract def toImmutableTerminologyGraph(m: omf.Module)(implicit store: omf.Store): Option[omf.ImmutableTerminologyGraph]

Definition Classes
OMFStoreOps
abstract def toMutableModule(m: omf.Module)(implicit store: omf.Store): Option[omf.MutableModule]

Definition Classes
OMFStoreOps
abstract def toSourceIRI(iri: omf.IRI): omf.IRI

Produces the canonical "has...Source" IRI from the IRI of an entity relationship or data relationship to a structure
Produces the canonical "has...Source" IRI from the IRI of an entity relationship or data relationship to a structure
iri
of a reified object property class the form: <scheme><userInfo><host><port><path><query><fragment>
returns
a new IRI of the form: <scheme><userInfo><host><port><path><query><fragment'> where: <fragment'> = has<fragment>Source

Definition Classes
IRIOps
abstract def toTargetIRI(iri: omf.IRI): omf.IRI

Produces the canonical "has...Target" IRI for the IRI of an entity relationship or data relationship to a structure
Produces the canonical "has...Target" IRI for the IRI of an entity relationship or data relationship to a structure
iri
of a reified object property class the form: <scheme><userInfo><host><port><path><query><fragment>
returns
a new IRI of the form: <scheme><userInfo><host><port><path><query><fragment'> where: <fragment'> = has<fragment>Target

Definition Classes
IRIOps
abstract def toTerminologyBox(m: omf.Module)(implicit store: omf.Store): Option[omf.TerminologyBox]

Definition Classes
OMFStoreOps
abstract def toTerminologyGraph(m: omf.Module)(implicit store: omf.Store): Option[omf.TerminologyGraph]

Definition Classes
OMFStoreOps
abstract def withFragment(iri: omf.IRI, fragment: LocalName): \/[Throwables, omf.IRI]

Definition Classes
IRIOps

Concrete 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
final def addAnonymousConceptTaxonomyAxiom(terminologyBundle: omf.MutableBundle, disjointTerminologyParent: omf.ConceptTreeDisjunction, name: String)(implicit store: omf.Store): \/[Throwables, omf.AnonymousConceptTaxonomyAxiom]

Add to a terminology graph a new OMF AnonymousConceptTaxonomyAxiom
Add to a terminology graph a new OMF AnonymousConceptTaxonomyAxiom

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.AnonymousConceptTaxonomyAxiom
final def addAspect(graph: omf.MutableTerminologyBox, aspectName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Aspect]

Add to a terminology graph a new OMF Aspect with a version 5 UUID based on the graph IRI and aspectName.
Add to a terminology graph a new OMF Aspect with a version 5 UUID based on the graph IRI and aspectName.
graph
: a terminology graph
aspectName
: the name of a new entity aspect

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Aspect
final def addAspectSpecializationAxiom(graph: omf.MutableTerminologyBox, sub: omf.Entity, sup: omf.AspectKind)(implicit store: omf.Store): \/[Throwables, omf.AspectSpecializationAxiom]

Add to a terminology graph a new OMF AspectSpecializationAxiom with a version 5 UUID based on the graph, sub and sup IRIs.
Add to a terminology graph a new OMF AspectSpecializationAxiom with a version 5 UUID based on the graph, sub and sup IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.AspectSpecializationAxiom
final def addBinaryScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: omf.DataRange, length: Option[PositiveIntegerLiteral] = None, minLength: Option[PositiveIntegerLiteral] = None, maxLength: Option[PositiveIntegerLiteral] = None)(implicit store: omf.Store): \/[Throwables, omf.BinaryScalarRestriction]

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

Add to a terminology graph a new OMF BundledTerminologyAxiom with a version 5 UUID based on the bundlingG and bundledG IRIs.
Add to a terminology graph a new OMF BundledTerminologyAxiom with a version 5 UUID based on the bundlingG and bundledG IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.BundledTerminologyAxiom
final def addCardinalityRestrictedAspect(graph: omf.MutableTerminologyBox, aspectName: LocalName, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: omf.RestrictableRelationship, restrictedRange: Option[omf.Entity], restrictedCardinality: PositiveIntegerLiteral)(implicit store: omf.Store): \/[Throwables, omf.CardinalityRestrictedAspect]

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

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

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

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

Add to a terminology graph a new OMF Concept with a version 5 UUID based on the graph IRI and conceptName.
Add to a terminology graph a new OMF Concept with a version 5 UUID based on the graph IRI and conceptName.
graph
: a terminology graph
conceptName
: the name of a new entity concept

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Concept
def addConceptInstance(dbox: omf.MutableDescriptionBox, conceptType: omf.ConceptKind, fragment: LocalName)(implicit store: omf.Store): \/[Throwables, omf.ConceptInstance]

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

Add to a terminology graph a new OMF ConceptSpecializationAxiom with a version 5 UUID based on the graph, sub, sup IRIs.
Add to a terminology graph a new OMF ConceptSpecializationAxiom with a version 5 UUID based on the graph, sub, sup IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ConceptSpecializationAxiom
def addDescriptionBoxExtendsClosedWorldDefinitions(dbox: omf.MutableDescriptionBox, closedWorldDefinitions: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, omf.DescriptionBoxExtendsClosedWorldDefinitions]

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

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

Add to a terminology graph a new OMF ConceptDesignationTerminologyAxiom with a version 5 UUID based on graph, entityConceptDesignation and designationTerminologyGraph IRIs.
Add to a terminology graph a new OMF ConceptDesignationTerminologyAxiom with a version 5 UUID based on graph, entityConceptDesignation and designationTerminologyGraph IRIs.
graph
The mutable terminology graph in which to assert the axiom
entityConceptDesignation
The model entity concept whose complete designation is specified
designationTerminologyGraph
The terminology graph specifying the complete designation for the structural contents of the model entity concept
store
OMF storage provider
returns
The EntityConceptToplevelDesignationTerminologyGraphAxiom created

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ConceptDesignationTerminologyAxiom
final def addEntityExistentialRestrictionAxiom(graph: omf.MutableTerminologyBox, sub: omf.Entity, restrictedRelationship: omf.RestrictableRelationship, range: omf.Entity)(implicit store: omf.Store): \/[Throwables, omf.EntityExistentialRestrictionAxiom]

Add to a terminology graph a new OMF EntityExistentialRestrictionAxiom with a version 5 UUID based on the graph, sub, rel and range IRIs.
Add to a terminology graph a new OMF EntityExistentialRestrictionAxiom with a version 5 UUID based on the graph, sub, rel and range IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityExistentialRestrictionAxiom
final def addEntityScalarDataProperty(graph: omf.MutableTerminologyBox, source: omf.Entity, target: omf.DataRange, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: omf.Store): \/[Throwables, omf.EntityScalarDataProperty]

Add to a terminology graph a new OMF EntityScalarDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.
Add to a terminology graph a new OMF EntityScalarDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityScalarDataProperty
final def addEntityScalarDataPropertyExistentialRestrictionAxiom(graph: omf.MutableTerminologyBox, restrictedEntity: omf.Entity, scalarProperty: omf.EntityScalarDataProperty, range: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.EntityScalarDataPropertyExistentialRestrictionAxiom]

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

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

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

Add to a terminology graph a new OMF EntityStructuredDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.
Add to a terminology graph a new OMF EntityStructuredDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityStructuredDataProperty
final def addEntityStructuredDataPropertyParticularRestrictionAxiom(graph: omf.MutableTerminologyBox, restrictedEntity: omf.Entity, structuredProperty: omf.EntityStructuredDataProperty)(implicit store: omf.Store): \/[Throwables, omf.EntityStructuredDataPropertyParticularRestrictionAxiom]

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

Add to a terminology graph a new OMF EntityUniversalRestrictionAxiom with a version 5 UUID based on the graph, sub, 'rel and 'range IRIs.
Add to a terminology graph a new OMF EntityUniversalRestrictionAxiom with a version 5 UUID based on the graph, sub, 'rel and 'range IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.EntityUniversalRestrictionAxiom
final def addIRIScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: omf.DataRange, length: Option[PositiveIntegerLiteral] = None, minLength: Option[PositiveIntegerLiteral] = None, maxLength: Option[PositiveIntegerLiteral] = None, pattern: Option[LiteralPattern] = None)(implicit store: omf.Store): \/[Throwables, omf.IRIScalarRestriction]

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

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

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

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

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

Add to a terminology graph a new OMF TerminologyNestingAxiom with a version 5 UUID based on the nestingContext and nestedGraph IRIs.
Add to a terminology graph a new OMF TerminologyNestingAxiom with a version 5 UUID based on the nestingContext and nestedGraph IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.TerminologyNestingAxiom
final def addNumericScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: omf.DataRange, minInclusive: Option[LiteralNumber] = None, maxInclusive: Option[LiteralNumber] = None, minExclusive: Option[LiteralNumber] = None, maxExclusive: Option[LiteralNumber] = None)(implicit store: omf.Store): \/[Throwables, omf.NumericScalarRestriction]

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

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

Add to a terminology graph a new OMF ReifiedRelationship with a version 5 UUID based on the graph IRI and reifiedRelationshipName.
Add to a terminology graph a new OMF ReifiedRelationship with a version 5 UUID based on the graph IRI and reifiedRelationshipName.
graph
a terminology graph
source
an existing entity definition that will be the source of the new entity relationship
target
an existing entity definition that will be the target of the new entity relationship
characteristics
the characteristics of the new entity relationship
reifiedRelationshipName
the name of the new entity relationship from the perspective of a reified concept-like entity
unreifiedRelationshipName
the name of the entity relationship from the perspective of a directed property from the source to the target
unreifiedInverseRelationshipName
if applicable, the name of the entity relationship from the perspective of a directed inverse property from the target to the source

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ReifiedRelationship
def addReifiedRelationshipInstance(dbox: omf.MutableDescriptionBox, relationshipType: omf.ConceptualRelationship, fragment: LocalName)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipInstance]

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

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

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

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

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

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

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

Add to a terminology graph a new OMF RootConceptTaxonomyAxiom
Add to a terminology graph a new OMF RootConceptTaxonomyAxiom

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.RootConceptTaxonomyAxiom
final def addRuleBodySegment(graph: omf.MutableTerminologyBox, chainRule: Option[omf.ChainRule], previousSegment: Option[omf.RuleBodySegment])(implicit store: omf.Store): \/[Throwables, omf.RuleBodySegment]

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

Add to a terminology graph an OMF ScalarDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.
Add to a terminology graph an OMF ScalarDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.ScalarDataProperty
final def addScalarDataType(graph: omf.MutableTerminologyBox, scalarDataTypeName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Scalar]

Add to a terminology graph a new OMF Scalar datatype with a version 5 UUID based on the graph IRI and scalarDataTypeName.
Add to a terminology graph a new OMF Scalar datatype with a version 5 UUID based on the graph IRI and scalarDataTypeName.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Scalar
final def addScalarOneOfLiteralAxiom(graph: omf.MutableTerminologyBox, scalarOneOfRestriction: omf.ScalarOneOfRestriction, value: LiteralValue, valueType: Option[omf.DataRange])(implicit store: omf.Store): \/[Throwables, omf.ScalarOneOfLiteralAxiom]

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

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

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

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

Definition Classes
MutableDescriptionBoxOps
final def addSpecificDisjointConceptAxiom(terminologyBundle: omf.MutableBundle, disjointTerminologyParent: omf.ConceptTreeDisjunction, disjointLeaf: omf.ConceptKind)(implicit store: omf.Store): \/[Throwables, omf.SpecificDisjointConceptAxiom]

Add to a terminology graph a new OMF SpecificDisjointConceptAxiom
Add to a terminology graph a new OMF SpecificDisjointConceptAxiom

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.SpecificDisjointConceptAxiom
final def addStringScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: omf.DataRange, length: Option[PositiveIntegerLiteral] = None, minLength: Option[PositiveIntegerLiteral] = None, maxLength: Option[PositiveIntegerLiteral] = None, pattern: Option[LiteralPattern] = None)(implicit store: omf.Store): \/[Throwables, omf.StringScalarRestriction]

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

Add to a terminology graph a new OMF StructuredDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.
Add to a terminology graph a new OMF StructuredDataProperty with a version 5 UUID based on the graph and source IRIs and dataPropertyName.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.StructuredDataProperty
final def addStructuredDataType(graph: omf.MutableTerminologyBox, structureDatatypeName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Structure]

Add to a terminology graph a new OMF Structure datatype with a version 5 UUID based on the graph IRI and structureDatatypeName.
Add to a terminology graph a new OMF Structure datatype with a version 5 UUID based on the graph IRI and structureDatatypeName.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.Structure
final def addSubDataPropertyOfAxiom(graph: omf.MutableTerminologyBox, sub: omf.EntityScalarDataProperty, sup: omf.EntityScalarDataProperty)(implicit store: omf.Store): \/[Throwables, omf.SubDataPropertyOfAxiom]

Add to a terminology graph a new OMF SubDataPropertyOfAxiom with a version 5 UUID based on the graph, sub, sup IRIs.
Add to a terminology graph a new OMF SubDataPropertyOfAxiom with a version 5 UUID based on the graph, sub, sup IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.SubDataPropertyOfAxiom
final def addSubObjectPropertyOfAxiom(graph: omf.MutableTerminologyBox, sub: omf.UnreifiedRelationship, sup: omf.UnreifiedRelationship)(implicit store: omf.Store): \/[Throwables, omf.SubObjectPropertyOfAxiom]

Add to a terminology graph a new OMF SubObjectPropertyOfAxiom with a version 5 UUID based on the graph, sub, sup IRIs.
Add to a terminology graph a new OMF SubObjectPropertyOfAxiom with a version 5 UUID based on the graph, sub, sup IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.SubObjectPropertyOfAxiom
final def addSynonymScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.SynonymScalarRestriction]

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

Add to a terminology graph a new OMF TerminologyExtensionAxiom with a version 5 UUID based on the extendingG and extendedG IRIs.
Add to a terminology graph a new OMF TerminologyExtensionAxiom with a version 5 UUID based on the extendingG and extendedG IRIs.

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.TerminologyExtensionAxiom
final def addTimeScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeName: LocalName, restrictedRange: omf.DataRange, minInclusive: Option[LiteralDateTime] = None, maxInclusive: Option[LiteralDateTime] = None, minExclusive: Option[LiteralDateTime] = None, maxExclusive: Option[LiteralDateTime] = None)(implicit store: omf.Store): \/[Throwables, omf.TimeScalarRestriction]

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

Add to a terminology graph a new OMF UnreifiedRelationship with a version 5 UUID based on the graph IRI and unreifiedRelationshipName.
Add to a terminology graph a new OMF UnreifiedRelationship with a version 5 UUID based on the graph IRI and unreifiedRelationshipName.
graph
a terminology graph
source
an existing entity definition that will be the source of the new entity relationship
target
an existing entity definition that will be the target of the new entity relationship
characteristics
the characteristics of the new entity relationship
unreifiedRelationshipName
the name of the unreified relationship from the perspective of a directed property from the source to the target

Definition Classes
MutableTerminologyGraphOps
See also
https://jpl-imce.github.io/jpl.omf.schema.tables/latest/api/index.html#gov.nasa.jpl.imce.omf.schema.tables.UnreifiedRelationship
def addUnreifiedRelationshipInstanceTuple(dbox: omf.MutableDescriptionBox, unreifiedRelationship: omf.UnreifiedRelationship, source: omf.ConceptualEntitySingletonInstance, target: omf.ConceptualEntitySingletonInstance)(implicit store: omf.Store): \/[Throwables, omf.UnreifiedRelationshipInstanceTuple]

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

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

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

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

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

Definition Classes
OMFStoreOps
final def asInstanceOf[T0]: T0

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

Definition Classes
MutableTerminologyGraphOps
def bundledTerminologyAxiomUUID(terminologyBundle: omf.MutableBundle, bundledTerminology: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, BundledTerminologyAxiomUUID]

Definition Classes
MutableTerminologyGraphOps
def clone(): AnyRef

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

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

Definition Classes
MutableTerminologyGraphOps
def descriptionBoxExtendsClosedWorldDefinitionsUUID(dbox: omf.MutableDescriptionBox, closedWorldDefinitions: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, DescriptionBoxExtendsClosedWorldDefinitionsUUID]

Definition Classes
MutableDescriptionBoxOps
def descriptionBoxRefinementUUID(refiningDescriptionBox: omf.MutableDescriptionBox, refinedDescriptionBox: omf.DescriptionBox)(implicit store: omf.Store): \/[Throwables, DescriptionBoxRefinementUUID]

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

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

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

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

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

Definition Classes
MutableTerminologyGraphOps
def entityUniversalRestrictionAxiomUUID(graph: omf.MutableTerminologyBox, sub: omf.Entity, restrictedRelationship: omf.RestrictableRelationship, range: omf.Entity)(implicit store: omf.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[omf.Concept], c2: Iterable[omf.Concept]): Boolean

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

Compares the relationships in terms of their sources, target & characteristics Does not compare the graphs corresponding to each relationship, if any .
Compares the relationships in terms of their sources, target & characteristics Does not compare the graphs corresponding to each relationship, if any .

Definition Classes
ImmutableTerminologyGraphOps
Since
0.10.3
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def foldBundle(t: omf.Module): Option[omf.Bundle]

Definition Classes
OMFStoreOps
final def foldDescriptionBox(t: omf.Module): Option[omf.DescriptionBox]

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

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

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

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

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

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

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

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

Definition Classes
OMFStoreOps
final def foldTerminologyBox(t: omf.Module): Option[omf.TerminologyBox]

Definition Classes
OMFStoreOps
final def foldTerminologyGraph(t: omf.Module): Option[omf.TerminologyGraph]

Definition Classes
OMFStoreOps
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def getDataRange(tbox: omf.TerminologyBox, name: LocalName, recursively: Boolean = true)(implicit store: omf.Store, ops: OMFOps[omf]): \/[Throwables, omf.DataRange]

Definition Classes
ImmutableTerminologyGraphOps
def hashCode(): Int

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

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

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

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

Definition Classes
MutableDescriptionBoxOps
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def loadDescription(m2i: omf.OntologyMapping, iri: omf.IRI)(implicit store: omf.Store): \/[Throwables, (omf.ImmutableDescriptionBox, omf.OntologyMapping)]

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

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

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

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

Definition Classes
OMFStoreOps
def makeBundle(iri: omf.IRI, kind: TerminologyKind)(implicit store: omf.Store): \/[Throwables, omf.MutableBundle]

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

Definition Classes
OMFStoreOps
def makeScalarDataPropertyValue(dbox: omf.MutableDescriptionBox, structuredDataPropertyContext: omf.SingletonInstanceStructuredDataPropertyContext, scalarDataProperty: omf.ScalarDataProperty, value: LiteralValue, valueType: Option[omf.DataRange])(implicit store: omf.Store): \/[Throwables, omf.ScalarDataPropertyValue]

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

Definition Classes
MutableDescriptionBoxOps
def makeTerminologyGraph(iri: omf.IRI, kind: TerminologyKind)(implicit store: omf.Store): \/[Throwables, omf.MutableTerminologyGraph]

Create a mutable terminology graph using its iri for the graph name (last segment) and UUID (version 5).
Create a mutable terminology graph using its iri for the graph name (last segment) and UUID (version 5).
The complete identity of a graph includes the IRI, kind and imported/extended graphs. For a mutable terminology graph, imported/extended graphs must be specified via addTerminologyGraphExtension
iri
the identity of the new mutable terminology graph from which to extract the graph name (last segment) and to generate a version 5 UUID
kind
the kind of the new mutable terminology graph
store
manager
returns
A new mutable terminology graph, if successful

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def reifiedRelationshipInstanceDomainUUID(dbox: omf.MutableDescriptionBox, relationshipInstance: omf.ReifiedRelationshipInstance, source: omf.ConceptualEntitySingletonInstance)(implicit store: omf.Store): \/[Throwables, ReifiedRelationshipInstanceDomainUUID]

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

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

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

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

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

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

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

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

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

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

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

Definition Classes
MutableTerminologyGraphOps
def structuredDataPropertyTupleUUID(structuredDataPropertyContext: omf.SingletonInstanceStructuredDataPropertyContext, structuredDataProperty: omf.StructuredDataProperty)(implicit store: omf.Store): \/[Throwables, StructuredDataPropertyTupleUUID]

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

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

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

Definition Classes
AnyRef
def terminologyExtensionUUID(extendingG: omf.MutableTerminologyBox, extendedG: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, TerminologyExtensionAxiomUUID]

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

Definition Classes
MutableTerminologyGraphOps
def toString(): String

Definition Classes
AnyRef → Any
def unreifiedRelationshipInstanceTupleUUID(dbox: omf.MutableDescriptionBox, unreifiedRelationship: omf.UnreifiedRelationship, domain: omf.ConceptualEntitySingletonInstance, range: omf.ConceptualEntitySingletonInstance)(implicit store: omf.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( ... )

Related Docs: object OMFOps | package core

trait OMFOps[omf <: OMF[omf]] extends IRIOps[omf] with MutableTerminologyGraphOps[omf] with MutableDescriptionBoxOps[omf] with OMFStoreOps[omf]

Abstract Value Members

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

abstract def addAspect(graph: omf.MutableTerminologyBox, uuid: AspectUUID, iri: omf.IRI, aspectName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Aspect]

abstract def addAspectSpecializationAxiom(graph: omf.MutableTerminologyBox, uuid: AspectSpecializationAxiomUUID, sub: omf.Entity, sup: omf.AspectKind)(implicit store: omf.Store): \/[Throwables, omf.AspectSpecializationAxiom]

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

abstract def addChainRule(graph: omf.MutableTerminologyBox, uuid: ChainRuleUUID, iri: omf.IRI, head: omf.RestrictableRelationship)(implicit store: omf.Store): \/[Throwables, omf.ChainRule]

abstract def addConcept(graph: omf.MutableTerminologyBox, uuid: ConceptUUID, iri: omf.IRI, conceptName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Concept]

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

abstract def addConceptSpecializationAxiom(graph: omf.MutableTerminologyBox, uuid: ConceptSpecializationAxiomUUID, sub: omf.ConceptKind, sup: omf.ConceptKind)(implicit store: omf.Store): \/[Throwables, omf.ConceptSpecializationAxiom]

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

abstract def addDescriptionAnnotationProperty(dbox: omf.MutableDescriptionBox, ap: AnnotationProperty)(implicit store: omf.Store): \/[Throwables, AnnotationProperty]

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

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

abstract def addEntityConceptDesignationTerminologyAxiom(graph: omf.MutableTerminologyBox, uuid: ConceptDesignationTerminologyAxiomUUID, designatedConcept: omf.ConceptKind, designatedTerminology: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, omf.ConceptDesignationTerminologyAxiom]

abstract def addEntityScalarDataProperty(graph: omf.MutableTerminologyBox, uuid: EntityScalarDataPropertyUUID, iri: omf.IRI, source: omf.Entity, target: omf.DataRange, dataPropertyName: LocalName, isIdentityCriteria: Boolean)(implicit store: omf.Store): \/[Throwables, omf.EntityScalarDataProperty]

abstract def addEntityUniversalRestrictionAxiom(graph: omf.MutableTerminologyBox, uuid: EntityUniversalRestrictionAxiomUUID, sub: omf.Entity, restrictedRelationship: omf.RestrictableRelationship, range: omf.Entity)(implicit store: omf.Store): \/[Throwables, omf.EntityUniversalRestrictionAxiom]

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

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

abstract def addReifiedRelationshipRestriction(graph: omf.MutableTerminologyBox, uuid: ReifiedRelationshipRestrictionUUID, iri: omf.IRI, name: LocalName, source: omf.Entity, target: omf.Entity)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipRestriction]

abstract def addReifiedRelationshipSpecializationAxiom(graph: omf.MutableTerminologyBox, uuid: ReifiedRelationshipSpecializationAxiomUUID, sub: omf.ConceptualRelationship, sup: omf.ConceptualRelationship)(implicit store: omf.Store): \/[Throwables, omf.ReifiedRelationshipSpecializationAxiom]

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

abstract def addRuleBodySegment(graph: omf.MutableTerminologyBox, uuid: RuleBodySegmentUUID, chainRule: Option[omf.ChainRule], previousSegment: Option[omf.RuleBodySegment])(implicit store: omf.Store): \/[Throwables, omf.RuleBodySegment]

abstract def addScalarDataProperty(graph: omf.MutableTerminologyBox, uuid: ScalarDataPropertyUUID, iri: omf.IRI, source: omf.Structure, target: omf.DataRange, dataPropertyName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.ScalarDataProperty]

abstract def addScalarDataType(graph: omf.MutableTerminologyBox, uuid: ScalarUUID, iri: omf.IRI, scalarDataTypeName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Scalar]

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

abstract def addScalarOneOfRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: ScalarOneOfRestrictionUUID, dataTypeIRI: omf.IRI, dataTypeName: LocalName, restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.ScalarOneOfRestriction]

abstract def addSpecificDisjointConceptAxiom(uuid: SpecificDisjointConceptAxiomUUID, terminologyBundle: omf.MutableBundle, disjointTerminologyParent: omf.ConceptTreeDisjunction, disjointLeaf: omf.ConceptKind)(implicit store: omf.Store): \/[Throwables, omf.SpecificDisjointConceptAxiom]

abstract def addStructuredDataProperty(graph: omf.MutableTerminologyBox, uuid: StructuredDataPropertyUUID, iri: omf.IRI, source: omf.Structure, target: omf.Structure, dataPropertyName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.StructuredDataProperty]

abstract def addStructuredDataType(graph: omf.MutableTerminologyBox, uuid: StructureUUID, iri: omf.IRI, structureDatatypeName: LocalName)(implicit store: omf.Store): \/[Throwables, omf.Structure]

abstract def addSubDataPropertyOfAxiom(graph: omf.MutableTerminologyBox, uuid: SubDataPropertyOfAxiomUUID, sub: omf.EntityScalarDataProperty, sup: omf.EntityScalarDataProperty)(implicit store: omf.Store): \/[Throwables, omf.SubDataPropertyOfAxiom]

abstract def addSubObjectPropertyOfAxiom(graph: omf.MutableTerminologyBox, uuid: SubObjectPropertyOfAxiomUUID, sub: omf.UnreifiedRelationship, sup: omf.UnreifiedRelationship)(implicit store: omf.Store): \/[Throwables, omf.SubObjectPropertyOfAxiom]

abstract def addSynonymScalarRestriction(graph: omf.MutableTerminologyBox, dataTypeUUID: SynonymScalarRestrictionUUID, iri: omf.IRI, dataTypeName: LocalName, restrictedRange: omf.DataRange)(implicit store: omf.Store): \/[Throwables, omf.SynonymScalarRestriction]

abstract def addTerminologyAnnotation(graph: omf.MutableTerminologyBox, subject: omf.LogicalElement, property: AnnotationProperty, value: StringDataType)(implicit store: omf.Store): \/[Throwables, AnnotationPropertyValue]

abstract def addTerminologyAnnotationProperty(graph: omf.MutableTerminologyBox, ap: AnnotationProperty)(implicit store: omf.Store): \/[Throwables, AnnotationProperty]

abstract def addTerminologyExtension(uuid: TerminologyExtensionAxiomUUID, extendingTerminology: omf.MutableTerminologyBox, extendedTerminology: omf.TerminologyBox)(implicit store: omf.Store): \/[Throwables, omf.TerminologyExtensionAxiom]

abstract def annotationProperties(m: omf.Module)(implicit store: omf.Store): Seq[AnnotationProperty]

abstract def annotations(m: omf.Module)(implicit store: omf.Store): Set[AnnotationPropertyValue]

abstract def asImmutableModule(m: omf.MutableModule, m2i: omf.OntologyMapping)(implicit store: omf.Store): \/[Throwables, (omf.ImmutableModule, omf.OntologyMapping)]

implicit abstract val bTag: ClassTag[omf.ImmutableBundle]

implicit abstract val dTag: ClassTag[omf.ImmutableDescriptionBox]

abstract def descriptionBoxImportClosure(m: omf.Module)(implicit store: omf.Store): Set[omf.DescriptionBox]

abstract def foldBundleStatement[T](funAnonymousConceptTaxonomyAxiom: (omf.AnonymousConceptTaxonomyAxiom) ⇒ T, funRootConceptTaxonomyAxiom: (omf.RootConceptTaxonomyAxiom) ⇒ T, funSpecificDisjointConceptAxiom: (omf.SpecificDisjointConceptAxiom) ⇒ T)(s: omf.TerminologyBundleStatement): T

abstract def foldImmutableModule[T](funImmutableTerminologyGraph: (omf.ImmutableTerminologyGraph) ⇒ T, funImmutableTerminologyBundle: (omf.ImmutableBundle) ⇒ T, funImmutableDescriptionBox: (omf.ImmutableDescriptionBox) ⇒ T)(t: omf.ImmutableModule): T

abstract def foldMutableModule[T](funMutableTerminologyGraph: (omf.MutableTerminologyGraph) ⇒ T, funMutableTerminologyBundle: (omf.MutableBundle) ⇒ T, funMutableDescriptionBox: (omf.MutableDescriptionBox) ⇒ T)(t: omf.MutableModule): T

abstract def foldTerminologyBundleAxiom[T](funBundledTerminologyAxiom: (omf.BundledTerminologyAxiom) ⇒ T)(t: omf.TerminologyBundleAxiom): T

abstract def fromAnonymousConceptTaxonomyAxiom(ax: omf.AnonymousConceptTaxonomyAxiom): AnonymousConceptUnionSignature[omf]

abstract def fromAspect(r: omf.Aspect): AspectSignature[omf]

abstract def fromAspectSubClassAxiom(ax: omf.AspectSpecializationAxiom): AspectSpecializationSignature[omf]

abstract def fromBinaryScalarRestriction(ax: omf.BinaryScalarRestriction): BinaryScalarRestrictionSignature[omf]

abstract def fromBundledTerminologyAxiom(ax: omf.BundledTerminologyAxiom): BundledTerminologySignature[omf]

abstract def fromCardinalityRestrictedAspect(ca: omf.CardinalityRestrictedAspect): CardinalityRestrictedAspectSignature[omf]

abstract def fromCardinalityRestrictedConcept(ca: omf.CardinalityRestrictedConcept): CardinalityRestrictedConceptSignature[omf]

abstract def fromCardinalityRestrictedReifiedRelationship(ca: omf.CardinalityRestrictedReifiedRelationship): CardinalityRestrictedReifiedRelationshipSignature[omf]

abstract def fromChainRule(ax: omf.ChainRule): ChainRuleSignature[omf]

abstract def fromClosedWorldDefinitionsAxiom(ax: omf.DescriptionBoxExtendsClosedWorldDefinitions): DescriptionBoxExtendsClosedWorldDefinitionsSignature[omf]

abstract def fromConcept(c: omf.Concept): ConceptSignature[omf]

abstract def fromConceptDesignationTerminologyAxiom(ax: omf.ConceptDesignationTerminologyAxiom): ConceptDesignationTerminologySignature[omf]

abstract def fromConceptInstance(o: omf.ConceptInstance): ConceptInstanceSignature[omf]

abstract def fromConceptSpecializationAxiom(ax: omf.ConceptSpecializationAxiom): ConceptSpecializationSignature[omf]

abstract def fromDescriptionBoxRefinementAxiom(ax: omf.DescriptionBoxRefinement): DescriptionBoxRefinementSignature[omf]

abstract def fromEntity(r: omf.Entity): EntitySignature[omf]

abstract def fromEntityExistentialRestrictionAxiom(ax: omf.EntityExistentialRestrictionAxiom): EntityExistentialRestrictionSignature[omf]

abstract def fromEntityScalarDataProperty(esc: omf.EntityScalarDataProperty): EntityScalarDataPropertySignature[omf]

abstract def fromEntityScalarDataPropertyExistentialRestrictionAxiom(ax: omf.EntityScalarDataPropertyExistentialRestrictionAxiom): EntityScalarDataPropertyExistentialRestrictionSignature[omf]

abstract def fromEntityScalarDataPropertyParticularRestrictionAxiom(ax: omf.EntityScalarDataPropertyParticularRestrictionAxiom): EntityScalarDataPropertyParticularRestrictionSignature[omf]

abstract def fromEntityScalarDataPropertyUniversalRestrictionAxiom(ax: omf.EntityScalarDataPropertyUniversalRestrictionAxiom): EntityScalarDataPropertyUniversalRestrictionSignature[omf]

abstract def fromEntityStructuredDataProperty(est: omf.EntityStructuredDataProperty): EntityStructuredDataPropertySignature[omf]

abstract def fromEntityStructuredDataPropertyParticularRestrictionAxiom(ax: omf.EntityStructuredDataPropertyParticularRestrictionAxiom): EntityStructuredDataPropertyParticularRestrictionSignature[omf]

abstract def fromEntityUniversalRestrictionAxiom(ax: omf.EntityUniversalRestrictionAxiom): EntityUniversalRestrictionSignature[omf]

abstract def fromIRI(iri: omf.IRI): String

abstract def fromIRIScalarRestriction(ax: omf.IRIScalarRestriction): IRIScalarRestrictionSignature[omf]

abstract def fromImmutableDescriptionBox(dbox: omf.ImmutableDescriptionBox)(implicit store: omf.Store): ImmutableDescriptionBoxSignature[omf]

abstract def fromImmutableTerminology(tbox: omf.ImmutableTerminologyBox)(implicit store: omf.Store): ImmutableTerminologyBoxSignature[omf]

abstract def fromInstanceRelationshipEnumerationRestriction(ur: omf.InstanceRelationshipEnumerationRestriction): InstanceRelationshipEnumerationRestrictionSignature[omf]

abstract def fromInstanceRelationshipExistentialRangeRestriction(ur: omf.InstanceRelationshipExistentialRangeRestriction): InstanceRelationshipExistentialRangeRestrictionSignature[omf]

abstract def fromInstanceRelationshipUniversalRangeRestriction(ur: omf.InstanceRelationshipUniversalRangeRestriction): InstanceRelationshipUniversalRangeRestrictionSignature[omf]

abstract def fromInstanceRelationshipValueRestriction(ur: omf.InstanceRelationshipValueRestriction): InstanceRelationshipValueRestrictionSignature[omf]