A hybrid rule R has the form of
h(X) :- b1(Y1),
..., bm(Ym), q1(Z1),
where h and bi are genreal
n-ary predicates, while qi can be a
DL concept or a DL property.
AL-log referring to
Integrating Datalog and Description Logics (1998)
F.M. Donini, M. Lenzerini, et al.
Journal of Intelligent Information Systems
CARIN referring to
Representation Language Combining Horn Rules and Description Logics
Alon Y. Levy, Marie-Christine Rousset
European Conference on Artificial Intelligence
DL-safe referring to
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.