A ModelTermAxiom is the abstraction for statements about ModelTypeTerms in an ModelTerminologyGraph
An EntityConceptDesignationTerminologyAxiom is a ModelTermAxion assertion about a ModelEntityConcept whose complete concept designation is specified in a designation ModelTerminologyGraph.
A ModelDataRelationship is an abstraction for a 2x2 matrix for binary directed relationships whose range is a ModelDataTypeDefinition.
A ModelDataRelationship is an abstraction for a 2x2 matrix for binary directed relationships whose range is a ModelDataTypeDefinition.
One axis is the domain of the relationship: - ModelDataRelationshipFromEntity - ModelDataRelationshipFromStructure
Another axis is the range of the relationship: - ModelDataRelationshipToScalar - ModelDataRelationshipToStructure
A ModelDataRelationshipFrom is the abstraction of the domain of a ModelDataRelationship: - ModelDataRelationshipFromEntity - ModelDataRelationshipFromStructure
A ModelDataRelationshipFrom is the abstraction of the range of a ModelDataRelationship: - ModelDataRelationshipToScalar - ModelDataRelationshipToStructure
A ModelDataTypeDefinition defines the vocabulary for the conceptual modeling of a domain in terms of data that has value semantics (i.e, equality).
A ModelDataTypeDefinition defines the vocabulary for the conceptual modeling of a domain in terms of data that has value semantics (i.e, equality).
There are 2 kinds of ModelDataTypeDefinitions: - ModelScalarDataType, an atomic datatype in the sense of XML Schema 1.1 DataTypes - ModelStructuredDataType, a structured datatype with data property relationships to other ModelDataTypeDefinitions
A ModelEntityDefinition defines the vocabulary for the conceptual modeling of a domain in terms of "things" that have an intrinsic identity semantics.
A ModelEntityDefinition defines the vocabulary for the conceptual modeling of a domain in terms of "things" that have an intrinsic identity semantics.
- ModelEntityAspect - ModelEntityConcept - ModelEntityReifiedRelationship
An EntityDefinitionUniversalRestrictionAxiom is a ModelTermAxiom assertion about constraining a ModelEntityReifiedRelationship for objects of a sub-domain ModelEntityDefinition to be related to include a sub-range ModelEntityDefinition.
An EntityDefinitionRestrictionAxiom is a ModelTermAxiom assertion about constraining a ModelEntityReifiedRelationship for a sub-domain ModelEntityDefinition to a restricted sub-range ModelEntityDefinition.
An EntityDefinitionRestrictionAxiom is a ModelTermAxiom assertion about constraining a ModelEntityReifiedRelationship for a sub-domain ModelEntityDefinition to a restricted sub-range ModelEntityDefinition.
This restriction constraint can be universal or existential.
A ModelDataRelationshipFromEntityToScalar is a ModelDataRelationship with a domain that is a ModelDataRelationshipFromEntity and with a range that is a ModelDataRelationshipToScalar
A ModelDataRelationshipFromEntityToStructure is a ModelDataRelationship with a domain that is a ModelDataRelationshipFromEntity and with a range that is a ModelDataRelationshipToStructure
An EntityDefinitionUniversalRestrictionAxiom is a ModelTermAxiom assertion about constraining a ModelEntityReifiedRelationship for objects of a sub-domain ModelEntityDefinition to be related to only a restricted sub-range ModelEntityDefinition.
A ModelScalarDataType defines a scalar datatype in a conceptual model in the sense that a scala datatype is 'atomic' in the sense of XML Schema 1.1 DataTypes.
A ModelScalarDataType defines a scalar datatype in a conceptual model in the sense that a scala datatype is 'atomic' in the sense of XML Schema 1.1 DataTypes.
A value of a scalar datatype is always represented according to its lexical representation as a string. The value semantics of a ModelScalarDataType follows XML Schema 1.1 DataTypes, that is, it is simply the equality of the lexical representation of a value of a ModelScalarDataType.
http://www.w3.org/TR/xmlschema11-2/#anyAtomicType
A ModelDataRelationshipFromStructureToScalar is a ModelDataRelationship with a domain that is a ModelDataRelationshipFromStructure and with a range that is a ModelDataRelationshipToScalar
A ModelStructuredDataType defines a structured datatype in a conceptual model in the sense that a structured datatype is defined only in terms of ModelDataRelationships to other ModelDataTypeDefinitions and that the value semantics of a structured datatype is based on the equality of the value of its ModelDataRelationships.
A ModelDataRelationshipFromStructureToStructure is a ModelDataRelationship with a domain that is a ModelDataRelationshipFromStructure and with a range that is a ModelDataRelationshipToStructure
A ModelTypeTerm is the basic unit for defining the conceptual model of a domain in an OMF ModelTerminologyGraph.
A ModelTypeTerm is the basic unit for defining the conceptual model of a domain in an OMF ModelTerminologyGraph.
There are 4 kinds of ModelTypeTerms:
- ModelEntityDefinition: the vocabulary for the conceptual modeling of a domain in terms of "things" that have identity semantics
- ModelDataTypeDefinition: the vocabulary for the conceptual modeling of a domain in terms of data that has value semantics
- ModelDataRelationship: binary, directed relationships whose domain is either an entity or datatype and whose range is a datatype
- ModelEntityUnreifiedRelationship: binary, directed relationships whose domain & range are entities and whose identity is the related objects
A TerminologyGraphAxiom is the abstraction for statements about ModelTerminologyGraphs
In OMF, the specification of the conceptual model of a domain is defined in a TBox graph.
A TerminologyGraphDirectExtensionAxiom(extendingChild=G1, extendedParent=G1) is a TerminologyGraphAxiom assertion about the vocabulary of an extending ModelTerminologyGraph G1 that directly extends the vocabulary of an extended ModelTerminologyGraph G2 in the sense that vocabulary terms defined in G1 can be defined in terms of or as specializations or restrictions of vocabulary terms defined in G2 or in another graph G3 that is directly or indirectly an extended parent of G2.
A TerminologyGraphDirectExtensionAxiom(extendingChild=G1, extendedParent=G1) is a TerminologyGraphAxiom assertion about the vocabulary of an extending ModelTerminologyGraph G1 that directly extends the vocabulary of an extended ModelTerminologyGraph G2 in the sense that vocabulary terms defined in G1 can be defined in terms of or as specializations or restrictions of vocabulary terms defined in G2 or in another graph G3 that is directly or indirectly an extended parent of G2.
If: TerminologyGraphDirectExtensionAxiom(extendingChild=G1, extendedParent=G2) TerminologyGraphDirectExtensionAxiom(extendingChild=G2, extendedParent=G3) Then: G1 extends G2,G3 G2 extends G3
If: TerminologyGraphDirectExtensionAxiom(extendingChild=G1, extendedParent=G2) TerminologyGraphDirectNestingParentAxiom(extendingChild=G2, nestingParent=G3) TerminologyGraphDirectExtensionAxiom(extendingChild=G3, extendedParent=G4) Then: G1 extends G2,G3,G4 G3 extends G4
If: TerminologyGraphDirectExtensionAxiom(extendingChild=G1, extendedParent=G2a) TerminologyGraphDirectNestingParentAxiom(nestedChild=G2a, nestingParent=G3) TerminologyGraphDirectNestingParentAxiom(nestedChild=G2b, nestingParent=G3) TerminologyGraphDirectExtensionAxiom(extendingChild=G3, extendedParent=G4) Then: G1 extends G2a,G3,G4 G3 extends G4
A TerminologyGraphDirectNestingAxiom(nestingParent=G1, nestingContext=C, nestedChild=G2) is a TerminologyGraphAxiom assertion about a ModelTerminologyGraph G1 that is the authorization context for a ModelEntityConcept C defined in a ModelTerminologyGraph G2 that is also the extended parent of G1.
A TerminologyGraphDirectNestingAxiom(nestingParent=G1, nestingContext=C, nestedChild=G2) is a TerminologyGraphAxiom assertion about a ModelTerminologyGraph G1 that is the authorization context for a ModelEntityConcept C defined in a ModelTerminologyGraph G2 that is also the extended parent of G1.
Invariants: fromTerminologyGraph(G1).concepts.contains(C) lookupNestingAxiomsForNestingParent(G1).contains(this) lookupNestingAxiomForNestedChildIfAny(G2).contains(this)
If: TerminologyGraphDirectNestingAxiom(nestedChild=G1, nestingParent=G2) TerminologyGraphDirectNestingAxiom(nestedChild=G2, nestingParent=G3) Then: G1 has nesting parents G2,G3 G2 has nesting parents G3 G2 has nested children G1 G3 has nested children G1,G2
Types for defining OMF tbox graphs specifying conceptual models of domains.