OML Glossary Summary

The vocabulary of the Ontological Modeling Language, OML, consists of 112 definitions (51 abstract and 61 concrete). This OML vocabulary is the basis of the Ontological Modeling Framework (OMF), which is a collection of multiple technology-based Application Programming Interfaces (APIs) & libraries.

  • EMF/CDO OMF APIs and libraries based on the [Eclipse Modeling Framework] and [Connected Data Objects]

    All 112 definitions induce corresponding EMF-based APIs and libraries. For the 61 concrete definitions, the EMF/CDO APIs include all the 60 Normalized APIs, all the 1 Functional APIs, and 0 definitions uniquely intended for EMF/CDO.

  • Normalized OMF APIs and libraries based on polyglot functional programming in Java, JavaScript and Scala

    A subset of 60 definitions from the 61 concrete definitions constitute the set of normalized relational database schema tables for the technology-agnostic OML tabular interchange representation. These definitions generate language-friendly functional programming APIs for Java, JavaScript and Scala. Note that Scala is the only language that can provide strong compile-time guarantees of the referential transparency of the OML functional APIs. For Java and JavaScript, the OML functional APIs are intended to be referentially transparent; however, these languages do not provide any guarantees at compile time or runtime for preserving these properties.

  • Functional OMF APIs and libraries in Scala for in-memory processing of OML tabular interchange representations

    A subset of 1 definitions from the 61 concrete definitions augment the normalized OMF APIs for the in-memory processing of OMF information extracted from parsing the OML tabular interchange representation.

1 OML Common Glossary

1.1 OML Common Glossary of 12 Abstract Definitions

OML CrossReferencabilityKind

OML CrossReferencabilityKind categorizes OML things that have a globally unique Version 5 UUID according to whether the UUID can be used as a cross reference outside of containment purposes.

From a database perspective, the UUID is a single primary key of an OML CrossReferencabilityKind.

{APIs: Normalized, Functional}

Abstract with 3 specializations:

OML CrossReferencableKind

OML CrossReferencableKind is the category of OML things that can be cross-referenced outside of containment purposes.

  • From a logical perspective, The particular representation and serialization of a cross reference depends on the API used or the serialization format respectively.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML ElementCrossReferenceTuple

An OML ElementCrossReferenceTuple is an abstraction for a kind of OML Element categorized as a OML CrossReferencableKind and OML ExtrinsicIdentityKind where the extrinsic identity criteria is precisely a tuple of at least 2 cross references to other OML IdentityKind(s) and nothing else.

{APIs: Normalized, Functional}

Abstract definition with 3 generalizations:

and with 1 specialization:

OML IdentityKind

An OML IdentityKind categorizes OML CrossReferencabilityKind according to which kind of identity criteria are available for computing the Version 5 UUID namespace hash.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 4 specializations:

OML LogicalElement

An OML Element is a logical abstraction for everything involved in OML that is globally identified by a version 5 namespace UUID deterministically derived from essential information about the OML Element. An OML Element can be the subject of multiple OML AnnotationPropertyValues; however, there can be at most one OML AnnotationPropertyValue for a given pair of OML Element and OML AnnotationProperty.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 3 specializations:

OML Module

An OML Module maps to an OWL2-DL Ontology; it is a kind of OML Resource that is a logical container of OML ModuleElement(s) and a non-logical container of OML Annotation(s).

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

OML ModuleEdge

An OML ModuleEdge is a binary, directed relationship from one OML Module to another

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

OML ModuleElement

An OML ModuleElement is an OML Element defined in the scope of an OML Module

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

OML NonCrossReferencableKind

OML CrossReferencableKind is the category of OML things that cannot be cross-referenced except for containment purposes.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 1 specialization:

OML NonLogicalElement

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML Resource

An OML Resource is an abstraction for a kind of an OML Element that has intrinsic identity based on a single identity criteria: an IRI. An OML Resource has a name; the relationship between the name and IRI depends on the kind of OML Resource.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 1 specialization:

OML ValueCrossReferenceTuple

An OML ValueCrossReferenceTuple is an abstraction for a kind of OML ExtrinsicIdentityKind where the extrinsic identity criteria is precisely the combination of a tuple of at least 2 cross references to other OML CrossReferencableKind(s), at least one scalar value typed by an OML DataRange and nothing else. Note that the identity of an OML DataRange value is itself.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 1 specialization:

