Hybrid Rules

A hybrid rule R has the form of

h(X) :- b1(Y1), ..., bm(Ym), q1(Z1), ..., qn(Zn).

where h and bi are genreal n-ary predicates, while qcan be a DL concept or a DL property.

Tests

from AL-log referring to 

AL-log: Integrating Datalog and Description Logics (1998) 
F.M. Donini, M. Lenzerini, et al.
Journal of Intelligent Information Systems

from CARIN referring to 

CARIN: A Representation Language Combining Horn Rules and Description Logics (1996)
Alon Y. Levy, Marie-Christine Rousset
European Conference on Artificial Intelligence

from DL-safe referring to 

Query Answering for OWL-DL with Rules (2005) 
Boris Motik, Ulrike Sattler, Rudi Studer
Journal of Web Semanics


******

Here is a link to download the extension features of OO jDREW with hybrid rules.

Last Updated:
   October 31, 2005

By:
   Jing Mei