Embedding Defaults into Terminological Knowledge Representation Formalisms (1995)

by Franz Baader, Bernhard Hollunder
Venue:Journal of Automated Reasoning