Abstract
We report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined.
This work is partially supported by the German Federal Ministry of Education and Research (BMBF) under the SmartWeb project (grant 01 IMD01), by the Deutsche Forschungsgemeinschaft (DFG) under the ReaSem project and by the EU in the IST project NeOn (IST-2006-027595), http://www.neon-project.org/ .
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
McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview (February 2004), http://www.w3.org/TR/owl-features/
Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (2006)
Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, pp. 466–471(2005)
Krötzsch, M., Rudolph, S., Hitzler, P.: On the complexity of Horn description logics. In: Grau, B.C., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the 2nd Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol. 216 (November 2006)
Krötzsch, M., Hitzler, P., Vrandecic, D., Sintek, M.: How to reason with OWL in a logic programming system. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) RuleML2006. Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, Georgia, pp. 17–26. IEEE Computer Society Press, Los Alamitos (2006)
Hitzler, P., Vrandecic, D.: Resolution-Based Approximate Reasoning for OWL DL. In: Gil, Y., et al. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 383–397. Springer, Heidelberg (2005)
Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning 13, 145–172 (1994)
Grau, B.C.: OWL 1.1 web ontology language tractable fragments (2004), http://owl1-1.cs.manchester.ac.uk/tractable.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Rudolph, S., Krötzsch, M., Hitzler, P., Sintek, M., Vrandecic, D. (2007). Efficient OWL Reasoning with Logic Programs – Evaluations. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)