Baader, F.; Ganter, B.; Sertkaya, B. & Sattler, U. (2007),
Completing Description Logic Knowledge Bases Using Formal Concept
Analysis., in
Manuela M. Veloso, ed.,
'IJCAI'
, pp. 230-235
.
Baader, F.; Ganter, B.; Sertkaya, B. & Sattler, U. (2007), Completing description logic knowledge bases using formal concept analysis, in 'Proceedings of the 20th international joint conference on Artifical intelligence' , Morgan Kaufmann Publishers Inc., San Francisco, CA, USA , pp. 230--235 .
Baader, F.; Ganter, B.; Sertkaya, B. & Sattler, U. (2007), Completing Description Logic Knowledge Bases Using Formal Concept Analysis, in Manuela M. Veloso, ed., 'IJCAI' , pp. 230-235 .
Rudolph, S. (2006), Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification , Universitätsverlag Karlsruhe .
Baader, F. & Sertkaya, B. (2004), Applying Formal Concept Analysis to Description Logics., in Peter W. Eklund, ed., 'Concept Lattices' , Springer, Berlin/Heidelberg , pp. 261--286 .
Stumme, G. (1996), The Concept Classification of a Terminology Extended by Conjunction and Disjunction, in N. Foo & R. Goebel, ed., 'PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96' , Springer, Heidelberg , pp. 121-131 .
Baader, F. (1995), Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology, in 'Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95' , pp. 168--178 .