Recent advances in integrating owl and rules (Technical communication)

Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier, Cong Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

As part of the quest for a unifying logic for the SemanticWeb Technology Stack,1 a central issue is finding suitable ways of integrating description logics based on theWeb Ontology Language (OWL) with rulebased approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one ormore 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 rules. We 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 rule-based 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.

Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems - 6th International Conference, RR 2012, Proceedings
EditorsMarkus Krotzsch, Umberto Straccia
PublisherSpringer Verlag
Pages225-228
Number of pages4
ISBN (Print)9783642332029
Publication statusPublished - 1 Jan 2012
Event6th International Conference on Web Reasoning and Rule Systems, RR 2012 - Vienna, Austria
Duration: 10 Sep 201212 Sep 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7497 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Conference on Web Reasoning and Rule Systems, RR 2012
CountryAustria
CityVienna
Period10/09/1212/09/12

Fingerprint Dive into the research topics of 'Recent advances in integrating owl and rules (Technical communication)'. Together they form a unique fingerprint.

  • Cite this

    Knorr, M., Martínez, D. C., Hitzler, P., Krisnadhi, A. A., Maier, F., & Wang, C. (2012). Recent advances in integrating owl and rules (Technical communication). In M. Krotzsch, & U. Straccia (Eds.), Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Proceedings (pp. 225-228). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7497 LNCS). Springer Verlag.