Abstract
The paper presents a framework for hybrid combination of rule languages with constraint languages including but not restricted to Description-Logic-based ontology languages. It shows how reasoning in a combined language can be done by interfacing reasoners of the component languages. A prototype system based on the presented principle integrates Datalog with OWL by interfacing XSB Prolog[2] with a DIG-compliant[1] DL reasoner (e.g. Racer[17] ).

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

BibTeX:

@inproceedings{REWERSE-RP-2006-040,
	author = {Uwe Assmann and Jakob Henriksson and Jan Ma\luszyński},
	title = {Combining safe rules and ontologies by interfacing of reasoners},
	booktitle = {Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning, Budva, Montenegro (10th--11th June 2006)},
	year = {2006},
	volume = {4187},
	organization = {REWERSE},
	series = {LNCS},
	pages = {33--47},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-040}
}