Reconciling OWL and non-monotonic rules for the semantic web


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.

Publication DOI:
Divisions: College of Business and Social Sciences > Aston Business School > Operations & Information Management
Additional Information: This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License.
Event Title: 20th European Conference on Artificial Intelligence
Event Type: Other
Event Dates: 2012-08-27 - 2012-08-31
Uncontrolled Keywords: Artificial Intelligence
ISBN: 978-1-61499-097-0, 978-1-61499-098-7
Last Modified: 02 Feb 2024 08:01
Date Deposited: 22 Dec 2015 13:45
Full Text Link: http://ebooks.i ... ublication/7018
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Conference contribution
Published Date: 2012-12-01
Authors: Knorr, Matthias
Hitzler, Pascal
Maier, Frederick


Export / Share Citation


Additional statistics for this record