| > Home |
| > Documentation |
| > Downloads |
| > Online Demo |
| > Contact |
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 qi can be a DL concept or a DL property.
Tests
from
AL-log referring to
F.M. Donini, M. Lenzerini, et al.
from
CARIN referring to
Alon Y. Levy, Marie-Christine Rousset
from
DL-safe referring to
Boris Motik, Ulrike Sattler, Rudi Studer
******
Here is a link to download the extension features of OO jDREW with hybrid rules.
Last Updated:
October 31, 2005
By:
Jing Mei