core

Type Members

1. case class AnonymousConceptUnionSignature[omf <: OMF[omf]](uuid: AnonymousConceptUnionAxiomUUID, name: LocalName, bundle: omf.Bundle, disjointTaxonomyParent: omf.ConceptTreeDisjunction) extends Product with Serializable

   

2. case class AspectSignature[omf <: OMF[omf]](uuid: AspectUUID, name: LocalName, iri: omf.IRI) extends Product with Serializable

   

3. case class AspectSpecializationSignature[omf <: OMF[omf]](uuid: AspectSpecializationAxiomUUID, sub: omf.Entity, sup: omf.AspectKind) extends Product with Serializable

   

4. case class BinaryScalarRestrictionSignature[omf <: OMF[omf]](uuid: BinaryScalarRestrictionUUID, name: LocalName, iri: omf.IRI, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], restrictedRange: omf.DataRange) extends Product with Serializable

   

5. case class BundledTerminologySignature[omf <: OMF[omf]](uuid: BundledTerminologyAxiomUUID, bundle: BundleUUID, bundledTerminology: omf.IRI) extends TerminologyAxiomSignature[omf] with Product with Serializable

   

6. case class CardinalityRestrictedAspectSignature[omf <: OMF[omf]](uuid: CardinalityRestrictedAspectUUID, name: LocalName, iri: omf.IRI, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: omf.RestrictableRelationship, restrictedRange: Option[omf.Entity], restrictedCardinality: PositiveIntegerLiteral) extends Product with Serializable

   

7. case class CardinalityRestrictedConceptSignature[omf <: OMF[omf]](uuid: CardinalityRestrictedConceptUUID, name: LocalName, iri: omf.IRI, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: omf.RestrictableRelationship, restrictedRange: Option[omf.Entity], restrictedCardinality: PositiveIntegerLiteral) extends Product with Serializable

   

8. case class CardinalityRestrictedReifiedRelationshipSignature[omf <: OMF[omf]](uuid: CardinalityRestrictedReifiedRelationshipUUID, name: LocalName, iri: omf.IRI, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: omf.RestrictableRelationship, restrictedRange: Option[omf.Entity], restrictedCardinality: PositiveIntegerLiteral) extends Product with Serializable

   

9. case class ChainRuleSignature[omf <: OMF[omf]](name: LocalName, uuid: ChainRuleUUID, head: omf.RestrictableRelationship) extends Product with Serializable

   

10. case class ConceptDesignationTerminologySignature[omf <: OMF[omf]](uuid: ConceptDesignationTerminologyAxiomUUID, graphUUID: TerminologyBoxUUID, designatedConcept: omf.ConceptKind, designatedTerminology: omf.IRI) extends TerminologyAxiomSignature[omf] with Product with Serializable

    

11. case class ConceptInstanceSignature[omf <: OMF[omf]](uuid: ConceptInstanceUUID, concept: omf.ConceptKind) extends Product with Serializable

    

12. case class ConceptSignature[omf <: OMF[omf]](uuid: ConceptUUID, name: LocalName, iri: omf.IRI) extends Product with Serializable

    

13. case class ConceptSpecializationSignature[omf <: OMF[omf]](uuid: ConceptSpecializationAxiomUUID, sub: omf.ConceptKind, sup: omf.ConceptKind) extends Product with Serializable

    

14. case class DescriptionBoxExtendsClosedWorldDefinitionsSignature[omf <: OMF[omf]](uuid: DescriptionBoxExtendsClosedWorldDefinitionsUUID, descriptionBox: DescriptionBoxUUID, extendedClosedWorldDefinitions: omf.IRI) extends ModuleEdgeSignature[omf] with Product with Serializable

    

15. case class DescriptionBoxRefinementSignature[omf <: OMF[omf]](uuid: DescriptionBoxRefinementUUID, descriptionBox: DescriptionBoxUUID, refinedDescriptionBox: omf.IRI) extends ModuleEdgeSignature[omf] with Product with Serializable

    

