TY - GEN
T1 - Recent advances in integrating owl and rules (Technical communication)
AU - Knorr, Matthias
AU - Martínez, David Carral
AU - Hitzler, Pascal
AU - Krisnadhi, Adila A.
AU - Maier, Frederick
AU - Wang, Cong
N1 - Funding Information:
This work was supported by the National Science Foundation under award 1017225”III: Small: TROn - Tractable Reasoning with Ontologies” and by Funda¸c˜ao para a Ciˆencia e a Tecnologia under project “ERRO – Efficient Reasoning with Rules and Ontologies” (PTDC/EIACCO/ 121823/2010). The fourth author acknowledges the support of Fulbright Indonesia Presidential Scholarship PhD Grant 2010 – 2013
Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2012.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85006873287&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-33203-6_20
DO - 10.1007/978-3-642-33203-6_20
M3 - Conference contribution
AN - SCOPUS:85006873287
SN - 9783642332029
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 225
EP - 228
BT - Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Proceedings
A2 - Krotzsch, Markus
A2 - Straccia, Umberto
PB - Springer Verlag
T2 - 6th International Conference on Web Reasoning and Rule Systems, RR 2012
Y2 - 10 September 2012 through 12 September 2012
ER -