La transformación de un modelo de datos lógico a OWL genera restricciones y axiomas de propiedades de objetos OWL a partir de los tipos de relación, existencia y cardinalidad de un modelo lógico de datos.
En la siguiente tabla se muestran las correlaciones entre los tipos de relación, existencia y cardinalidad de un modelo lógico de datos con las restricciones y/o los axiomas de propiedades de objetos OWL:
Tabla 1. Correlaciones entre relaciones de modelos de datos lógicos con propiedades de objetos OWLModelo de datos lógico: Tipo de relación |
Modelo de datos lógico: Existencia |
Modelo de datos lógico: Cardinalidad |
OWL: Axioma de propiedad de objeto |
OWL: Restricción de propiedad de objeto |
De muchos a muchos |
Opcional u obligatorio |
Cero o más |
- |
- |
De muchos a muchos |
Opcional u obligatorio |
Uno o más |
- |
owl:minCardinality (1) |
No identificación |
Opcional u obligatorio |
Cero o más |
owl:Inverse FunctionalProperty |
|
No identificación |
Opcional u obligatorio |
Uno o más |
owl:Inverse FunctionalProperty |
owl:minCardinality (1) |
No identificación |
Opcional u obligatorio |
Cero o uno |
owl:Inverse FunctionalProperty |
owl:max Cardinality (1) |
No identificación |
Opcional u obligatorio |
Exactamente uno |
owl:Inverse FunctionalProperty |
owl:Cardinality (1) |
No identificación |
Opcional u obligatorio |
Rango |
owl:Inverse FunctionalProperty |
owl:minCardinality y owl:maxCardinality |
Identificación |
Opcional u obligatorio |
Cero o más |
Destino de owl:hasKey |
- |
Identificación |
Opcional u obligatorio |
Uno o más |
Destino de owl:hasKey |
owl:minCardinality (1) |
Identificación |
Opcional u obligatorio |
Cero o uno |
Destino de owl:hasKey |
owl:max Cardinality (1) |
Identificación |
Opcional u obligatorio |
Exactamente uno |
Destino de owl:hasKey |
owl:Cardinality (1) |
Identificación |
Opcional u obligatorio |
Rango |
Destino de owl:hasKey |
owl:minCardinality y owl:maxCardinality |