Franz Baader
Santa Cruz, USA
Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95
168–178
1995
citeseer.ist.psu.edu/baader95computing.html
Franz Baader
Bernhard Ganter
Baris Sertkaya
Ulrike Sattler
Manuela M. Veloso
Completing Description Logic Knowledge Bases Using Formal Concept Analysis
IJCAI
230-235
2007
http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf
conf/ijcai/2007
Franz Baader
Bernhard Ganter
Baris Sertkaya
Ulrike Sattler
Manuela M. Veloso
Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
IJCAI
230-235
2007
http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf
conf/ijcai/2007
Sebastian Rudolph
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
2006
DEC
\urlhttp://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf
Universitätsverlag Karlsruhe
Dissertation
Gerd Stumme
N. Foo and R. Goebel
Heidelberg
The Concept Classification of a Terminology Extended by Conjunction and Disjunction
PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96
121-131
1996
1114
http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf
Springer
LNAI