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.

• Type: Conference
• Year: 2007
• Where: ICLP
• Authors: Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
• Keywords: Description Logics, ICLP 2007, Programming Languages, Prolog Built-ins, XSB Prolog