ImmutableTerminologyGraphOps

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

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

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

abstract def foldTerminologyBoxAxiom[T](funConceptDesignationTerminologyAxiom: (omf.ConceptDesignationTerminologyAxiom) ⇒ T, funTerminologyGraphDirectExtensionAxiom: (omf.TerminologyExtensionAxiom) ⇒ T, funTerminologyGraphDirectNestingAxiom: (omf.TerminologyNestingAxiom) ⇒ T)(t: omf.TerminologyBoxAxiom): 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 fromConcept(c: omf.Concept): ConceptSignature[omf]

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

abstract def fromConceptSpecializationAxiom(ax: omf.ConceptSpecializationAxiom): ConceptSpecializationSignature[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 fromIRIScalarRestriction(ax: omf.IRIScalarRestriction): IRIScalarRestrictionSignature[omf]

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

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

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

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

abstract def fromReifiedRelationshipRestriction(r: omf.ReifiedRelationshipRestriction): ReifiedRelationshipRestrictionSignature[omf]

abstract def fromReifiedRelationshipSpecializationAxiom(ax: omf.ReifiedRelationshipSpecializationAxiom): ReifiedRelationshipSpecializationSignature[omf]

abstract def fromRestrictableRelationship(r: omf.RestrictableRelationship): RestrictableRelationshipSignature

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

abstract def getAspectKindUUID(term: omf.AspectKind): AspectKindUUID

abstract def getAspectUUID(term: omf.Aspect): AspectUUID

abstract def getAxiomUUID(ax: omf.Axiom): TerminologyBoxStatementUUID

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

abstract def getCardinalityRestrictedAspectUUID(term: omf.CardinalityRestrictedAspect): CardinalityRestrictedAspectUUID

abstract def getCardinalityRestrictedConceptUUID(term: omf.CardinalityRestrictedConcept): CardinalityRestrictedConceptUUID

abstract def getCardinalityRestrictedReifiedRelationshipUUID(term: omf.CardinalityRestrictedReifiedRelationship): CardinalityRestrictedReifiedRelationshipUUID

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

abstract def getChainRuleUUID(term: omf.ChainRule): ChainRuleUUID

abstract def getConceptKindUUID(term: omf.ConceptKind): ConceptKindUUID

abstract def getConceptTreeDisjunctionUUID(ctd: omf.ConceptTreeDisjunction): ConceptTreeDisjunctionUUID

abstract def getConceptUUID(term: omf.Concept): ConceptUUID

abstract def getConceptualEntityUUID(term: omf.ConceptualEntity): ConceptualEntityUUID

abstract def getConceptualRelationshipUUID(term: omf.ConceptualRelationship): ConceptualRelationshipUUID

abstract def getDataRangeUUID(term: omf.DataRange): DataRangeUUID

abstract def getDataRelationshipToScalarUUID(term: omf.DataRelationshipToScalar): DataRelationshipToScalarUUID

abstract def getDataRelationshipToStructureUUID(term: omf.DataRelationshipToStructure): DataRelationshipToStructureUUID

abstract def getEntityRelationshipUUID(term: omf.EntityRelationship): EntityRelationshipUUID

abstract def getEntityScalarDataPropertyUUID(term: omf.EntityScalarDataProperty): EntityScalarDataPropertyUUID

abstract def getEntityStructuredDataPropertyUUID(term: omf.EntityStructuredDataProperty): EntityStructuredDataPropertyUUID

abstract def getEntityUUID(term: omf.Entity): EntityUUID

abstract def getReifiedRelationshipRestrictionUUID(term: omf.ReifiedRelationshipRestriction): ReifiedRelationshipRestrictionUUID

abstract def getReifiedRelationshipUUID(term: omf.ReifiedRelationship): ReifiedRelationshipUUID

abstract def getRestrictableRelationshipUUID(term: omf.RestrictableRelationship): RestrictableRelationshipUUID

abstract def getScalarDataPropertyUUID(term: omf.ScalarDataProperty): ScalarDataPropertyUUID

abstract def getScalarOneOfRestrictionUUID(term: omf.ScalarOneOfRestriction): ScalarOneOfRestrictionUUID

abstract def getScalarUUID(term: omf.Scalar): ScalarUUID

abstract def getStructureUUID(term: omf.Structure): StructureUUID

abstract def getStructuredDataPropertyUUID(term: omf.StructuredDataProperty): StructuredDataPropertyUUID

abstract def getTermIRI(term: omf.Term): omf.IRI

abstract def getTermName(term: omf.Term): LocalName

abstract def getTermUUID(term: omf.Term): TermUUID

abstract def getTerminologyKind(tbox: omf.TerminologyBox): TerminologyKind

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

abstract def getUnreifiedRelationshipUUID(term: omf.UnreifiedRelationship): UnreifiedRelationshipUUID

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

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

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

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

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

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

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

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

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

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

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

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

Find the axioms TerminologyGraphDirectNestingAxiom(nestingContext=nestingC).

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

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

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

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

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

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

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

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

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def equivalentEntityConcepts(c1: Iterable[omf.Concept], c2: Iterable[omf.Concept]): Boolean

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 .

def finalize(): Unit

final def getClass(): Class[_]

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

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit