Combining Horn rules and description logics in CARIN (1998)

by A Y Levy, M-C Rousset
Venue:Artif. Intell