How to prefer more specific defaults in terminological default logic (0)

by Franz Baader, Bernhard Hollunder
Venue:In In Proceedings of the IJCAI