A ModelTermAxiom is the abstraction for statements about ModelTypeTerms in an ModelTerminologyGraph
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.
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 domain of a ModelDataRelationship: - ModelDataRelationshipFromEntity - ModelDataRelationshipFromStructure
A ModelDataRelationshipFrom is the abstraction of the range of a ModelDataRelationship: - ModelDataRelationshipToScalar - ModelDataRelationshipToStructure
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 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 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
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.
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.
An IRI identifies "things" in OMFtbox or OMFabox graphs.
An IRI identifies "things" in OMFtbox or OMFabox graphs. In an OMFtbox graph, an IRI identifies ModelTerminologyGraph, ModelEntityDefinitions and ModelDataTypeDefinitions. In an OMFabox graph, an IRI identifies ModelInstanceGraphs and ModelNamedIndividuals
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 ModelDataRelationshipFromStructureToScalar is a ModelDataRelationship with a domain that is a ModelDataRelationshipFromStructure and with a range that is a ModelDataRelationshipToScalar
The type of an OMF storage provider.
The type of an OMF storage provider.
An instance of a Store is an implicit parameter for the construction-related operations in OMFDSL.
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 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 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
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.
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
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