CARIN: A Representation Language Combining Horn Rules and Description Logics (1996)

by A Y Levy, M-C Rousset
Venue:In European Conf. on Artificial Intelligence