Abstract
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies specified in Description Logics. The system is hybrid: it re-uses XSB Prolog for rule reasoning and existing OWL reasoners for ontology reasoning. This makes it possible to use some Prolog built-ins (like arithmetic) in the rules. The system itself is written in XSB Prolog; its interface to OWL employs Java. The paper outlines the principles of the integration, illustrates the use of the system on examples, and discusses in detail the main implementation techniques.

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

BibTeX:

@inproceedings{REWERSE-RP-2007-053,
	author = {W\lodzimierz Drabent and Jakob Henriksson and Jan Ma\luszyński},
	title = {HD-rules: a hybrid system interfacing Prolog with DL-reasoners},
	booktitle = {Proceedings of 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, Porto, Portugal (13th September 2007)},
	year = {2007},
	volume = {287},
	pages = {76--90},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-053}
}