Combining horn rules and description logics in CARIN (1998)

by A Y Levy, M-C Rousset
Venue:Artificial Intelligence