Query Answering for OWL-DL with Rules (2004)

by Boris Motik , Ulrike Sattler , Rudi Studer
Venue:Journal of Web Semantics
Citations:224 - 28 self

Documents Related by Co-Citation

397 Description Logic Programs: Combining Logic Programs with Description Logic – Benjamin N. Grosof - 2003
96 Data Complexity of Reasoning in Very Expressive Description Logics – Ullrich Hustadt, Boris Motik, Ulrike Sattler - 2005
139 A Proposal for an OWL Rules Language – Ian Horrocks, Peter F. Patel-Schneider - 2004
204 A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web – Thomas Lukasiewicz - 2004
73 DL+log: Tight integration of description logics and disjunctive datalog – Riccardo Rosati - 2006
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
144 AL-log: Integrating Datalog and Description Logics – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - 1998
298 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
185 Reducing owl Entailment to Description Logic Satisfiability – Ian Horrocks, Peter F. Patel-schneider
130 Combining horn rules and description logics in CARIN – A Y Levy, M-C Rousset - 1998
70 On the decidability and complexity of integrating ontologies and rules – Riccardo Rosati
64 Nonmonotonic databases and epistemic queries – V Lifschitz - 1991
289 Pushing the EL envelope – Franz Baader, Sebastian Brand, Carsten Lutz - 2005
126 Reducing SHIQ − Description Logic to Disjunctive Datalog Programs – Ullrich Hustadt - 2004
210 The even more irresistible SROIQ – Ian Horrocks, Oliver Kutz, Ulrike Sattler - 2006
367 SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http://www.w3.org/Submission/SWRL/ W3C Member Submission 21 May 2004 – I Horrocks, P F Patel-Schneider, H Boley, S Tabet, B Grosof, M Dean - 1997
468 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
131 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001