Relationship types, existence, and cardinality generated from the OWL-to-logical data model transformation

The OWL-to-logical data model transformation generates relationship types, existence, and cardinality for the logical data model based on the OWL object property axioms and restrictions.
The following table shows the mappings from an OWL object property axiom or restriction to the relationship type, existence, and cardinality for the logical data model:
Table 1. OWL object property to logical data model relationship mappings
OWL: Object property axiom OW: Object property restriction or axiom Logical data model: Relationship type Logical data model: Existence Logical data model: Cardinality
Target of owl:hasKey - Identifying Mandatory Zero or More
Target of owl:hasKey owl:minCardinality / owl:minQualified Cardinality (1) Identifying Mandatory One or More
Target of owl:hasKey
  • owl:maxCardinality / owl:maxQualified Cardinality (1)
  • owl:Functional Property
Identifying Mandatory Zero or One
Target of owl:hasKey
  • owl:cardinality
  • owl:qualified Cardinality (1)
Identifying Mandatory Exactly One
Target of owl:hasKey
  • owl:minCardinality / owl:minQualified Cardinality
  • owl:maxCardinality / owl:maxQualified Cardinality
Identifying Mandatory Range
owl:Inverse FunctionalProperty - Non-Identifying Optional Zero or More
owl:Inverse FunctionalProperty owl:minCardinality / owl:minQualified Cardinality (1) Non-Identifying Optional One or More
owl:Inverse FunctionalProperty
  • owl:maxCardinality /owl:maxQualified Cardinality (1)
  • owl:Functional Property
Non-Identifying Optional Zero or One
owl:Inverse FunctionalProperty owl:cardinality / owl:qualified Cardinality (1) Non-Identifying Optional Exactly One
owl:Inverse FunctionalProperty owl:minCardinality / owl:minQualified Cardinality and owl:maxCardinality / owl:maxQualified Cardinality Non-Identifying Optional Range
owl:Functional Property - Non-Identifying Optional Zero or One
- - Many To Many Optional Zero or More
- owl:minCardinality / owl:minQualified Cardinality (1) Many To Many Optional One or More

Feedback