REWERSE-RP-2007-005

Włodzimierz Drabent, Jakob Henriksson, Jan Małuszyński:
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.


In: Proceedings of
First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 348-357, June 2007
© Springer

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

Imprint      Privacy Disclaimer