TY - GEN
T1 - Reconciling OWL and non-monotonic rules for the Semantic Web
AU - Knorr, Matthias
AU - Hitzler, Pascal
AU - Maier, Frederick
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84878805516&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-098-7-474
DO - 10.3233/978-1-61499-098-7-474
M3 - Conference contribution
AN - SCOPUS:84878805516
SN - 9781614990970
T3 - Frontiers in Artificial Intelligence and Applications
SP - 474
EP - 479
BT - ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration
PB - IOS Press
T2 - 20th European Conference on Artificial Intelligence, ECAI 2012
Y2 - 27 August 2012 through 31 August 2012
ER -