Abstract
The paper presents an architecture and implementation techniques for hybrid integration of normal clauses under well-founded semantics with ontologies specified in Description Logics. The described prototype uses XSB Prolog both for rule reasoning and for controlling communication with the ontology reasoner RacerPro. The query answering techniques for hybrid rules implemented in this prototype are sound wrt. the declarative semantics, extending the well-founded semantics of normal programs and are faithful wrt. FOL.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-005

BibTeX:

@inproceedings{REWERSE-RP-2007-005,
	author = {W\lodzimierz Drabent and Jakob Henriksson and Jan Ma\luszyński},
	title = {Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics},
	booktitle = {Proceedings of First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria (7th--8th June 2007)},
	year = {2007},
	volume = {4524},
	series = {LNCS},
	pages = {348--357},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-005}
}