[Protégé] Protégé 4.1 et règles SWRL

[araqh]

Bonjour,

J'ai crée une ontologie avec la dernière version de Protégé, la 4.1.
J'ai besoin d'utiliser des built-in atoms (par exemple le notEqual) dans les règles SWRL que j'ai créés. Par contre dès que je les utilise et qu'ensuite je lance le raisonneur, il me fait l'erreur: "UnsupportedOperationException: A SWRL rule uses built-in atom, but built-in atoms are not supported yet".

J'utlise le raisonneur HermiT 1.3.4, car c'est le seul (chez moi en tout cas) qui interprète les règles SWRL, mais seulement celles ne contenant pas des built-in atoms, car comme j'ai dit dès que j'ajoute un built-in atom dans une règle, j'ai le message d'erreur ci-dessus qui s'affiche à l'écran.

Il me faudrait vraiment utiliser les built-in atoms.
Quelqu'un a-t-il une solution pour cela?

Merci d'avance.

[snake264]

Envoyé par araqh

"UnsupportedOperationException: A SWRL rule uses built-in atom, but built-in atoms are not supported yet"

Ces built-in ne sont pas encore supportées. Essai de voir dans les versions bétas de Protégé.

Personnellement je ne connais pas d'autres éditeurs d'ontologies aussi poussé que Protégé sur lequel tu pourrais essayer

[Metafire18]

J'utilise la version 3.4.6 de Protégé et les Builts-in ont l'air d'être pris en charge. A vérifier toutefois, mes connaissances sur le sujet sont très limitées

Cette version de Protégé est disponible ici ==> http://protege.stanford.edu/download...eb_Installers/

J'ai effectué l'essai avec le raisonneur Pellet 1.5.2.

[April Fool]

