Combining Safe Rules and Ontologies by Interfacing of Reasoners [chapter]

Uwe Aßmann, Jakob Henriksson, Jan Małuszyński
2006 Lecture Notes in Computer Science  
The paper presents a scheme for hybrid integration of rules languages with constraints languages including but not restricted to Description Logic-based ontologies. The proposed scheme is apt for logical rule languages such as Datalog, but also opens up for rules lacking logical semantics, e.g. the XML query and transformation language Xcerpt. To reason in the integrated language, we aim at re-using and interfacing existing reasoners for the component languages. Here we show how this can be
more » ... mplished for integrating Datalog and Xcerpt with OWL by interfacing XSB and an Xcerpt engine with a DL reasoner, respectively. Finally, we suggest ideas on how to improve reasoning performance by allowing for more frequent interaction between the component systems.
doi:10.1007/11853107_3 fatcat:lthxvetqdjes7gz5j3wemhy2zy