Abstract
In this paper we present a method of transforming OWL 2 ontologies into a set of rules which can be used in a forward chaining rule engine. We use HermiT reasoner to perform the TBox reasoning and to produce classified form of an ontology. The ontology is automatically transformed into a set of Abstract Syntax of Rules and Facts. Then, it can be transformed into any forward chaining reasoning engine. We present an implementation of our method using two engines: Jess and Drools. We evaluate our approach by performing the ABox reasoning on the number of benchmark ontologies. Additionally, we compare obtained results with inferences provided by the HermiT reasoner. The evaluation shows that we can perform the ABox reasoning with considerably better performance than HermiT. We describe the details of our approach as well as future research and development.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bak, J., Brzykcy, G., Jedrzejek, C.: Extended rules in knowledge-based data access. In: Palmirani, M. (ed.) RuleML 2011. LNCS, vol. 7018, pp. 112–127. Springer, Heidelberg (2011)
Boris, M.: On the properties of metamodeling in owl. Journal of Logic and Computation 17(4), 617 (2007)
Faruqui, R.U., MacCaull, W.: o wlo ntDB: A scalable reasoning system for OWL 2 RL ontologies with large aBoxes. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol. 7789, pp. 105–123. Springer, Heidelberg (2013)
Hill, E.F.: Jess in Action: Java Rule-Based Systems. Manning Publications Co., Greenwich (2003)
Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: Template rule optimisations for distributed reasoning over 1 billion linked data triples. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 337–353. Springer, Heidelberg (2010)
Matthew Horridge and Sean Bechhofer. The owl api: A java api for working with owl 2 ontologies. In: OWLED (2009)
Horrocks, I., Patel-Schneider, P.F.: Knowledge representation and reasoning on the semantic web: Owl. pp. 365–398 (2010)
Kolovski, V., Wu, Z., Eadon, G.: Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 436–452. Springer, Heidelberg (2010)
Meditskos, G., Bassiliades, N.: Dlejena: A practical forward-chaining owl 2 rl reasoner combining jena and pellet. J. Web Sem. 8(1), 89–94 (2010)
Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: Owl 2 web ontology language profiles. In: W3C Recommendation, 2nd edn. (2012)
O’Connor, M.J., Das, A.: A pair of owl 2 rl reasoners. In: Klinov, P., Horridge, M. (eds.) OWLED. CEUR Workshop Proceedings, vol. 849. CEUR-WS.org (2012)
Patel-Schneider, P.F., Horrocks, I.: Owl 1.1 web ontology language (2006), http://www.w3.org/Submission/owl11-overview/
Pattis, R.E.: Ebnf: A notation to describe syntax (1980)
Polleres, A., Hogan, A., Delbru, R., Umbrich, J.: RDFS and OWL reasoning for linked data. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds.) Reasoning Weg 2013. LNCS, vol. 8067, pp. 91–149. Springer, Heidelberg (2013)
Volz, R.: Web ontology reasoning with logic databases. PhD thesis (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Bak, J., Jedrzejek, C. (2014). Rule-Based Reasoning System for OWL 2 RL Ontologies. In: Hwang, D., Jung, J.J., Nguyen, NT. (eds) Computational Collective Intelligence. Technologies and Applications. ICCCI 2014. Lecture Notes in Computer Science(), vol 8733. Springer, Cham. https://doi.org/10.1007/978-3-319-11289-3_41
Download citation
DOI: https://doi.org/10.1007/978-3-319-11289-3_41
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11288-6
Online ISBN: 978-3-319-11289-3
eBook Packages: Computer ScienceComputer Science (R0)