Abstract
In this paper we describe a logic programming based implementation of the OWL 2 RL fragment. We show how goals are used for querying, forward reasoning permits to infer new knowledge, and ontology inconsistency is handled by backward reasoning, where explanations and (minimal) justifications are given to inconsistent ontologies.
This work has been supported by the Spanish Ministry MICINN under grant TIN2008-06622-C03-03, Ingenieros Alborada IDI under grant TRA2009-0309, and the JUNTA de ANDALUCÍA (proyecto de excelencia) ref. TIC-6114.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Almendros-Jiménez, J.M.: A Prolog library for OWL RL. In: Proceedings of the 4th International Workshop on Logic in Databases, pp. 49–56. ACM (2011)
Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLIM: A family of scalable semantic repositories. Semantic Web 2(1), 33–42 (2011)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. of the International Conference on World Wide Web, pp. 48–57. ACM Press, NY (2003)
McGuinnnnes, D.L., Van Harmelen, F.: OWL 2 Ontology Web Language. Tech. rep. (2009), http://www.w3.org/TR/owl2-overview/
Horridge, M., Parsia, B., Sattler, U.: Justification Oriented Proofs in OWL. 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. 354–369. Springer, Heidelberg (2010)
ter Horst, H.J.: Extending the RDFS Entailment Lemma. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 77–91. Springer, Heidelberg (2004)
Urbani, J., van Harmelen, F., Schlobach, S., Bal, H.: QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 730–745. Springer, Heidelberg (2011)
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)
Moodley, K., Meyer, T., Varzinczak, I.J.: Root Justifications for Ontology Repair. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 275–280. Springer, Heidelberg (2011)
Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology: Reasoning in OWL 2 RL and RDF Graphs using Rules. Tech. rep. (2009), http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules
Vassiliadis, V., Wielemaker, J., Mungall, C.: Processing OWL2 ontologies using Thea: An application of logic programming. In: Proceedings of the 6th International Workshop on OWL: Experiences and Directions, OWLED 2009 (2009)
Wu, G., Qi, G., Du, J.: Finding all justifications of OWL entailments using TMS and MapReduce. In: Proceedings of the 20th ACM International Conference on Information and Knowledge Management, pp. 1425–1434. ACM (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Almendros-Jiménez, J.M. (2012). OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-32689-9_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32688-2
Online ISBN: 978-3-642-32689-9
eBook Packages: Computer ScienceComputer Science (R0)