%0 Conference Paper %B The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings %D 2012 %T Extending Description Logic Rules %A David Carral %A Pascal Hitzler %K description logics %K OWL %K Rules %X

Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently the most prominent paradigms used for modeling knowledge for the Semantic Web. While both of these approaches are based on classical logic, the paradigms also differ significantly, so that naive combinations result in undesirable properties such as undecidability. Recent work has shown that many rules can in fact be expressed in OWL. In this paper we extend this work to include some types of rules previously excluded. We formally define a set of first order logic rules, C-Rules, which can be expressed within OWL extended with role conjunction. We also show that the use of nominal schemas results in even broader coverage.

%B The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings %P 345–359 %G eng %U http://dx.doi.org/10.1007/978-3-642-30284-8_30 %R 10.1007/978-3-642-30284-8_30 %0 Conference Paper %B Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings %D 2012 %T Recent Advances in Integrating OWL and Rules %A Matthias Knorr %A David Carral %A Pascal Hitzler %A Adila Krisnadhi %A Frederick Maier %A Cong Wang %E Markus Krötzsch %E Umberto Straccia %K description logics %K OWL %K Rules %X 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. %B Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings %I Springer %C Austria, Vienna %V 7497 %P 225-228 %8 09/2012 %G eng %U http://dx.doi.org/10.1007/978-3-642-33203-6_20 %R 10.1007/978-3-642-33203-6_20