Document Type
Conference Proceeding
Publication Date
8-27-2012
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.
Repository Citation
Knorr, M.,
Hitzler, P.,
& Maier, F.
(2012). Reconciling OWL and Non-monotonic Rules for the Semantic Web. ECAI 2012: 20th European Conference on Artificial Intelligence, 474-479.
https://corescholar.libraries.wright.edu/cse/61
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
This paper was presented at the ECAI 2012, 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France.
The authors' hold copyright of this paper and is distributed under the terms of the Creative Commons Attribution Non-Commercial License.