Wnioskowanie regułowe z ontologiami OWL 2 RL

Bąk, J.; Nowak, M.; Jędrzejek, Cz.

Artykuł - szczegóły

Tytuł artykułu

Wnioskowanie regułowe z ontologiami OWL 2 RL

Autorzy

Bąk J. , Nowak M. , Jędrzejek Cz.

Identyfikatory

Warianty tytułu

Rule-based reasoning with OWL 2 RL ontologies

Języki publikacji

Abstrakty

W pracy zaprezentowano metodykę transformacji ontologii OWL 2 RL do zestawu reguł, które mogą zostać użyte w regułowym silniku wnioskującym. Zaproponowano podział wnioskowania na dwie części: terminologiczną i asercyjną. Opracowano mechanizm transformacji ontologii do Abstrakcyjnej Składni Reguł i Faktów. Umożliwia to zamianę ontologii na język dowolnego silnika wnioskującego. W artykule opisano implementację dla silników Jess i Drools. Przeprowadzone eksperymenty pokazują, że opracowane narzędzie radzi sobie dużo lepiej we wnioskowaniu na danych niż w narzędziu HermiT.

In this paper we present a method of transforming OWL 2 RL ontologies into a set of rules which can be used in a rule engine. We use HermiT reasoner to perform the TBox reasoning. The ontology is transformed into an Abstract Syntax of Rules and Facts and then into any forward chaining reasoning engine. We present an implementation of our method using Jess and Drools engines. The evaluation per-formed on benchmark ontologies shows that we can perform the ABox reasoning with considerably better performance than HermiT.

Słowa kluczowe

ontologie systemy regułowe wnioskowanie

ontologies rule-based systems reasoning

Wydawca

Wydawnictwo Politechniki Śląskiej

Czasopismo

Studia Informatica

Rocznik

2014

Tom

Vol. 35, nr 2

Strony

111--125

Opis fizyczny

Bibliogr. 21 poz.

Twórcy

autor

Bąk J.

Politechnika Poznańska, Instytut Automatyki i Inżynierii Informatycznej

autor

Nowak M.

Politechnika Poznańska, Instytut Automatyki i Inżynierii Informatycznej

autor

Jędrzejek Cz.

Politechnika Poznańska, Instytut Automatyki i Inżynierii Informatycznej

Bibliografia

1. Baader F., Brandt S., Lutz C.: Pushing the el envelope further. [w:] Clark K., Patel-Schneider P. F. (red.): Proceedings of the OWLED 2008 DC Workshop on OWL: Ex-periences and Directions, 2008.
2. Bak J., Brzykcy G., Jedrzejek C.: Extended rules in knowledge-based data access. Pro-ceedings of the 5th international conference on Rule-based modeling and computing on the semantic web, RuleML’11, Springer-Verlag, Berlin, Heidelberg 2011, s. 112÷127.
3. Boris M.: On the properties of metamodeling in OWL. Journal of Logic and Computa-tion, Vol. 17, Issue 4, 2007, s. 617.
4. Calvanese D., Giacomo G., Lembo D., Lenzerini M., Rosati R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. J. Autom. Rea-son., Vol. 39, Issue 3, 2007, s. 385÷429.
5. Faruqui R., MacCaull W.: Owlontdb: A scalable reasoning system for OWL 2 RL on-tologies with large aboxes. [w:] Weber J., Perseil I. (red.): Foundations of Health In-formation Engineering and Systems. Lecture Notes in Computer Science, Vol. 7789, Springer, Berlin, Heidelberg 2013, s. 105÷123.
6. Grau B. C., Horrocks I., Motik B., Parsia B., Patel-Schneider P., Sattler U.: OWL 2: The next step for OWL. Web Semant. 2008, Vol. 6, Issue 4, 2008, s. 309÷322.
7. Grosof B. N., Horrocks I., Volz R., Decker S.: Description logic programs: combining logic programs with description logic. Proceedings of the 12th international conference on World Wide Web, WWW ’03, ACM, New York, NY, USA 2003, s. 48÷57.
8. Hill E. F.: Jess in Action: Java Rule-Based Systems. Manning Publications Co. Green-wich, CT, USA 2003.
9. Hogan A., Decker S.: On the ostensibly silent w in OWL 2 RL. [w:] Polleres A., Swift T. (red.): Web Reasoning and Rule Systems, Lecture Notes in Computer Science, Vol. 5837, Springer, Berlin, Heidelberg 2009, s. 118÷134.
10. Hogan A., Pan J., Polleres A., Decker S.: SAOR: Template rule optimisations for dis-tributed reasoning over 1 billion linked data triples. [w:] Patel-Schneider P., Pan Y., Hitzler P., Mika P., Zhang L., Pan J., Horrocks I., Glimm B. (red.): The Semantic Web ISWC 2010, Lecture Notes in Computer Science, Vol. 6496, Springer, Berlin, Heidel-berg 2010, s. 337÷353.
11. Horridge M., Bechhofer S.: The OWL API: A Java API for working with OWL 2 on-tologies. OWLED, 2009.
12. Horrocks I., Patel-Schneider P. F.: Knowledge representation and reasoning on the se-mantic Web: OWL, 2010.
13. Horrocks I., Patel-Schneider P. F., Boley H., Tabet S., Grosof B., Dean M.: SWRL: A semantic web rule language combining OWL and RuleML, 2004.
14. Hustadt U., Motik B., Sattler U.: Data complexity of reasoning in very expressive de-scription logics. Proc. IJCAI 2005, Professional Book Center, 2005, s. 466÷471.
15. Kolovski V., Wu Z., Eadon G.: Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system. [w:] Patel-Schneider P., Pan Y., Hitzler P., Mika P., Zhang L., Pan J., Horrocks I., Glimm B. (red.): The Semantic Web ISWC 2010, Lecture Notes in Computer Science, Vol. 6496, Springer, Berlin, Heidelberg 2010, s. 436÷452.
16. Meditskos G., Bassiliades N.: Combining a DL reasoner and a rule engine for improv-ing entailment-based OWL reasoning. Proceedings of the 7th International Conference on The Semantic Web, ISWC ’08, Springer-Verlag, Berlin, Heidelberg 2008, s. 277÷292.
17. Meditskos G., Bassiliades N.: Dlejena: A practical forward-chaining OWL 2 RL rea-soner combining Jena and Pellet. J. Web Sem., Vol. 8, Issue 1, 2010, s. 89÷94.
18. Motik B., Grau B. C., Horrocks I., Wu Z., Fokoue A., Lutz C.: OWL 2 Web ontology language profiles (second edition). W3C Recommendation, 2012.
19. O’Connor M. J., Das A.: A pair of OWL 2 RL reasoners. [w:] Klinov P., Horridge M. (red.): OWLED, CEUR Workshop Proceedings, Vol. 849, CEUR-WS.org, 2012.
20. Patel-Schneider P. F., Horrocks I.: OWL 1.1 Web ontology language, http://www.w3.org/Submission/owl11-overview/, 2006.
21. Pattis R. E.: EBNF: A Notation to Describe Syntax, 1980.

Typ dokumentu

Bibliografia

Identyfikator YADDA

bwmeta1.element.baztech-27d0d5f1-4fe2-4cde-b4c0-6d574bdd83fb