BibSonomy publications for /user/stumme/dlhttp://www.bibsonomy.org/publrss/user/stumme/dlBibSonomy RSS Feed for /user/stumme/dl- Completing Description Logic Knowledge Bases Using Formal Concept Analysis.dblphttp://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stummestumme2008-03-28T12:11:30+01:00FCA OntologyHandbook analysis concept description dl fca formal logics <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> und Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> und Baris <a href="http://www.bibsonomy.org/author/Sertkaya">Sertkaya</a> und Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span><em>IJCAI, </em><em>Seite230-235. </em>(<em>2007</em>)
- Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specificationhttp://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stummestumme2008-03-28T10:21:21+01:00analysis attribute begriffsanalyse concept description dl exploration fca formal formale logics relational <span style="color:#555555;">Sebastian <a href="http://www.bibsonomy.org/author/Rudolph">Rudolph</a> </span><em>Universitätsverlag Karlsruhe, </em><em>DEC2006. </em><em>Dissertation
.
</em>
- Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminologyhttp://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stummestumme2007-08-30T16:57:56+02:00analysis attribute concept description dl exploration fca formal logic <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> </span><em>Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, </em><em>Seite168--178. </em><em>Santa Cruz, USA, </em>(<em>1995</em>)
- Completing Description Logic Knowledge Bases Using Formal Concept Analysisdblphttp://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stummestumme2007-08-30T16:42:18+02:00analysis concept description dl fca formal logics <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> und Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> und Baris <a href="http://www.bibsonomy.org/author/Sertkaya">Sertkaya</a> und Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span><em>IJCAI, </em><em>Seite230-235. </em>(<em>2007</em>)
- The Concept Classification of a Terminology Extended by Conjunction and Disjunctionhttp://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stummestumme2006-09-20T20:05:39+02:00formal myown 1996 classification concept alc description analysis lattices dl logics fca <span style="color:#555555;">Gerd <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> </span><em>PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96, </em><em>Volume1114vonLNAI, </em><em>Seite121-131. </em><em>Heidelberg, </em><em>Springer, </em>(<em>1996</em>)