Abstract
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 accomplished 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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-103

BibTeX:

@inproceedings{REWERSE-RP-2006-103,
	author = {Jakob Henriksson and Jan Ma\luszyński},
	title = {Hybrid integration of rules and ontologies: A constraint-based framework},
	booktitle = {Proceedings of RuleML-06 Workshop: Ontology and Rule Integration, Athens, Georgia, USA (11th November 2006)},
	year = {2006},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-103}
}