16. case class DescriptionBoxSignature[omf <: OMF[omf], +S[A] <: Iterable[A]](uuid: DescriptionBoxUUID, name: LocalName, iri: omf.IRI, kind: DescriptionKind, descriptionBoxRefinements: S[omf.DescriptionBoxRefinement], closedWorldDefinitions: S[omf.DescriptionBoxExtendsClosedWorldDefinitions], conceptInstances: S[omf.ConceptInstance], reifiedRelationshipInstances: S[omf.ReifiedRelationshipInstance], reifiedRelationshipInstanceDomains: S[omf.ReifiedRelationshipInstanceDomain], reifiedRelationshipInstanceRanges: S[omf.ReifiedRelationshipInstanceRange], unreifiedRelationshipInstanceTuples: S[omf.UnreifiedRelationshipInstanceTuple], instanceRelationshipEnumerationRestrictions: S[omf.InstanceRelationshipEnumerationRestriction], instanceRelationshipValueRestrictions: S[omf.InstanceRelationshipValueRestriction], instanceRelationshipExistentialRangeRestrictions: S[omf.InstanceRelationshipExistentialRangeRestriction], instanceRelationshipUniversalRangeRestrictions: S[omf.InstanceRelationshipUniversalRangeRestriction], singletonScalarDataPropertyValues: S[omf.SingletonInstanceScalarDataPropertyValue], singletonStructuredDataPropertyValues: S[omf.SingletonInstanceStructuredDataPropertyValue], scalarDataPropertyValues: S[omf.ScalarDataPropertyValue], structuredDataPropertyTuples: S[omf.StructuredDataPropertyTuple], annotationPropertyValues: S[AnnotationPropertyValue], annotationProperties: S[AnnotationProperty]) extends ModuleSignature[omf] with Product with Serializable

    

17. sealed trait DescriptionKind extends AnyRef

    

18. case class EntityExistentialRestrictionSignature[omf <: OMF[omf]](uuid: EntityExistentialRestrictionAxiomUUID, domain: omf.Entity, restrictedRelationship: omf.RestrictableRelationship, range: omf.Entity) extends Product with Serializable

    

19. case class EntityScalarDataPropertyExistentialRestrictionSignature[omf <: OMF[omf]](uuid: EntityScalarDataPropertyExistentialRestrictionAxiomUUID, restrictedEntity: omf.Entity, scalarDataProperty: omf.EntityScalarDataProperty, restrictedRange: omf.DataRange) extends Product with Serializable

    

20. case class EntityScalarDataPropertyParticularRestrictionSignature[omf <: OMF[omf]](uuid: EntityScalarDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: omf.Entity, scalarDataProperty: omf.EntityScalarDataProperty, literalValue: LiteralValue, valueType: Option[omf.DataRange]) extends Product with Serializable

    

21. case class EntityScalarDataPropertySignature[omf <: OMF[omf]](uuid: EntityScalarDataPropertyUUID, name: LocalName, iri: omf.IRI, domain: omf.Entity, range: omf.DataRange, isIdentityCriteria: Boolean) extends Product with Serializable

    

22. case class EntityScalarDataPropertyUniversalRestrictionSignature[omf <: OMF[omf]](uuid: EntityScalarDataPropertyUniversalRestrictionAxiomUUID, restrictedEntity: omf.Entity, scalarDataProperty: omf.EntityScalarDataProperty, restrictedRange: omf.DataRange) extends Product with Serializable

    

23. case class EntitySignature[omf <: OMF[omf]](uuid: EntityUUID, name: LocalName, iri: omf.IRI) extends Product with Serializable

    

24. case class EntityStructuredDataPropertyParticularRestrictionSignature[omf <: OMF[omf]](uuid: EntityStructuredDataPropertyParticularRestrictionAxiomUUID, restrictedEntity: omf.Entity, structuredDataProperty: omf.EntityStructuredDataProperty) extends Product with Serializable

    

25. case class EntityStructuredDataPropertySignature[omf <: OMF[omf]](uuid: EntityStructuredDataPropertyUUID, name: LocalName, iri: omf.IRI, domain: omf.Entity, range: omf.Structure, isIdentityCriteria: Boolean) extends Product with Serializable

    

26. case class EntityUniversalRestrictionSignature[omf <: OMF[omf]](uuid: EntityUniversalRestrictionAxiomUUID, domain: omf.Entity, restrictedRelationship: omf.RestrictableRelationship, range: omf.Entity) extends Product with Serializable

    

27. trait IRIOps[omf <: OMF[omf]] extends AnyRef

    

28. case class IRIScalarRestrictionSignature[omf <: OMF[omf]](uuid: IRIScalarRestrictionUUID, name: LocalName, iri: omf.IRI, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], restrictedRange: omf.DataRange) extends Product with Serializable

    

29. trait ImmutableDescriptionBoxOps[omf <: OMF[omf]] extends AnyRef

    