1.2 OML Common Glossary of 3 Concrete Definitions

1.2.1 OML Common Glossary of 2 Schema Concrete Definitions

OML AnnotationProperty

An OML AnnotationProperty maps to a functional restriction of an OWL2 AnnotationProperty. Like OWL2, an OML AnnotationProperty is a non-logical property for associating some information to an OML Element; unlike OWL2, an OML AnnotationProperty is functional in the sense that an OML Element can have at most one OML AnnotationPropertyValue for a given OML AnnotationProperty.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • iri: IRI
  • abbrevIRI: AbbrevIRI

OML AnnotationPropertyValue

For the OML tabular interchange representation, an OML AnnotationPropertyValue is a triple where S is an OML Element, P an OML AnnotationProperty and V is the value of P asserted about S by this triple. The UUID of an OML AnnotationPropertyValue is deterministically derived from its subject and property. This means that two OML AnnotationPropertyValues with the same subject and property must have the same value otherwise they would be structurally distinct triples with the same UUID, which would be ill-formed.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

1.2.2 OML Common Glossary of 1 Functional API Concrete Definitions

OML Extent

An OML Extent is an in-memory store of all OML Element(s) loaded from external OML documents.

{APIs: Functional}

2 OML Terminologies Glossary

2.1 OML Terminologies Glossary of 31 Abstract Definitions

OML CharacterizedEntityRelationship

An OML CharacterizedEntityRelationship specifies the characteristics of an OML EntityRelationship.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML ConceptualEntity

An OML ConceptualEntity is an OML Entity that can be instantiated as an OML ConceptualEntitySingletonInstance in any OML DescriptionBox. It is partially instantiated if some essential OML EntityRelationship or OML DataRelationshipFromEntity with isIdentityCriteria=true lacks an OML TerminologyInstanceAssertion specifying its reference or value respectively.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML ConceptualRelationship

An OML ConceptualRelationship is a kind of OML ConceptualEntity that is also a kind of OML EntityRelationship.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 2 specializations:

OML DataRange

An OWL DataRange corresponds to an OWL2 DataRange with arity=1.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DataRelationship

An OML DataRelationship is an OML DirectedBinaryRelationshipKind where the domain or the range is some kind of OML Datatype.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 6 specializations:

OML DataRelationshipDomain

An OML DataRelationshipDomain is an abstraction for the domain of an OML DataRelationship

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DataRelationshipFromEntity

An OML DataRelationshipFromEntity is an OML DataRelationship whose domain is an OML Entity.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DataRelationshipFromStructure

An OML DataRelationshipFromStructure is an OML DataRelationship whose domain is an OML Structure.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DataRelationshipRange

An OML DataRelationshipRange is an abstraction for the range of an OML DataRelationship

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DataRelationshipToScalar

An OML DataRelationshipToScalar is an OML DataRelationship whose range is an OML DataRange.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DataRelationshipToStructure

An OML DataRelationshipToStructure is an OML DataRelationship whose range is an OML Structure.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML Datatype

An OML Datatype is a common abstraction for what should be, in principle, OWL2 DataRange of arity 1 (atomic) or > 1 (tuple structure). In practice, an OML DataType maps to the OWL2-DL subset; which means that an atomic OML Datatype maps to an OWL2 Datatype whereas a structured OML Datatype maps to an OWL2 Class.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DirectedBinaryRelationshipKind

An OML DirectedBinaryRelationshipKind is an abstraction for the category of OML Term(s) that are relationships with arity 2

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML Entity

An OML Entity is an abstraction for an OML Term that is either an OML UnaryTermKind or an OML DirectedBinaryRelationshipKind whose subject and range are both a kind of OML Entity.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 2 specializations:

OML EntityRelationship

An OML EntityRelationship is a kind of OML Term that is an OML DirectedBinaryRelationshipKind between a domain OML Entity and a range OML Entity.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 2 specializations:

OML EntityRestrictionAxiom

An OML EntityRestrictionAxiom maps to an [OWL2 Object Property Restriction] for an OML EntityRelationship.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 2 specializations:

OML EntityScalarDataPropertyRestrictionAxiom

