REWERSE-RP-2006-040

Uwe Assmann, Jakob Henriksson, Jan Małuszyński:
Combining safe rules and ontologies by interfacing of reasoners.


In: Proceedings of
4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR06), Budva, Montenegro (10th - 11th June 2006), Organization: REWERSE, LNCS 4187, 33-47, June 2006
© Springer

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}
}

Imprint      Privacy Disclaimer