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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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)