Restricciones y axiomas de propiedades de objetos OWL generados por una transformación de modelo de datos lógico a OWL

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 OWL
Modelo 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

Comentarios