An OML EntityScalarDataPropertyRestrictionAxiom maps to some kind of OWL2 Data Property Restriction.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 3 specializations:

OML EntityStructuredDataPropertyRestrictionAxiom

An OML EntityStructuredDataPropertyRestrictionAxiom maps to some kind of OWL2 Object Property Restriction.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 1 specialization:

OML Predicate

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML RestrictableRelationship

An OML RestrictableRelationship is either an OML ForwardProperty, an OML InverseProperty or an OML UnreifiedRelationship. An OML RestrictableRelationship serves as an abstraction for the different kinds of relationships that can be restricted via an OML EntityRestrictionAxiom and that can be involved in an OML SegmentPredicate for an OML ChainRule.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 3 specializations:

OML RestrictedDataRange

An OML RestrictedDataRange corresponds to an OWL2 DataRange defined in terms of some kind of restriction of some other OML DataRange. The specializations of OML RestrictedDataRange correspond to the allowed restrictions in the OWL2 Datatype Maps. Node that the vocabulary of XSD fundamental facets is not included in OWL2-DL, consequently, there is no support in OML for specifying datatype restrictions involving XSD fundamental facets as well. Each specialization maps to an OWL2 Declaration of an OWL2 Datatype whose OWL2 DataRange corresponds to the OWL2 mapping of that specialized restriction.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 8 specializations:

OML RestrictionStructuredDataPropertyContext

An OML RestrictionStructuredDataPropertyContext defines the context of an OML DataRelationshipToStructure for an OML Entity restriction for specifying values of the OML DataRelationshipFromStructure properties

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 2 specializations:

OML Rule

An OML Rule corresponds to a labelled SWRL rule.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 1 specialization:

OML SpecializationAxiom

An OML SpecializationAxiom is a logical axiom about a taxonomic relationship between a specific and a general OML Entity.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 3 specializations:

OML Term

An OML Term map to the declaration of an [OWL2-DL Entity] of some kind.

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 7 specializations:

OML TermAxiom

An OML TermAxiom is a logical axiom about an OML Term.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 7 specializations:

OML TerminologyAxiom

An OML TerminologyAxiom is asserted in an OML TerminologyBox of some kind.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 1 specialization:

OML TerminologyBox

An OML TerminologyBox is an OML Module for defining a domain-specific vocabulary as a logical set of OML TerminologyBoxStatement(s), possibly by reuse of other vocabularies via OML TerminologyBoxAxiom(s). The semantics of an OML TerminologyBox domain-specific vocabulary is defined by the mapping to OWL2-DL of the other vocabularies it reuses, if any, and that of its OML TerminologyBoxAxiom(s) and OML TerminologyBoxStatement(s) according to its OML TerminologyKind.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

OML TerminologyBoxAxiom

An OML TerminologyBoxAxiom is an OML TerminologyAxiom that asserts a logical statement about an OML TerminologyBox.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 1 specialization:

OML TerminologyBoxStatement

An OML TerminologyBoxStatement is a logical axiom about an OML TerminologyThing in an OML TerminologyBox.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML UnaryTermKind

An OML UnaryTermKind is an abstraction for the category of OML Term(s) that are relationships with arity 1

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 4 specializations:

2.2 OML Terminologies Glossary of 38 Concrete Definitions

2.2.1 OML Terminologies Glossary of 38 Schema Concrete Definitions

OML Aspect

An OML Aspect is a kind of OML Entity of OML UnaryTermKind. It is intended to be used as a specialization parent for one or more OML ConceptualEntity.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • name: LocalName

OML Concept

An OML Concept is an OML ConceptualEntity of OML UnaryTermKind.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • name: LocalName

OML Scalar

An OML Scalar corresponds to an OWL2 Declaration of an OWL2 DataRange with arity=1.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • name: LocalName

OML Structure

An OML Structure would correspond to an OWL2 Declaration of an OWL2 DataRange with arity > 1. However, since OWL2 Datatypes in the OWL2-DL are restricted to have arity=1, the OML mapping to OWL2-DL involves a pattern-based usage of an OWL2 Class to represent an OML Structure. The arity corresponds to the cardinality of the set of ScalarDataProperty & StructuredDataProperty relationships whose domain is this structure.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • name: LocalName

OML TerminologyExtensionAxiom