Pellet 2.0 peut gérer presque tout SWRL, à quelques exceptions près. Pellet peut être ajouté aux raisonneurs de Protégé (on peut l'ajouter facilement en allant dans le menu File > Preferences... > onglet Plugins > Check for downloads. Sélectionner Pellet dans la liste puis redémarrer Protégé.

Ensuite, on peut ajouter des règles à son ontologie avec l'éditeur de règles que l'on peut ajouter en allant dans Window > Views > Ontology views > Rules. On écrit les règles sous la forme:

Code :

Prop1(?x,?y), Prop2(?z,?y), Class1(?x) -> Prop(?z, ?x)

On peut utiliser les builtins directement sans préfixe (e.g., notEqual(?x,?y)).

[cotechnoe]

Bonjour à tous.
J’ai personnellement beaucoup utilisé les SwrlBuiltin avec Protégé 3.4 et cela fonctionne très bien. Cette version de Protégé utilise le raisonneur Jess comme moteur d’inférence pour les règles. D’après mes recherches, le moteur Pellet ne permet pas de créer ses propres atomes SWRL. C’est pour cette raison que la version 4.1 de Protégé ne permet pas la construction d’atomes SwrlBuiltin. La nouvelle version 3.5 Béta de Protégé semble utiliser un autre moteur d’inférence que je n’ai pas encore essayé. Je transmets quelques références qui pourront être utile…

1. O’Connor, M., Knublauch, H., Tu, S., Musen, M.: Writing Rules for the Semantic Web Using SWRL and Jess. 8th International Protege Conference, Protege with Rules Workshop, vol. 2006. Stanford Medical Informatics, Stanford University School of Medicine, Stanford, CA 94305 (2005)
2. O’Connor, M., Knublauch, H., Tu, S., Grosof, B., Dean, M., Grosso, W., Musen, M.: Supporting Rule System Interoperability on the Semantic Web with SWRL. In: Fourth International Semantic Web Conference (ISWC 2005). Stanford Medical Informatics, Stanford University School of Medicine, Galway, Ireland (2005)
3. O'Connor, M.J., Nyulas, C.I., Shankar, R.D., Das, A.K., Musen, M.A.: The SWRLAPI: A Development Environment for Working with SWRL Rules. In: OWL: Experiences and Directions (OWLED), Fifth International Workshop, held with 7th International Semantic Web Conference, Karlsruhe, Germany. (2008)
4. W3C, SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http://www.w3.org/Submission/SWRL/
5. DARPA DAML Program, SWRL Section 8. Built-Ins, http://www.daml.org/rules/proposal/builtins.html
6. Stanford Center for Biomedical Informatics Research, SWRLBuilt In Bridge, http://protege.cim3.net/cgi-bin/wiki...LBuiltInBridge
7. Stanford Center for Biomedical Informatics Research, SWRL Factory FAQ, http://protege.cim3.net/cgi-bin/wiki.pl?SWRLFactoryFAQ
8. Stanford Center for Biomedical Informatics Research, SWRLTab, http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTab
9. Freidman-Hill, E.: Jess in action; Rule-Based Systems in Java. Manning, Greenwich (2003)
10. Golbreich, C.: Combining Rule and Ontology Reasoners for the Semantic Web. Rules and Rule Markup Languages for the Semantic Web, pp. 6-22 (2004)
11. Sandia National Laboratories, Jess: the Rule Engine for the Java Platform, http://www.jessrules.com/jess/index.shtml

[April Fool]

D’après mes recherches, le moteur Pellet ne permet pas de créer ses propres atomes SWRL. C’est pour cette raison que la version 4.1 de Protégé ne permet pas la construction d’atomes SwrlBuiltin.

Je ne comprends pas. Pellet implémente SWRL avec la plupart des builtins. On peut écrire des règles SWRL dans Protégé 4.1, y compris des règles utilisant des builtins. On peut ensuite raisonner avec ces règles en utilisant Pellet, à l'intérieur de Protégé 4.1.

Quel est l'intérêt des références ? Ici, c'est un forum de développeur, pas un forum de chercheurs en informatique.

[Metafire18]

Envoyé par April Fool

Quel est l'intérêt des références ? Ici, c'est un forum de développeur, pas un forum de chercheurs en informatique.

Ici, c'est le club des professionnels de l'informatique à vrai dire ce qui veut donc dire que les discussions sur la recherche informatique ne sont apriori pas proscrites et ce, jusqu'à preuve du contraire.

En outre, les références (qui relèvent pour la majorité plus du tutoriel que de la publication scientifique d'ailleurs) données par cotechnoe peuvent être tout à fait utile à un membre désireux de se former à l'utilisation de SWRL.

[cotechnoe]

En effet, Pellet supporte certains SWRL-Builtin... mais pas tous, ( voir les limites présentées à la ref. suivante: http://clarkparsia.com/pellet/faq/rules )

Ce qu'il ne permet pas de faire, c'est surtout de créer ses propres atomes BuiltIn alors que Protégé 3.X le permet, notamment grâce au SWRLBuiltIn-Bridge. Ce Bridge permet d'interfacer des atomes de son cru à ses propres implémentations Java. Ici, Protégé utilise Jess comme moteur d'inférence de rège SWRL et selon la derniere note de version( http://protegewiki.stanford.edu/wiki..._Release_Notes ) de la version 3.5, Protégé utilisera drools de Jboss ( http://www.jboss.org/drools ). Ce qui à première vue, promet beaucoup.

Par la technologie SWRLBuilIn-Bridge, Protégé permet d'étendre l'utilisation des SWRL BuiltIn bien au dela de la spécification du W3C. La référence suivant http://protege.cim3.net/cgi-bin/wiki...iltInLibraries présente plusieurs bibliothèques d'atomes SWRLBuiltin pouvant être utilisées notamment pour la manipulation d'expressions mathématiques sofistiquées ou encore la manipulation d'expressions temporelles et bien d'autres.

Tout ça est bien compliqué, j'en conviens. Peut-être que plus de recherche permettra de simplifier l'utilisation de cette technologie

[April Fool]

Ici, c'est le club des professionnels de l'informatique à vrai dire ce qui veut donc dire que les discussions sur la recherche informatique ne sont apriori pas proscrites et ce, jusqu'à preuve du contraire.

D'accord, discussion de recherche acceptée. Cela dit, je pense tout de même que réduire les références à deux ou trois citations bien spécifiques aurait été plus avenant, vue la question initiale de araqh, qui ne semblait pas en demander tant.

Ce qu'il ne permet pas de faire, c'est surtout de créer ses propres atomes BuiltIn alors que Protégé 3.X le permet

Ah ok. Mais il semble que araqh ne cherchait qu'à utiliser des builtins existant de SWRL : il précise "par exemple le notEqual".

[marwa_marwa]

Désolé mais comment avez vous installé le raisonneur Pellet?? et quelle version de Pellet dois je utiliser pour la version 3.2.1 de prrotégé?? merci d'avance

[cotechnoe]

Bonjour marwa_marwa,

Tu sais, la version 3.2.1 de Protégé est une vieille version. À priori, il n'y a pas de problèmes à ce que tu utilises une vieille version... sauf que je pense que cela va être beaucoup plus facile de te donner des réponses exactes si tu actualises ton protégé. Dans une version plus actuelle comme la version 3.4.8, le raisonneur Pellet est installé par défaut.

[marwa_marwa]

Merci beaucoup cotechnoe, je viens de l'actualiser à la version 3.4.6, elle contient d'ailleurs le raisonneur Pellet par défaut comme tu viens de dire (Pellet 1.5.2), cependant j'arrive pas à comprendre comment utiliser ce raisonneur pour une règle SWRL que j'ai écris... Si je clique par exemple sur le menu Reasonning-->Compute inferred types, ça m'affiche pas le résultat de la régle SWRL inférrée.

Comment puis je utiliser Pellet pour interpréter les règles SWRL??? Merci d'avance

[April Fool]

La version 1.5.2 de Pellet est également une vieille version. Aujourd'hui, on est à la version 2.3.0. Je ne sais pas comment on installe un raisonneur dans Protégé 3.x.x mais avec Protégé 4.x, c'est très simple. Il y a un menu qui permet d'ajouter facilement des plugins, raisonneurs ou visualiseurs, et dans ceux-ci figure Pellet. Protégé 4.x propose même de les mettre à jour lorsqu'une nouvelle version est disponible.

[aladin.me]

Oui protégé 4 est plus facile à utiliser pour ajouter les plugins.
Mais après avoir ajouter les rules, quelles sont les étapes suivantes ?

Merci d'avance