@conference {95, title = {Reconciling OWL and Non-monotonic Rules for the Semantic Web}, booktitle = {ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track}, volume = {242}, year = {2012}, pages = {474{\textendash}479}, publisher = {IOS Press}, organization = {IOS Press}, address = {Montpellier, France}, 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 {\textquotedblleft}look and feel{\textquotedblright} of a description logic and avoids hybrid or first-order syntaxes.

}, doi = {10.3233/978-1-61499-098-7-474}, url = {http://dx.doi.org/10.3233/978-1-61499-098-7-474}, author = {Matthias Knorr and Pascal Hitzler and Frederick Maier}, editor = {Luc De Raedt and Christian Bessi{\`e}re and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas} }