The Limits on Combining Recursive Horn Rules with Description Logics.

Alon Y. Levy, Marie-Christine Rousset

Browse the full AAAI paper archive.