@inproceedings{84cbca80c14046e2a2ac98d66b734323,
title = "Reconciling OWL and non-monotonic rules for the semantic web",
abstract = "We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at the same time encompassing some of the most prominent monotonic and nonmonotonic rule languages, in particular Datalog extended with the answer set semantics. Our proposal could be considered a substantial contribution towards fulfilling the quest for a unifying logic for the Semantic Web. As a case in point, two non-monotonic extensions of description logics considered to be of distinct expressiveness until now are covered in our proposal. In contrast to earlier such proposals, our language has the {"}look and feel{"} of a description logic and avoids hybrid or first-order syntaxes.",
author = "Matthias Knorr and Pascal Hitzler and Frederick Maier",
note = "This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License.; 20th European Conference on Artificial Intelligence, ECAI 2010 ; Conference date: 27-08-2012 Through 31-08-2012",
year = "2012",
month = dec,
day = "1",
doi = "10.3233/978-1-61499-098-7-474",
language = "English",
isbn = "978-1-61499-097-0",
series = "Frontiers in artificial intelligence and applications",
publisher = "IOS",
pages = "474--479",
editor = "{de Raedt}, Luc and Christian Bessiere and Didier Dubois and {et al}",
booktitle = "ECAI 2012",
address = "Netherlands",
}