30. type ImmutableDescriptionBoxSignature[omf <: OMF[omf]] = DescriptionBoxSignature[omf, Set]

    

31. type ImmutableTerminologyBoxSignature[omf <: OMF[omf]] = TerminologyBoxSignature[omf, Set]

    

32. trait ImmutableTerminologyGraphOps[omf <: OMF[omf]] extends AnyRef

    

33. case class InstanceRelationshipEnumerationRestrictionSignature[omf <: OMF[omf]](uuid: InstanceRelationshipEnumerationRestrictionUUID, restrictableRelationship: omf.RestrictableRelationship, domain: omf.ConceptualEntitySingletonInstance, references: Vector[omf.ConceptualEntitySingletonInstance]) extends Product with Serializable

    

34. case class InstanceRelationshipExistentialRangeRestrictionSignature[omf <: OMF[omf]](uuid: InstanceRelationshipExistentialRangeRestrictionUUID, restrictableRelationship: omf.RestrictableRelationship, domain: omf.ConceptualEntitySingletonInstance, range: omf.Entity) extends Product with Serializable

    

35. case class InstanceRelationshipUniversalRangeRestrictionSignature[omf <: OMF[omf]](uuid: InstanceRelationshipUniversalRangeRestrictionUUID, restrictableRelationship: omf.RestrictableRelationship, domain: omf.ConceptualEntitySingletonInstance, range: omf.Entity) extends Product with Serializable

    

36. case class InstanceRelationshipValueRestrictionSignature[omf <: OMF[omf]](uuid: InstanceRelationshipValueRestrictionUUID, restrictableRelationship: omf.RestrictableRelationship, domain: omf.ConceptualEntitySingletonInstance, range: omf.ConceptualEntitySingletonInstance) extends Product with Serializable

    

37. trait ModuleEdgeSignature[omf <: OMF[omf]] extends AnyRef

    

38. trait ModuleSignature[omf <: OMF[omf]] extends AnyRef

    

39. trait Mutable2ImmutableModuleTable[omf <: OMF[omf]] extends AnyRef

    

40. trait MutableDescriptionBoxOps[omf <: OMF[omf]] extends ImmutableDescriptionBoxOps[omf]

    

41. type MutableDescriptionBoxSignature[omf <: OMF[omf]] = DescriptionBoxSignature[omf, HashSet]

    

42. type MutableTerminologyBoxSignature[omf <: OMF[omf]] = TerminologyBoxSignature[omf, HashSet]

    

43. trait MutableTerminologyGraphOps[omf <: OMF[omf]] extends ImmutableTerminologyGraphOps[omf]

    

44. case class NumericScalarRestrictionSignature[omf <: OMF[omf]](uuid: NumericScalarRestrictionUUID, name: LocalName, iri: omf.IRI, minInclusive: Option[LiteralNumber], maxInclusive: Option[LiteralNumber], minExclusive: Option[LiteralNumber], maxExclusive: Option[LiteralNumber], restrictedRange: omf.DataRange) extends Product with Serializable

    

45. trait OMF[omf <: OMF[omf]] extends OMFstore with OMFiri with OMFtbox with OMFdbox

    

    OMF is JPL's Ontological Modeling Framework, a pure functional interface specification supporting a rigorous integratation of two widely used paradigms: - modeling a system in the sense of the Object Management Group (OMG) modeling specifications (e.g.

    OMF is JPL's Ontological Modeling Framework, a pure functional interface specification supporting a rigorous integratation of two widely used paradigms: - modeling a system in the sense of the Object Management Group (OMG) modeling specifications (e.g. the Unified Modeling Language (UML) and the Systems Modeling Language (SysML)) - ontologies for describing a system according to a analyzable vocabulary for creating and reasoning about such descriptions in the sense of the World-Wide Web (W3C) Ontology Web Language (OWL) standard.

    The OMF interface specification involves 4 main components: - OMFStore for the management of OMF models - OMFIRI for identifying "things" - OMFtbox for describing a conceptual model of a domain - OMFabox for describing particular situations in that domain using the OMFtbox vocabulary for that domain

46. trait OMFModule extends AnyRef

    

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

    

48. trait OMFOpsModule extends OMFModule

    

49. trait OMFStoreOps[omf <: OMF[omf]] extends AnyRef

    

50. trait OMFcbox extends AnyRef

    

51. trait OMFdbox extends OMFcbox

    

    Types for defining OMF dbox graphs for describing domain-specific situations according to the OMF tbox graphs defining the conceptual models of these domains.

