Document Type
Conference Proceeding
Publication Date
9-10-2012
Find this in a Library
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 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.
Repository Citation
Knorr, M.,
Martinez, D. C.,
Hitzler, P.,
Krisnadhi, A. A.,
Maier, F.,
& Wang, C.
(2012). Recent Advances in Integrating OWL and Rules. Lecture Notes in Computer Science, 7497, 225-228.
https://corescholar.libraries.wright.edu/cse/106
DOI
10.1007/978-3-642-33203-6_20
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Attached is the unpublished, peer-reviewed version of the proceeding. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-33203-6_20.
This paper was presented at 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012.