@Inproceedings{baader07completing, author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike}, title = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis.}, year = {2007}, number = {}, url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf}, const = {\ text} } @Inproceedings{baader2007completing, author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike}, title = {Completing description logic knowledge bases using formal concept analysis}, year = {2007}, number = {}, url = {http://dl.acm.org/citation.cfm?id=1625275.1625311}, const = {\ text} } @Inproceedings{baader07completing, author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike}, title = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis}, year = {2007}, number = {}, url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf}, const = {\ text} } @Book{rudolph2006relational, author = {Rudolph, Sebastian}, title = {Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification}, year = {2006}, number = {}, url = {\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}}, const = {\ text} } @Inproceedings{baader2004applying, author = {Baader, Franz and Sertkaya, Baris}, title = {Applying Formal Concept Analysis to Description Logics.}, year = {2004}, number = {}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2961&spage=261}, doi = {10.1007/978-3-540-24651-0_24}, const = {\ text} } @Inproceedings{stumme96concept, author = {Stumme, Gerd}, title = {The Concept Classification of a Terminology Extended by Conjunction and Disjunction}, year = {1996}, number = {}, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf}, const = {\ text} } @Inproceedings{baader95computing, author = {Baader, Franz}, title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology}, year = {1995}, number = {}, url = {citeseer.ist.psu.edu/baader95computing.html}, const = {\ text} }