Sciweavers

Share
ICLP
2007
Springer

HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners

11 years 6 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
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.
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICLP
Authors Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
Comments (0)
books