SoniaBergamaschi ClaudioSartori On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17 385-422 1992 AlexanderBorgida DavidW.Etherington Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. 33-43 1989 WilliamW.Cohen AlexanderBorgida HaymHirsh Computing Least Common Subsumers in Description Logics. 754-760 1992 I.Horrocks U.Sattler S.Tobies Practical Reasoning for Very Expressive Description Logics Logic Journal of the IGPL 8 239–264 2000 ZhishengHuang FrankvanHarmelen AnnettetenTeije Reasoning with Inconsistent Ontologies. Professional Book Center 454-459 2005 AlexandreRiazanov AndreiVoronkov The design and implementation of VAMPIRE. AI Commun. 15 91-110 2002