http://www.bibsonomy.org/user/stumme/dlBibSonomy RSS Feed for /user/stumme/dldblphttp://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stummestumme2008-03-28T12:11:30+01:00logics OntologyHandbook FCA analysis formal dl concept description fca <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Baris <a href="http://www.bibsonomy.org/author/Sertkaya">Sertkaya</a> and Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span>(<em>2007</em>) <a href="http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme"><i>Completing Description Logic Knowledge Bases Using Formal Concept Analysis..</i></a><em>IJCAI, </em><em>page230-235. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/stumme/logics">logics</a> <a href="http://www.bibsonomy.org/user/stumme/OntologyHandbook">OntologyHandbook</a> <a href="http://www.bibsonomy.org/user/stumme/FCA">FCA</a> <a href="http://www.bibsonomy.org/user/stumme/analysis">analysis</a> <a href="http://www.bibsonomy.org/user/stumme/formal">formal</a> <a href="http://www.bibsonomy.org/user/stumme/dl">dl</a> <a href="http://www.bibsonomy.org/user/stumme/concept">concept</a> <a href="http://www.bibsonomy.org/user/stumme/description">description</a> <a href="http://www.bibsonomy.org/user/stumme/fca">fca</a>] <a href="http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf">URL</a>http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stummestumme2008-03-28T10:21:21+01:00logics concept attribute fca formal dl relational formale exploration analysis description begriffsanalyse <span style="color:#555555;">Sebastian <a href="http://www.bibsonomy.org/author/Rudolph">Rudolph</a> </span>(<em>2006</em>) <a href="http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme"><i>Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification.</i></a><em>Universit&#228;tsverlag Karlsruhe, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/stumme/logics">logics</a> <a href="http://www.bibsonomy.org/user/stumme/concept">concept</a> <a href="http://www.bibsonomy.org/user/stumme/attribute">attribute</a> <a href="http://www.bibsonomy.org/user/stumme/fca">fca</a> <a href="http://www.bibsonomy.org/user/stumme/formal">formal</a> <a href="http://www.bibsonomy.org/user/stumme/dl">dl</a> <a href="http://www.bibsonomy.org/user/stumme/relational">relational</a> <a href="http://www.bibsonomy.org/user/stumme/formale">formale</a> <a href="http://www.bibsonomy.org/user/stumme/exploration">exploration</a> <a href="http://www.bibsonomy.org/user/stumme/analysis">analysis</a> <a href="http://www.bibsonomy.org/user/stumme/description">description</a> <a href="http://www.bibsonomy.org/user/stumme/begriffsanalyse">begriffsanalyse</a>] <a href="\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}">URL</a>http://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stummestumme2007-08-30T16:57:56+02:00logic formal attribute description concept analysis fca exploration dl <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> </span>(<em>1995</em>) <a href="http://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stumme"><i>Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology.</i></a><em>Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, </em><em>page168--178. </em><em>Santa Cruz, USA, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/stumme/logic">logic</a> <a href="http://www.bibsonomy.org/user/stumme/formal">formal</a> <a href="http://www.bibsonomy.org/user/stumme/attribute">attribute</a> <a href="http://www.bibsonomy.org/user/stumme/description">description</a> <a href="http://www.bibsonomy.org/user/stumme/concept">concept</a> <a href="http://www.bibsonomy.org/user/stumme/analysis">analysis</a> <a href="http://www.bibsonomy.org/user/stumme/fca">fca</a> <a href="http://www.bibsonomy.org/user/stumme/exploration">exploration</a> <a href="http://www.bibsonomy.org/user/stumme/dl">dl</a>] <a href="citeseer.ist.psu.edu/baader95computing.html">URL</a>dblphttp://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stummestumme2007-08-30T16:42:18+02:00formal dl logics fca description concept analysis <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Baris <a href="http://www.bibsonomy.org/author/Sertkaya">Sertkaya</a> and Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span>(<em>2007</em>) <a href="http://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stumme"><i>Completing Description Logic Knowledge Bases Using Formal Concept Analysis.</i></a><em>IJCAI, </em><em>page230-235. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/stumme/formal">formal</a> <a href="http://www.bibsonomy.org/user/stumme/dl">dl</a> <a href="http://www.bibsonomy.org/user/stumme/logics">logics</a> <a href="http://www.bibsonomy.org/user/stumme/fca">fca</a> <a href="http://www.bibsonomy.org/user/stumme/description">description</a> <a href="http://www.bibsonomy.org/user/stumme/concept">concept</a> <a href="http://www.bibsonomy.org/user/stumme/analysis">analysis</a>] <a href="http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf">URL</a>http://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stummestumme2006-09-20T20:05:39+02:00description alc fca classification analysis dl 1996 concept lattices formal logics myown <span style="color:#555555;">Gerd <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> </span>(<em>1996</em>) <a href="http://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stumme"><i>The Concept Classification of a Terminology Extended by Conjunction and Disjunction.</i></a><em>PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96, </em><em>page121-131. </em><em>Heidelberg, </em><em>Springer, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/stumme/description">description</a> <a href="http://www.bibsonomy.org/user/stumme/alc">alc</a> <a href="http://www.bibsonomy.org/user/stumme/fca">fca</a> <a href="http://www.bibsonomy.org/user/stumme/classification">classification</a> <a href="http://www.bibsonomy.org/user/stumme/analysis">analysis</a> <a href="http://www.bibsonomy.org/user/stumme/dl">dl</a> <a href="http://www.bibsonomy.org/user/stumme/1996">1996</a> <a href="http://www.bibsonomy.org/user/stumme/concept">concept</a> <a href="http://www.bibsonomy.org/user/stumme/lattices">lattices</a> <a href="http://www.bibsonomy.org/user/stumme/formal">formal</a> <a href="http://www.bibsonomy.org/user/stumme/logics">logics</a> <a href="http://www.bibsonomy.org/user/stumme/myown">myown</a>] <a href="http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf">URL</a>