AL-log: Integrating Datalog and Description Logics

By F. M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf. Journal of Intelligence and Information Systems, 2004

343 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/37a6f38a71195e1a61cf588eb209fa5cbe0e50be

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Citations in the corpus

DL-Lite: Tractable Description Logics for Ontologies (2005, background): “Conjunctive queries combined with DLs were also considered in [16, 13], but again data complexity was not the main concern.”
Hypertableau Reasoning for Description Logics (2009, methodology): “Anywhere blocking has already been used with single blocking (Buchheit, Donini, & Schaerf, 1993; Baader, Buchheit, & Hollunder, 1996; Donini & Massacci, 2000; Donini, Lenzerini, Nardi, & Schaerf, 1998 ); however, to the best of our knowledge, it has been neither used with the more sophisticated pai”
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (2007, background): “Conjunctive queries combined with DLs were also considered in [20], but again data complexity was not the main concern.”
A general datalog-based framework for tractable query answering over ontologies (2009, background): “Z isAuthorOf(X, Z), while the axiom of the ABox is translated whenever a Boolean conjunctive query (BCQ) Q maps homomor-to the database atom Scientist(john). phically into chase(S,D) then it maps into the initial fragment of constant depth k ×|Q| of chase(S,D).”
Pellet: A practical OWL-DL reasoner (2007, methodology): “with rules. AL-Log [ 7 ] combines Datalog and DLs by allowing DL classes to be used in the body of a rule.”
Query Answering for OWL-DL with Rules (2004, methodology): “AL-log [ 6 ] combines a TBox and ABox expressed in the basic description logic ALC with datalog rules, which may be constrained with unary atoms having ALC concepts as predicates in the body.”