Une ontologie web sémantique peut-elle avoir la même expressivité mais un profil différent?

Question

J'analyse certaines ontologies avec le raisonnement de pellet, mais j'obtiens des résultats étranges. Lorsque j'effectue la méthode "pellet info" sur une ontologie, et que je compare le profil OWL à l'expressivité DL, j'ai parfois des ontologies qui ont des expressivités différentes et qui ont le même profil. Cela semble au moins plausible, mais je trouve aussi des ontologies avec la même expressivité mais des profils OWL différents. Comment est-ce possible, puisque le profil est une marque de l'expressivité et de la réductibilité de l'ontologie en premier lieu?

Answer 1

Si vous envisagez de comparer ontologies sous OWL2 (basées sur SROIQ) en général et, par exemple, un profil qui est un sous-langage tel que OWL-EL (basé sur EL++), alors il est concevable qu'une l'ontologie peut avoir la même expressivité et un «profil» différent, si vous considérez OWL2 comme un «profil» et une expressivité comme expressivité DL, puisque SROIQ subsume EL ++.

Cependant, si par le profil vous entendez strictement l'un des trois OWL2 profiles distincts; OWL2-EL, OWL2-QL et OWL2-RL, alors il est toujours possible que deux ontologies avec différents profils OWL2 puissent avoir la même expressivité (au moins DL-expressivité) que ces profils sont soutenus par des logiques de description qui peuvent avoir expressivité croisée.

Par exemple, ontologies dans le profil OWL2-EL (basé sur EL++) et dans le profil OWL2-QL (basé sur DL-Lite), ces deux logiques de description peut exprimer des choses telles que:

• Concept axiomes inclusion
• assertions d'instance contre les concepts et les rôles
• restrictions de propriété existentiels
• expressions concept conjonctives

Les ontologies dans l'un ou l'autre profil (EL, QL) qui sont limitées à l'utilisation des constructions DL qui sont communes aux deux auraient donc la même expressivité DL.