The concept classification of a terminology extended by conjunctionand disjunction

摘要

At the two conferences KRUSE '95 ([6]) and ICCS '95 ([7],[8]) held at Santa Cruz in August 1995 researchers on description logics, conceptual graphs, and formal concept analysis came together and discovered common interests and tasks. A fruitful discussion revealed that these three disciplines should integrate their research. Therefore common developments were considered. In one of the presented papers ([2]), for instance, F.Baader demonstrated how a clossification algorithm providing more information can be built by combining a subsumption algorithm of description logics with a knowledge acquisition tool of formal concept analysis. In this paper we show how a classification algorithm providing still more information can be obtained by choosing another acquisition tool of formal concept analysis.