Combining Horn rules and description logics in CARIN. (1998)

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