Pourquoi ne puis-je pas voir les résultats de la requête dans protege4?

Question

Je savais que ce serait peut-être une question stupide, mais je ne sais pas la réponse :)

J'utilise protege4 je construit mon ontologie et quand j'essayé d'utiliser DL la requête de la prise de requête DL en protege4 il exécute bien et j'obtiens des résultats.

Cependant, lorsque je clique sur "Ajouter à l'ontologie" pour ajouter ma requête à l'ontologie, elle l'ajoute mais sans résultat de recherche !!! Pourquoi n'y a-t-il aucun résultat de requête? et comment le voir?

Merci

Answer 1

Première la terminologie:

• Chaque ontologie OWL est un ensemble d'axiomes OWL.
• Chaque DL-Query est une expression de classe OWL .
• Chaque résultat de requête DL est un ensemble de OWL entitie s.

Vous pouvez uniquement ajouter des axiomes à une ontologie. Vous ne pouvez pas ajouter d'expressions de classe ni d'ensembles d'entités à une ontologie OWL.

Le bouton « Ajouter à l'ontologie » semble créer une nouvelle EquivalentClasses -axiom sur la base de la requête (par exemple d'expression de la classe), et une classe nommée (donnée par l'utilisateur), et affirme ensuite cet axiome en l'ontologie active, c

EquivalentClasses(new_name query) 

(je ne l'ai pas tout à fait le faire fonctionner comme ça dans ma version de Protege 4, mais une telle fonctionnalité serait logique.)

la spécification actuelle de OWL2 ne dit pas quoi que ce soit sur la façon de stocker des expressions de classe et des résultats de requête dans l'ontologie. Ceux-ci doivent être spécifiés et calculés chaque fois à partir de zéro après le chargement de l'ontologie à partir du fichier.