A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web (2004)

by Thomas Lukasiewicz
Venue:IN PROC. KR-2004
Citations:204 - 47 self

Documents Related by Co-Citation

144 AL-log: Integrating Datalog and Description Logics – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - 1998
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
224 Query Answering for OWL-DL with Rules – Boris Motik, Ulrike Sattler, Rudi Studer - 2004
397 Description Logic Programs: Combining Logic Programs with Description Logic – Benjamin N. Grosof - 2003
130 Combining horn rules and description logics in CARIN – A Y Levy, M-C Rousset - 1998
139 A Proposal for an OWL Rules Language – Ian Horrocks, Peter F. Patel-Schneider - 2004
73 DL+log: Tight integration of description logics and disjunctive datalog – Riccardo Rosati - 2006
21 Towards expressive KR systems integrating datalog and description logics – Riccardo Rosati - 1999
763 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
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
70 On the decidability and complexity of integrating ontologies and rules – Riccardo Rosati
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
64 Nonmonotonic databases and epistemic queries – V Lifschitz - 1991
66 A Faithful Integration of Description Logics with Logic Programming – Boris Motik, Riccardo Rosati
87 Description logics of minimal knowledge and negation as failure – Francesco M Donini, Daniele Nardi, Riccardo Rosati
1430 A logic for default reasoning – R Reiter - 1980
55 An epistemic operator for description logics – F M Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf - 1998
373 RACER system description РVolker Haarslev, Ralf M̦ller - 2001