52. trait OMFiri extends AnyRef

    

    The types involved in the identification of "things" in OMF

53. trait OMFstore extends AnyRef

    

54. trait OMFtbox extends OMFcbox

    

    Types for defining OMF tbox graphs specifying conceptual models of domains.

55. sealed trait ObjectRestrictionKind extends AnyRef

    

56. case class PlainLiteralScalarRestrictionSignature[omf <: OMF[omf]](uuid: PlainLiteralScalarRestrictionUUID, name: LocalName, iri: omf.IRI, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], langRange: Option[LanguageTagDataType], restrictedRange: omf.DataRange) extends Product with Serializable

    

57. case class PredicateSignature[omf <: OMF[omf]](uuid: PredicateUUID, name: LocalName) extends Product with Serializable

    

58. case class ReifiedRelationshipInstanceDomainSignature[omf <: OMF[omf]](uuid: ReifiedRelationshipInstanceDomainUUID, reifiedRelationshipInstance: omf.ReifiedRelationshipInstance, domain: omf.ConceptualEntitySingletonInstance) extends Product with Serializable

    

59. case class ReifiedRelationshipInstanceRangeSignature[omf <: OMF[omf]](uuid: ReifiedRelationshipInstanceRangeUUID, reifiedRelationshipInstance: omf.ReifiedRelationshipInstance, range: omf.ConceptualEntitySingletonInstance) extends Product with Serializable

    

60. case class ReifiedRelationshipInstanceSignature[omf <: OMF[omf]](uuid: ReifiedRelationshipInstanceUUID, singletonConceptualRelationshipClassifier: omf.ConceptualRelationship) extends Product with Serializable

    

61. case class ReifiedRelationshipRestrictionSignature[omf <: OMF[omf]](uuid: ReifiedRelationshipRestrictionUUID, name: LocalName, iri: omf.IRI, source: omf.Entity, target: omf.Entity) extends Product with Serializable

    

62. case class ReifiedRelationshipSignature[omf <: OMF[omf]](uuid: ReifiedRelationshipUUID, name: LocalName, iri: omf.IRI, source: omf.Entity, target: omf.Entity, characteristics: Iterable[RelationshipCharacteristics], forwardProperty: omf.ForwardProperty, forwardPropertyInfo: ForwardPropertySignature[omf], inverseProperty: Option[omf.InverseProperty], inversePropertyInfo: Option[InversePropertySignature[omf]]) extends Product with Serializable

    

63. case class ReifiedRelationshipSpecializationSignature[omf <: OMF[omf]](uuid: ReifiedRelationshipSpecializationAxiomUUID, sub: omf.ConceptualRelationship, sup: omf.ConceptualRelationship) extends Product with Serializable

    

64. case class RestrictableRelationshipSignature(uuid: RestrictableRelationshipUUID, name: LocalName) extends Product with Serializable

    

65. case class RestrictionScalarDataPropertyValueSignature[omf <: OMF[omf]](uuid: RestrictionScalarDataPropertyValueUUID, structuredDataPropertyContext: omf.RestrictionStructuredDataPropertyContext, scalarDataProperty: omf.DataRelationshipToScalar, literalValue: LiteralValue, valueType: Option[omf.DataRange]) extends Product with Serializable

    

66. case class RestrictionStructuredDataPropertyTupleSignature[omf <: OMF[omf]](uuid: RestrictionStructuredDataPropertyTupleUUID, structuredDataPropertyContext: omf.RestrictionStructuredDataPropertyContext, structuredDataProperty: omf.DataRelationshipToStructure) extends Product with Serializable

    

67. case class RootConceptTaxonomySignature[omf <: OMF[omf]](uuid: RootConceptTaxonomyAxiomUUID, bundle: omf.Bundle, root: omf.ConceptKind) extends Product with Serializable

    

68. case class RuleBodySegmentSignature[omf <: OMF[omf]](uuid: RuleBodySegmentUUID, position: Int, chainRule: Option[omf.ChainRule], previousSegment: Option[omf.RuleBodySegment]) extends Product with Serializable

    

69. case class ScalarDataPropertySignature[omf <: OMF[omf]](uuid: ScalarDataPropertyUUID, name: LocalName, iri: omf.IRI, domain: omf.Structure, range: omf.DataRange) extends Product with Serializable

    

