Abstract
We present OWL-log, which is an implementation of the \(\mathcal{AL}\)-log hybrid knowledge representation system where the Description Logics component is extended to the Web Ontology Language OWL DL. We implemented an OWL-log reasoner coupled to the OWL reasoner Pellet and explored different query-answering strategies. We conducted an experimental study using a modified version of the LUBM benchmark in order to evaluate and compare the efficiency of the strategies. Also, to validate OWL-log’s usefulness we developed a prototype based on the Web ontology browsing and editing tool Swoop.
Similar content being viewed by others
References
Heflin, J., Pan, Z., Guo, Y.: The Lehigh University Benchmark LUBM (2003), http://swat.cse.lehigh.edu/projects/lubm/
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of WWW 2003 (2003)
Horrrocks, I., Patel-Schneider, P., Bechhofer, S., Tsarkov, D.: OWL Rules. A Proposal and Prototype Implementation. Journal of Web Semantics 3 (2004)
Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 549–563. Springer, Heidelberg (2004)
Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems 10 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ruckhaus, E., Kolovski, V., Parsia, B., Cuenca, B. (2006). Integrating Datalog with OWL: Exploring the AL-log Approach. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_46
Download citation
DOI: https://doi.org/10.1007/11799573_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)