%0 
%0 Conference Proceedings
%A Baader, Franz; Ganter, Bernhard; Sertkaya, Baris & Sattler, Ulrike
%D 2007
%T Completing Description Logic Knowledge Bases Using Formal Concept
    Analysis.
%E Veloso, Manuela M.
%B IJCAI
%C 
%I 
%V 
%6
%N 
%P 230-235
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 dblp
%3 inproceedings
%4 conf/ijcai/2007
%# 
%$ 
%F baader07completing
%K FCA, OntologyHandbook, analysis, concept, description, dl, fca, formal, logics
%X 
%Z 
%U http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf
%+
%^

%0 
%0 Conference Proceedings
%A Baader, Franz; Ganter, Bernhard; Sertkaya, Baris & Sattler, Ulrike
%D 2007
%T Completing description logic knowledge bases using formal concept analysis
%E 
%B Proceedings of the 20th international joint conference on Artifical intelligence
%C San Francisco, CA, USA
%I Morgan Kaufmann Publishers Inc.
%V 
%6
%N 
%P 230--235
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F baader2007completing
%K analysis, base, complete, concept, description, dl, fca, formal, knowledge, logic, ontology
%X We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense.
%Z 
%U http://dl.acm.org/citation.cfm?id=1625275.1625311
%+
%^

%0 
%0 Conference Proceedings
%A Baader, Franz; Ganter, Bernhard; Sertkaya, Baris & Sattler, Ulrike
%D 2007
%T Completing Description Logic Knowledge Bases Using Formal Concept Analysis
%E Veloso, Manuela M.
%B IJCAI
%C 
%I 
%V 
%6
%N 
%P 230-235
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 dblp
%3 inproceedings
%4 conf/ijcai/2007
%# 
%$ 
%F baader07completing
%K analysis, concept, description, dl, fca, formal, logics
%X 
%Z 
%U http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf
%+
%^

%0 
%0 Book
%A Rudolph, Sebastian
%D 2006
%T Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
%E 
%B 
%C 
%I Universitätsverlag Karlsruhe
%V 
%6
%N 
%P
%& 
%Y 
%S 
%7 
%8 DEC
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 book
%4 
%# 
%$ 
%F rudolph2006relational
%K analysis, attribute, begriffsanalyse, concept, description, dl, exploration, fca, formal, formale, logics, relational
%X 
%Z Dissertation
%U \url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}
%+
%^

%0 
%0 Conference Proceedings
%A Baader, Franz & Sertkaya, Baris
%D 2004
%T Applying Formal Concept Analysis to Description Logics.
%E Eklund, Peter W.
%B Concept Lattices
%C Berlin/Heidelberg
%I Springer
%V 2961
%6
%N 
%P 261--286
%& 
%Y 
%S Lecture Notes in Computer Science
%7
%8 
%9
%? 
%! 
%Z 
%@ 3-540-21043-1
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F baader2004applying
%K analysis, concept, description, dl, fca, formal, logic, logics
%X Given a finite set $\mathcal{C} := \{ C_1, \ldots, C_n\}$ of description logic concepts, we are interested in computing the subsumption hierarchy of all least common subsumers of subsets of $\mathcal{C}$ as well as the hierarchy of all conjunctions of subsets of $\mathcal{C}$. These hierarchies can be used to support the bottom-up construction of description logic knowledge bases. The point is to compute the first hierarchy without having to compute the least common subsumer for all subsets of $\mathcal{C}$, and the second hierarchy without having to check all possible pairs of such conjunctions explicitly for subsumption. We will show that methods from formal concept analysis developed for computing concept lattices can be employed for this purpose.
%Z 
%U http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2961&spage=261
%+
%^

%0 
%0 Conference Proceedings
%A Stumme, Gerd
%D 1996
%T The  Concept  Classification  of a Terminology Extended by Conjunction and Disjunction
%E Foo, N. & Goebel, R.
%B PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96
%C Heidelberg
%I Springer
%V 1114
%6
%N 
%P 121-131
%& 
%Y 
%S LNAI
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 Publications of Gerd Stumme
%3 inproceedings
%4 
%# 
%$ 
%F stumme96concept
%K 1996, alc, analysis, classification, concept, description, dl, fca, formal, lattices, logics, myown
%X 
%Z 
%U http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf
%+
%^

%0 
%0 Conference Proceedings
%A Baader, Franz
%D 1995
%T Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
%E 
%B Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95
%C Santa Cruz, USA
%I 
%V 
%6
%N 
%P 168--178
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F baader95computing
%K analysis, attribute, concept, description, dl, exploration, fca, formal, logic
%X 
%Z 
%U citeseer.ist.psu.edu/baader95computing.html
%+
%^