70. case class ScalarDataPropertyValueSignature[omf <: OMF[omf]](uuid: ScalarDataPropertyValueUUID, singletonInstanceStructuredDataPropertyContext: omf.SingletonInstanceStructuredDataPropertyContext, scalarDataProperty: omf.DataRelationshipToScalar, scalarPropertyValue: LiteralValue, valueType: Option[omf.DataRange]) extends Product with Serializable

    

71. case class ScalarOneOfLiteralSignature[omf <: OMF[omf]](uuid: ScalarOneOfLiteralAxiomUUID, restriction: omf.ScalarOneOfRestriction, value: LiteralValue, valueType: Option[omf.DataRange]) extends Product with Serializable

    

72. case class ScalarOneOfRestrictionSignature[omf <: OMF[omf]](uuid: ScalarOneOfRestrictionUUID, name: LocalName, iri: omf.IRI, restrictedRange: omf.DataRange) extends Product with Serializable

    

73. case class SegmentPredicateSignature[omf <: OMF[omf]](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]) extends Product with Serializable

    

74. case class SingletonInstanceScalarDataPropertyValueSignature[omf <: OMF[omf]](uuid: SingletonInstanceScalarDataPropertyValueUUID, singletonInstance: omf.ConceptualEntitySingletonInstance, scalarDataProperty: omf.EntityScalarDataProperty, scalarDataPropertyValue: LiteralValue, valueType: Option[omf.DataRange]) extends Product with Serializable

    

75. case class SingletonInstanceStructuredDataPropertyValueSignature[omf <: OMF[omf]](uuid: SingletonInstanceStructuredDataPropertyValueUUID, singletonInstance: omf.ConceptualEntitySingletonInstance, structuredDataProperty: omf.EntityStructuredDataProperty) extends Product with Serializable

    

76. case class SpecificDisjointConceptSignature[omf <: OMF[omf]](uuid: SpecificDisjointConceptAxiomUUID, bundle: omf.Bundle, disjointTaxonomyParent: omf.ConceptTreeDisjunction, disjointLeaf: omf.ConceptKind) extends Product with Serializable

    

77. case class StringScalarRestrictionSignature[omf <: OMF[omf]](uuid: StringScalarRestrictionUUID, name: LocalName, iri: omf.IRI, length: Option[PositiveIntegerLiteral], minLength: Option[PositiveIntegerLiteral], maxLength: Option[PositiveIntegerLiteral], pattern: Option[LiteralPattern], restrictedRange: omf.DataRange) extends Product with Serializable

    

78. case class StructuredDataPropertySignature[omf <: OMF[omf]](uuid: StructuredDataPropertyUUID, name: LocalName, iri: omf.IRI, domain: omf.Structure, range: omf.Structure) extends Product with Serializable

    

79. case class StructuredDataPropertyTupleSignature[omf <: OMF[omf]](uuid: StructuredDataPropertyTupleUUID, singletonInstanceStructuredDataPropertyContext: omf.SingletonInstanceStructuredDataPropertyContext, structuredataProperty: omf.DataRelationshipToStructure) extends Product with Serializable

    

80. case class SubDataPropertyOfAxiomSignature[omf <: OMF[omf]](uuid: SubDataPropertyOfAxiomUUID, sub: omf.EntityScalarDataProperty, sup: omf.EntityScalarDataProperty) extends Product with Serializable

    

81. case class SubObjectPropertyOfAxiomSignature[omf <: OMF[omf]](uuid: SubObjectPropertyOfAxiomUUID, sub: omf.UnreifiedRelationship, sup: omf.UnreifiedRelationship) extends Product with Serializable

    

82. case class SynonymScalarRestrictionSignature[omf <: OMF[omf]](uuid: SynonymScalarRestrictionUUID, name: LocalName, iri: omf.IRI, restrictedRange: omf.DataRange) extends Product with Serializable

    

83. trait TerminologyAxiomSignature[omf <: OMF[omf]] extends ModuleEdgeSignature[omf]

    