An OML TerminologyExtensionAxiom allows an extendingTerminology to make references (via OML TerminologyBoxStatement(s)) to OML TerminologyThing(s) declared within the transitive closure of the extendedTerminlogy.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • extendedTerminologyIRI: IRI (Foreign Key for: OML TerminologyBox)

OML BinaryScalarRestriction

An OML BinaryScalarRestriction is a data range that specifies how one binary scalar adds facet restrictions to another. Applicable when the restricted scalar represents OWL2 Binary Data.

The restricted scalar must be directly or indirectly a restriction of:

Facets:

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • length: Option[PositiveIntegerLiteral]
  • minLength: Option[PositiveIntegerLiteral]
  • maxLength: Option[PositiveIntegerLiteral]
  • name: LocalName

OML IRIScalarRestriction

An OML IRIScalarRestriction is a data range that specifies how one IRI scalar adds facet restrictions to another. Applicable when the restricted scalar represents an OWL2 IRI.

The restricted scalar must be directly or indirectly a restriction of:

Facets:

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • length: Option[PositiveIntegerLiteral]
  • minLength: Option[PositiveIntegerLiteral]
  • maxLength: Option[PositiveIntegerLiteral]
  • name: LocalName
  • pattern: Option[LiteralPattern]

OML NumericScalarRestriction

An OML NumericScalarRestriction is a data range that specifies how one numeric scalar range adds facet restrictions to another. Applies when the restricted scalar represents OWL2 Real Numbers, Decimal Numbers and Integers or OWL2 Floating-Point Numbers.

The restricted scalar must be directly or indirectly a restriction of:

Facets:

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • name: LocalName

OML PlainLiteralScalarRestriction

An OML PlainLiteralScalarRestriction is a data range that specifies how one plain literal scalar adds facet restrictions to another. Applicable when the restricted scalar represents rdf:PlainLiteral.

The restricted scalar must be directly or indirectly a restriction of:

Facets:

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • length: Option[PositiveIntegerLiteral]
  • minLength: Option[PositiveIntegerLiteral]
  • maxLength: Option[PositiveIntegerLiteral]
  • name: LocalName
  • langRange: Option[LanguageTagDataType]
  • pattern: Option[LiteralPattern]

OML ScalarOneOfRestriction

An OML ScalarOneOfRestriction is a data range that specifies how a scalar is a restricted set of literal values of another. Semantics: OWL2 DataOneOf

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • name: LocalName

OML ScalarOneOfLiteralAxiom

An OML ScalarOneOfLiteralAxiom specifies a literal in a ScalarOneOfRestriction data range.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML StringScalarRestriction

An OML StringScalarRestriction is a data range that specifies how one string scalar adds facet restrictions to another. Applicable when the restricted scalar represents OWL2 Strings.

The restricted scalar must be directly or indirectly a restriction of:

Facets:

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • length: Option[PositiveIntegerLiteral]
  • minLength: Option[PositiveIntegerLiteral]
  • maxLength: Option[PositiveIntegerLiteral]
  • name: LocalName
  • pattern: Option[LiteralPattern]

OML SynonymScalarRestriction

An OML SynonymScalarRestriction is a data range that is defined as a synonym for another (i.e. the restrictedRange).

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • name: LocalName

OML TimeScalarRestriction

An OML TimeScalarRestriction is a data range that specifies how one time scalar adds facet restrictions to another. Applicable when the restricted scalar represents OWL2 Time Instants.

The restricted scalar must be directly or indirectly a restriction of:

Facets:

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • restrictedRangeUUID: UUID (Foreign Key for: OML DataRange)
  • name: LocalName

OML EntityScalarDataProperty

An OML EntityScalarDataProperty is an OML DataRelationship whose domain is an OML Entity and range is an OML DataRange.

{APIs: Normalized, Functional}

Concrete definition with 3 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • domainUUID: UUID (Foreign Key for: OML Entity)
  • rangeUUID: UUID (Foreign Key for: OML DataRange)
  • isIdentityCriteria: Boolean
  • name: LocalName

OML EntityStructuredDataProperty

An OML EntityStructuredDataProperty is an OML DataRelationship whose domain is an OML Entity and range is an OML Structure.

{APIs: Normalized, Functional}

