Version imprimable
Bonjour,
Je suis étudiant en master et pour mon sujet de mémoire je dois faire une comparaison sur les raisonneurs existants du web sémantique dans un contexte bien particulier "pour raisonner sur une ontologie qui présente une prothèse de mémoire". Est ce que vous pouvez m'aider et m'orienter sur des bonnes documentations qui pourront m'aider à bien faire mon travail?
Je vous remercie d'avance.
Bonjour,
Supposant que je viens de commencer à créer mon ontologie sur Protégé et j'ai créé les classes : Male , Femele et les propriétés brotherOf et sisterOf et je veux maintenant introduire une règle sur mon ontologie dans Protégé.
Voici par exemple cette règle:
règle : si une classe "Male" appartient à une propriété "brotherOf" avec une classe "Female" alors la classe "Female" appartient à la propriété "sisterOf" avec la classe "Male" ;
Merci d'avance :)
Tutorial OWL pour définir tes "règles" (en anglais) : http://owl.cs.manchester.ac.uk/tutor...geowltutorial/
Pour les raisonneurs, regarde Pellet, HermiT, ou OWLIM. As-tu au moins consulté la page de wikipedia qui donne déjà un tableau de comparaison des raisonneurs avant de poser ta question ?
Au passage vu que tu es sur Protégé : http://protege.stanford.edu/doc/owl/...g-started.html
Et en bas de page tu as :
Citation:
For a much more thorough overview of Protégé-OWL and the OWL language, refer to the The Protégé-OWL Tutorial.
More in-depth information is available in the Protégé-OWL documentation section of the Protégé wiki.
If your ontology contains any imports, refer to our guide on managing imports in Protégé-OWL.
Je vous remercie pour votre aide @Sapience et @Pandapi.
J'ai lu la comparaison qui existe sur Wikipédia ainsi que des articles de recherches qui présente une comparaison de quelques raisonneurs dans un contexte bien particulier.J'ai lu aussi le lien que vous m'avez recommander pour la définitions de mes règles mais j'ai pas compris comment faire la condition si ...... alors .......
tout ce que j'ai compris;que pour dire par exemple comme dans l'exemple que j'ai donné "règle : si une classe "Male" appartient à une propriété "brotherOf" avec une classe "Female" alors la classe "Female" appartient à la propriété "sisterOf" avec la classe "Male" ".je peux définir la relation entre les deux classes Male et Female avec la propriété brotherOf dans protégé par l'écriture de l’axiome: brotherOf some Female ceci après avoir sélectionner la classe Male et vis versa pour définir la deuxième partie j'écris l'axiome : sisterOf some Male aprés avoir sélectionner la classe Female mais la condition si..... alors je sais pas :? excusez moi peut être que c'est une question débile mais je bloque sur ça et merci pour votre aide.
C'est avec les règles SWRL que tu peux faire ce genre de trucs (si tu travailles avec Protégé bien sûr). Tu peux utiliser le moteur d'inférence Jess à cet égard, ou bien Pellet qui permet de déclencher des raisonnements mais sans prendre en considération la base de règles.