84. case class TerminologyBoxSignature[omf <: OMF[omf], +S[A] <: Iterable[A]](isBundle: Boolean, uuid: TerminologyBoxUUID, name: LocalName, iri: omf.IRI, kind: TerminologyKind, extensions: S[omf.TerminologyExtensionAxiom], nesting: S[omf.TerminologyNestingAxiom], conceptDesignation: S[omf.ConceptDesignationTerminologyAxiom], bundledTerminologies: S[omf.BundledTerminologyAxiom], aspects: S[omf.Aspect], cardinalityRestrictedAspects: S[omf.CardinalityRestrictedAspect], concepts: S[omf.Concept], cardinalityRestrictedConcepts: S[omf.CardinalityRestrictedConcept], reifiedRelationshipRestrictions: S[omf.ReifiedRelationshipRestriction], reifiedRelationships: S[omf.ReifiedRelationship], cardinalityRestrictedReifiedRelationships: S[omf.CardinalityRestrictedReifiedRelationship], forwardProperties: S[omf.ForwardProperty], inverseProperties: S[omf.InverseProperty], unreifiedRelationships: S[omf.UnreifiedRelationship], scalarDataTypes: S[omf.Scalar], structuredDataTypes: S[omf.Structure], scalarOneOfRestrictions: S[omf.ScalarOneOfRestriction], scalarOneOfLiterals: S[omf.ScalarOneOfLiteralAxiom], binaryScalarRestrictions: S[omf.BinaryScalarRestriction], iriScalarRestrictions: S[omf.IRIScalarRestriction], numericScalarRestrictions: S[omf.NumericScalarRestriction], plainLiteralScalarRestrictions: S[omf.PlainLiteralScalarRestriction], stringScalarRestrictions: S[omf.StringScalarRestriction], synonymScalarRestrictions: S[omf.SynonymScalarRestriction], timeScalarRestrictions: S[omf.TimeScalarRestriction], entityScalarDataProperties: S[omf.EntityScalarDataProperty], entityStructuredDataProperties: S[omf.EntityStructuredDataProperty], scalarDataProperties: S[omf.ScalarDataProperty], structuredDataProperties: S[omf.StructuredDataProperty], restrictionStructuredDataPropertyTuples: S[omf.RestrictionStructuredDataPropertyTuple], restrictionScalarDataPropertyValues: S[omf.RestrictionScalarDataPropertyValue], chainRules: S[omf.ChainRule], ruleBodySegments: S[omf.RuleBodySegment], segmentPredicates: S[omf.SegmentPredicate], axioms: S[omf.Axiom], rTAxioms: S[omf.RootConceptTaxonomyAxiom], aTAxioms: S[omf.AnonymousConceptTaxonomyAxiom], sTAxioms: S[omf.SpecificDisjointConceptAxiom], bAxioms: S[omf.BundledTerminologyAxiom], annotationPropertyValues: S[AnnotationPropertyValue], annotationProperties: S[AnnotationProperty]) extends ModuleSignature[omf] with Product with Serializable

    

    Information about the contents of a TerminologyBox

    Information about the contents of a TerminologyBox

    omf

    OMF Adaptation/Binding.

    S

    A container type (either scala.collection.immutable.Set or scala.collection.mutable.HashSet)

    iri

    identity of the terminology

    kind

    semantic commitment of this terminology (open-world definitions vs. closed-world designations)

85. case class TerminologyExtensionSignature[omf <: OMF[omf]](uuid: TerminologyExtensionAxiomUUID, extendedTerminology: omf.IRI) extends TerminologyAxiomSignature[omf] with Product with Serializable

    

86. sealed trait TerminologyKind extends AnyRef

    

87. case class TerminologyNestingSignature[omf <: OMF[omf]](uuid: TerminologyNestingAxiomUUID, nestingContext: omf.ConceptKind, nestingTerminology: omf.IRI) extends TerminologyAxiomSignature[omf] with Product with Serializable

    

88. case class TimeScalarRestrictionSignature[omf <: OMF[omf]](uuid: TimeScalarRestrictionUUID, name: LocalName, iri: omf.IRI, minInclusive: Option[LiteralDateTime], maxInclusive: Option[LiteralDateTime], minExclusive: Option[LiteralDateTime], maxExclusive: Option[LiteralDateTime], restrictedRange: omf.DataRange) extends Product with Serializable

    

89. case class UnreifiedRelationshipInstanceTupleSignature[omf <: OMF[omf]](uuid: UnreifiedRelationshipInstanceTupleUUID, unreifiedRelationship: omf.UnreifiedRelationship, domain: omf.ConceptualEntitySingletonInstance, range: omf.ConceptualEntitySingletonInstance) extends Product with Serializable

    

90. case class UnreifiedRelationshipSignature[omf <: OMF[omf]](uuid: UnreifiedRelationshipUUID, name: LocalName, iri: omf.IRI, source: omf.Entity, target: omf.Entity, characteristics: Iterable[RelationshipCharacteristics]) extends Product with Serializable