Concrete definition with 3 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • domainUUID: UUID (Foreign Key for: OML Entity)
  • rangeUUID: UUID (Foreign Key for: OML Structure)
  • isIdentityCriteria: Boolean
  • name: LocalName

OML ScalarDataProperty

An OML ScalarDataProperty is an OML DataRelationship whose domain is an OML Structure and range is an OML DataRange.

{APIs: Normalized, Functional}

Concrete definition with 3 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • domainUUID: UUID (Foreign Key for: OML Structure)
  • rangeUUID: UUID (Foreign Key for: OML DataRange)
  • name: LocalName

OML StructuredDataProperty

An OML StructuredDataProperty is an OML DataRelationship whose domain is an OML Structure and range is an OML Structure.

{APIs: Normalized, Functional}

Concrete definition with 3 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • domainUUID: UUID (Foreign Key for: OML Structure)
  • rangeUUID: UUID (Foreign Key for: OML Structure)
  • name: LocalName

OML ReifiedRelationship

An OML ReifiedRelationship is an OML ConceptualRelationship and a kind of OML CharacterizedEntityRelationship where an instance has an intrinsic identity. This means that an OML ReifiedRelationship can be involved as the domain or the range of another OML EntityRelationship as well as the domain of an OML DataRelationshipFromEntity.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • sourceUUID: UUID (Foreign Key for: OML Entity)
  • targetUUID: UUID (Foreign Key for: OML Entity)
  • isAsymmetric: Boolean
  • isEssential: Boolean
  • isFunctional: Boolean
  • isInverseEssential: Boolean
  • isInverseFunctional: Boolean
  • isIrreflexive: Boolean
  • isReflexive: Boolean
  • isSymmetric: Boolean
  • isTransitive: Boolean
  • name: LocalName

OML ForwardProperty

An OML ForwardProperty is an essential part of an OML ReifiedRelationship. An OML ForwardProperty defines the unreified relationship from the OML ReifiedRelationship's domain to its range.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • name: LocalName

OML InverseProperty

An OML InverseProperty is an optional part of an OML ReifiedRelationship. If defined, it corresponds to the inverse of the OML ReifiedRelationship's OML ForwardProperty.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • name: LocalName

OML UnreifiedRelationship

An OML UnreifiedRelationship is a kind of OML CharacterizedEntityRelationship where an instance has no intrinsic identity but rather structural equivalence semantics as a tuple of references. This means that an OML UnreifiedRelationship cannot be involved as the domain or range of any kind of OML DirectedBinaryRelationshipKind.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • sourceUUID: UUID (Foreign Key for: OML Entity)
  • targetUUID: UUID (Foreign Key for: OML Entity)
  • isAsymmetric: Boolean
  • isEssential: Boolean
  • isFunctional: Boolean
  • isInverseEssential: Boolean
  • isInverseFunctional: Boolean
  • isIrreflexive: Boolean
  • isReflexive: Boolean
  • isSymmetric: Boolean
  • isTransitive: Boolean
  • name: LocalName

OML ChainRule

An OML ChainRule corresponds to a named SWRL implication rule whose consequent head is a single OML UnreifiedRelationship, ur, and whose antecedent body consists of at least 1 OML RuleBodySegment possibly followed by other OML RuleBodySegment(s).

