@ARTICLE{Sebastiani95, AUTHOR ="Sebastiani, Fabrizio and Straccia, Umberto", TITLE ="Default Reasoning in a Terminological Logic", JOURNAL ="Computers and Artificial Intelligence", YEAR ="1995", VOLUME ="14", NUMBER ="3", PAGES ="225--251" }