Axiomes et restrictions d'objet de propriété d'objet OWL par transformation modèle de données logique-OWL

La transformation modèle de données logique-OWL génère des axiomes et des restrictions de propriété d'objet OWL à partir des types de relation , de l'existence et de la cardinalité d'un modèle de données logique.
La table suivante présente les mappages à partir du type de relation, de l'existence et de la cardinalité d'un modèle de données logique vers l'axiome et/ou la restriction de la propriété d'objet OWL :
Tableau 1. Mappages entre le modèle de données logique et la propriété d'objet OWL
Modèle de données logique : type de relation Modèle de données logique : existence Modèle de données logique : cardinalité OWL : axiome de propriété d'objet OWL : restriction de propriété d'objet
Multi-intervenant Facultatif ou obligatoire Zéro ou plus - -
Multi-intervenant Facultatif ou obligatoire Un ou plus - owl:minCardinality (1)
Non identifiante Facultatif ou obligatoire Zéro ou plus owl:Inverse FunctionalProperty  
Non identifiante Facultatif ou obligatoire Un ou plus owl:Inverse FunctionalProperty owl:minCardinality (1)
Non identifiante Facultatif ou obligatoire Zéro ou un owl:Inverse FunctionalProperty owl:max Cardinality (1)
Non identifiante Facultatif ou obligatoire Un(e) et un(e) seul(e) owl:Inverse FunctionalProperty owl:Cardinality (1)
Non identifiante Facultatif ou obligatoire Etendue owl:Inverse FunctionalProperty owl:minCardinality and owl:maxCardinality
Identifiante Facultatif ou obligatoire Zéro ou plus Target of owl:hasKey -
Identifiante Facultatif ou obligatoire Un ou plus Target of owl:hasKey owl:minCardinality (1)
Identifiante Facultatif ou obligatoire Zéro ou un Target of owl:hasKey owl:max Cardinality (1)
Identifiante Facultatif ou obligatoire Un(e) et un(e) seul(e) Target of owl:hasKey owl:Cardinality (1)
Identifiante Facultatif ou obligatoire Etendue Target of owl:hasKey owl:minCardinality and owl:maxCardinality

Commentaires