"Combining Horn Rules and Description Logics in CARIN."

Alon Y. Levy, Marie-Christine Rousset (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics