http://www.bibsonomy.org/burst/user/stumme/dlBibSonomy BuRST Feed for /user/stumme/dl2008-05-14T07:09:33+02:00dblphttp://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>)IJCAIconf/ijcai/2007230-235Completing Description Logic Knowledge Bases Using Formal Concept Analysis.2007FCAOntologyHandbookanalysisconceptdescriptiondlfcaformallogicshttp://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&#228;tsverlag Karlsruhe, </em><em>DEC2006. </em><em>Dissertation . </em>DECDissertationRelational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification2006analysisattributebegriffsanalyseconceptdescriptiondlexplorationfcaformalformalelogicsrelationalhttp://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>)Santa Cruz, USAProceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95168--178Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology1995analysisattributeconceptdescriptiondlexplorationfcaformallogicdblphttp://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>)IJCAIconf/ijcai/2007230-235Completing Description Logic Knowledge Bases Using Formal Concept Analysis2007analysisconceptdescriptiondlfcaformallogicshttp://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>)HeidelbergPRICAI&#039;96: Topics in Artificial Intelligence. Proc. PRICAI&#039;96121-131LNAIThe Concept Classification of a Terminology Extended by Conjunction and Disjunction11141996formalmyown1996classificationconceptalcdescriptionanalysislatticesdllogicsfca