CARIN: A representation language combining Horn rules and description logics (1996)

by Alon Y Levy, Marie-Christine Rousset
Venue:In European Conference on Artificial Intelligence