Integrating Datalog with OWL: Exploring the AL-log Approach

  • Edna Ruckhaus
  • Vladimir Kolovski
  • Bijan Parsia
  • Bernardo Cuenca
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)


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.


Description Logic Query Answering Empty Clause Intermediate Predicate Intelligent Information System 
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.


  1. 1.
    Heflin, J., Pan, Z., Guo, Y.: The Lehigh University Benchmark LUBM (2003),
  2. 2.
    Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of WWW 2003 (2003)Google Scholar
  3. 3.
    Horrrocks, I., Patel-Schneider, P., Bechhofer, S., Tsarkov, D.: OWL Rules. A Proposal and Prototype Implementation. Journal of Web Semantics 3 (2004)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems 10 (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Edna Ruckhaus
    • 1
    • 3
  • Vladimir Kolovski
    • 2
  • Bijan Parsia
    • 3
  • Bernardo Cuenca
    • 4
  1. 1.Universidad Simón BolívarCaracasVenezuela
  2. 2.Computer Science Dept.Univ. of MarylandUSA
  3. 3.Maryland information and Network Dynamics LabUniv. of MarylandUSA
  4. 4.Information Management GroupUniv. of ManchesterManchesterUK

Personalised recommendations