@inbook {90, title = {Description Logics}, booktitle = {Handbook of the History of Logic}, volume = {9}, year = {2014}, pages = {679-710}, publisher = {Elsevier}, organization = {Elsevier}, author = {Matthias Knorr and Pascal Hitzler}, editor = {Dov. M. Gabbay and John Woods and J{\"o}rg Siekmann} } @conference {124, title = {Recent Advances in Integrating {OWL} and Rules}, booktitle = {Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings}, volume = {7497}, year = {2012}, month = {09/2012}, pages = {225-228}, publisher = {Springer}, organization = {Springer}, address = {Austria, Vienna}, abstract = {As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied. We report on recent advances and ongoing work by the authors in integrating OWL and rulesWe take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rulebased formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found.}, keywords = {description logics, OWL, Rules}, doi = {10.1007/978-3-642-33203-6_20}, url = {http://dx.doi.org/10.1007/978-3-642-33203-6_20}, author = {Matthias Knorr and David Carral and Pascal Hitzler and Adila Krisnadhi and Frederick Maier and Cong Wang}, editor = {Markus Kr{\"o}tzsch and Umberto Straccia} } @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} } @article {74, title = {Local Closed World Reasoning with Description Logics under the Well-Founded Semantics}, journal = {Artificial Intelligence}, volume = {175}, year = {2011}, pages = {1528{\textendash}1554}, abstract = {An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases [52], and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.
}, keywords = {Description Logic, Knowledge representation, Logic Programming, Non-monotonic reasoning, Ontologies, Semantic Web}, doi = {10.1016/j.artint.2011.01.007}, url = {http://dx.doi.org/10.1016/j.artint.2011.01.007}, author = {Matthias Knorr and Jos{\'e} J{\'u}lio Alferes and Pascal Hitzler} }