SWRL variables are implicit in OML in the following sense:

  • The consequent head, ur is a binary predicate: ur(?d, ?r) where ?d and ?r are variables corresponding to, respectively, the domain and range of the OML UnreifiedRelationship ur.
  • ?d is the first variable of the OML Term used as the termPredicate of the firstSegment;
  • ?r is the last variable of the OML Term used as the termPredicate of the last OML RuleBodySegment;
  • for an OML RuleBodySegment at position i that has a nextSegment at position i+1, the last variable of the OML Term used as the termPredicate at i must be identical to the first variable of the OML Term used as the termPredicate at `i+1;
  • for an OML RuleBodySegment whose segmentPrediccate is an OML UnarySegmentPredicate, the termPredicate is unary and its unique variable plays the roles of both first and last variables;
  • for an OML RuleBodySegment whose segmentPredicate is an OML BinarySegmentForwardPropertyPredicate, the termPredicate is binary and its first and second variables correspond respectively to the domain and range of the property interpreted in the forward direction from its domain to its range;
  • for an OML RuleBodySegment whose segmentPredicate is an OML BinarySegmentReversePropertyPredicate, the termPredicate is binary and its first and second variables correspond respectively to the range and domain of the property interpreted in the reverse direction from its range to its domain.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

OML RuleBodySegment

An OML RuleBodySegment corresponds to a predicate in the body of a SWRL rule. The position of an OML RuleBodySegment is 1 for the firstBodySegment of an OML ChainRule. If the position of the current OML RuleBodySegment is p, then the position of the nextSegment, if defined, is p+1.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)

OML SegmentPredicate

An OML SegmentPredicate wraps a reference to an OML Term used as a predicate for an OML ChainRule.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

OML EntityExistentialRestrictionAxiom

An OML EntityExistentialRestrictionAxiom maps to an OWL2 Object Property Existential Restriction.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

OML EntityUniversalRestrictionAxiom

An OML EntityUniversalRestrictionAxiom maps to an OWL2 Object Property Universal Restriction.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

OML EntityScalarDataPropertyExistentialRestrictionAxiom

An OML EntityScalarDataPropertyExistentialRestrictionAxiom maps to an OWL2 DataSomeValuesFrom restriction (the range must be explicitly defined as a Scalar datatype)

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML EntityScalarDataPropertyParticularRestrictionAxiom

* An OML EntityScalarDataPropertyParticularRestrictionAxiom maps to an OWL2 DataHasValue restriction.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML EntityScalarDataPropertyUniversalRestrictionAxiom

An OML EntityScalarDataPropertyUniversalRestrictionAxiom maps to an OWL2 DataAllValuesFrom (the range must be explicitly defined as a Scalar datatype)

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML EntityStructuredDataPropertyParticularRestrictionAxiom

* An OML EntityStructuredDataPropertyParticularRestrictionAxiom maps to an OWL2 ObjectHasValue restriction.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML RestrictionStructuredDataPropertyTuple

An OML RestrictionStructuredDataPropertyTuple is an OML RestrictionStructuredDataPropertyContext nested in a container OML RestrictionStructuredDataPropertyContext.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

OML RestrictionScalarDataPropertyValue

An OML RestrictionScalarDataPropertyValue specifies a literal string as the value of an OML DataRelationshipToScalar in the scope of an OML RestrictionStructuredDataPropertyContext.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML AspectSpecializationAxiom

An OML AspectSpecializationAxiom is a logical axiom about a taxonomic relationship between a specific OML Aspect and a general OML Entity.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • superAspectUUID: UUID (Foreign Key for: OML Aspect)
  • subEntityUUID: UUID (Foreign Key for: OML Entity)

OML ConceptSpecializationAxiom

An OML ConceptSpecializationAxiom is a logical axiom about a taxonomic relationship between a specific and general OML Concept.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • superConceptUUID: UUID (Foreign Key for: OML Concept)
  • subConceptUUID: UUID (Foreign Key for: OML Concept)

OML ReifiedRelationshipSpecializationAxiom

An OML ReifiedRelationshipSpecializationAxiom is a logical axiom about a taxonomic relationship between a specific and general OML ConceptualRelationship.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

OML SubDataPropertyOfAxiom

An OML SubDataPropertyOfAxiom is a logical axiom about a taxonomic relationship between a specific and general OML EntityScalarDataProperty.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML SubObjectPropertyOfAxiom

An OML SubObjectPropertyOfAxiom is a logical axiom about a taxonomic relationship between a specific and general OML UnreifiedRelationship.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

3 OML Graphs Glossary

3.1 OML Graphs Glossary of 3 Concrete Definitions

3.1.1 OML Graphs Glossary of 3 Schema Concrete Definitions

OML TerminologyGraph

An OML TerminologyGraph is an OML TerminologyBox with no statements our axioms involving OML Bundle(s).

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • kind: TerminologyKind
  • iri: IRI

OML ConceptDesignationTerminologyAxiom

An OML ConceptDesignationTerminologyAxiom establishes a relationship from a source OML TerminologyBox where a designated OML Concept is defined to a target OML TerminologyGraph in which the internal structure of the designated OML Concept can be defined.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • designatedConceptUUID: UUID (Foreign Key for: OML Concept)
  • designatedTerminologyIRI: IRI (Foreign Key for: OML TerminologyBox)

OML TerminologyNestingAxiom

An OML TerminologyNestingAxiom provides support for relating a white-box nested OML TerminologyGraph used for describing internal details about a nesting OML Concept defined in a nesting OML TerminologyBox. This nesting OML Concept specifies the context for the internal details defined in the nested OML TerminologyGraph.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • nestingContextUUID: UUID (Foreign Key for: OML Concept)
  • nestingTerminologyIRI: IRI (Foreign Key for: OML TerminologyBox)

4 OML Bundles Glossary

4.1 OML Bundles Glossary of 4 Abstract Definitions

OML ConceptTreeDisjunction

An OML ConceptTreeDisjunction represents the root & non-leaf nodes of a concept taxonomy:

  • Root node is a RootConceptTaxonomyAxiom.
  • Non-leaf nodes are AnonymousConceptTaxonomyAxioms.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML DisjointUnionOfConceptsAxiom

An OML DisjointUnionOfConceptsAxiom(s) specifies the logical union of non-leaf & leaf nodes in a concept taxonomy tree:

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML TerminologyBundleAxiom

An OML TerminologyBundleAxiom is a TerminologyAxiom that asserts a logical statement in an OML Bundle.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 1 specialization:

OML TerminologyBundleStatement

An OML TerminologyBundleStatement is a logical axiom about an OML TerminologyThing in an OML Bundle.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 1 specialization:

4.2 OML Bundles Glossary of 5 Concrete Definitions

4.2.1 OML Bundles Glossary of 5 Schema Concrete Definitions

OML Bundle

An OML Bundle is an OML TerminologyBox that is an acyclic logical aggregate of other OML TerminologyBox(es) and that logically assert OML TerminologyBundleStatement(s).

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • kind: TerminologyKind
  • iri: IRI

OML BundledTerminologyAxiom

An OML BundledTerminologyAxiom identifies an OML TerminologyBox that an OML Bundle aggregates. An OML BundledTerminologyAxiom allows an OML Bundle to make references (via OML TerminologyStatement(s)) to OML TerminologyThing(s) within the transitive closure of a bundledTerminology.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • bundledTerminologyIRI: IRI (Foreign Key for: OML TerminologyBox)

OML RootConceptTaxonomyAxiom

An OML RootConceptTaxonomyAxiom asserts that, in the scope of a Bundle, a particular OML Concept is the root of a taxonomy of concept specializations.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • rootUUID: UUID (Foreign Key for: OML Concept)

OML AnonymousConceptUnionAxiom

An OML AnonymousConceptUnionAxiom specifies an anonymous logical union of DisjointUnionOfEntityAxioms in a concept taxonomy tree. Although it is semantically anonymous, it is syntactically identified with name whose only purpose is for generating the axiom's namespace UUID.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • name: LocalName

OML SpecificDisjointConceptAxiom

An OML SpecificDisjointConceptAxiom specifies a leaf in a concept taxonomy tree.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • disjointLeafUUID: UUID (Foreign Key for: OML Concept)

5 OML Descriptions Glossary

5.1 OML Descriptions Glossary of 4 Abstract Definitions

OML ConceptualEntitySingletonInstance

An OML ConceptualEntitySingletonInstance defines an instance of an OML ConceptualEntity. An OML ConceptualEntitySingletonInstance maps to an OWL2 NamedIndividual. The semantics depends on the kind of OML ConceptualEntity classifier:

{APIs: Normalized, Functional}

Abstract definition with 2 generalizations:

and with 2 specializations:

OML DescriptionBoxRelationship

An OML DescriptionBoxRelationship is a directed binary relationship from an OML DescriptionBox source to an OML Module target.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML SingletonInstanceStructuredDataPropertyContext

An OML SingletonInstanceStructuredDataPropertyContext defines the context of an OML DataRelationshipToStructure for an insance of either an OML Concept or OML Structure for specifying values of its data properties via nested OML StructuredDataPropertyTuple(s) and OML ScalarDataPropertyValue(s).

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 2 specializations:

OML TerminologyInstanceAssertion

An OML TerminologyInstanceAssertion is a logical OML ModuleElement defined in an OML TerminologyDescription.

{APIs: Normalized, Functional}

Abstract definition with 1 generalization:

and with 4 specializations:

5.2 OML Descriptions Glossary of 12 Concrete Definitions

5.2.1 OML Descriptions Glossary of 12 Schema Concrete Definitions

OML DescriptionBox

An OML DescriptionBox maps to an OWL2-DL Ontology about [OWL2-DL NamedIndividuals] mapped from OML TerminologyInstanceAssertion(s).

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • kind: DescriptionKind
  • iri: IRI

OML DescriptionBoxExtendsClosedWorldDefinitions

An OML DescriptionBoxExtendsClosedWorldDefinition specifies an OML DescriptionBoxRelationship from an OML DescriptionBox to an OML TerminologyBox such that an OML SingletonInstance defined in the former can be an instance of an OML Term defined in the latter.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • closedWorldDefinitionsIRI: IRI (Foreign Key for: OML TerminologyBox)

OML DescriptionBoxRefinement

An OML DescriptionBoxRefinement is an OML DescriptionBoxRelationship from an OML DescriptionBox to another OML DescriptionBox where the former refines the descriptions of the latter.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • refinedDescriptionBoxIRI: IRI (Foreign Key for: OML DescriptionBox)

OML ConceptInstance

An OML ConceptInstance is an OML ConceptualEntitySingletonInstance classified by an OML Concept.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • singletonConceptClassifierUUID: UUID (Foreign Key for: OML Concept)
  • name: LocalName

OML ReifiedRelationshipInstance

An OML ReifiedRelationshipInstance is an OML ConceptualEntitySingletonInstance classified by an OML ConceptualRelationship.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

  • uuid: UUID (Primary Key)
  • singletonConceptualRelationshipClassifierUUID: UUID (Foreign Key for: OML ConceptualRelationship)
  • name: LocalName

OML ReifiedRelationshipInstanceDomain

An OML ReifiedRelationshipInstanceDomain specifies which OML ConceptualEntitySingletonInstance plays the role of the domain for an OML ReifiedRelationshipInstance. An OML ReifiedRelationshipInstanceDomain has no intrinsic identity; instead, an OML ReifiedRelationshipInstanceDomain is semantically equivalent to another OML ReifiedRelationshipInstanceDomain referencing the same property and domain.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML ReifiedRelationshipInstanceRange

An OML ReifiedRelationshipInstanceRange specifies which OML ConceptualEntitySingletonInstance plays the role of the range for an OML ReifiedRelationshipInstance. An OML ReifiedRelationshipInstanceRange has no intrinsic identity; instead, an OML ReifiedRelationshipInstanceRange is semantically equivalent to another OML ReifiedRelationshipInstanceRange referencing the same property and range.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML UnreifiedRelationshipInstanceTuple

An OML UnreifiedRelationshipInstanceTuple specifies a triple involving a reference to an OML ConceptualEntitySingletonInstance playing the role of the domain of an OML UnreifiedRelationship whose range is played by a reference to an OML ConceptualEntitySingletonInstance. An OML UnreifiedRelationshipInstanceTuple has no intrinsic identity; instead, an OML UnreifiedRelationshipInstanceTuple is semantically equivalent to another OML UnreifiedRelationshipInstanceTuple referencing the same domain, property and range.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML SingletonInstanceStructuredDataPropertyValue

An OML SingletonInstanceStructuredDataPropertyValue is an SingletonInstanceStructuredDataPropertyContext for an OML ConceptualEntitySingletonInstance.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML SingletonInstanceScalarDataPropertyValue

An OML SingletonInstanceScalarDataPropertyValue defines a tuple for representing the atomic String value of an OML EntityScalarDataProperty for a particular OML ConceptualEntitySingletonInstance.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

OML StructuredDataPropertyTuple

An OML StructuredDataPropertyTuple is an SingletonInstanceStructuredDataPropertyContext nested in a container OML SingletonInstanceStructuredDataPropertyContext.

{APIs: Normalized, Functional}

Concrete definition with 1 generalization:

Normalized Relational Schema Table:

OML ScalarDataPropertyValue

An OML ScalarDataPropertyValue specifies a literal string as the value of an OML DataRelationshipToScalar in the scope of an OML SingletonInstanceStructuredDataPropertyContext.

{APIs: Normalized, Functional}

Concrete definition with 2 generalizations:

Normalized Relational Schema Table:

results matching ""

    No results matching ""