http://www.bibsonomy.org/burst/tag/logics+dlBibSonomy BuRST Feed for /tag/logics+dl2008-08-21T00:41:20+02:00dblphttp://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stummestumme2008-03-28T12:11:30+01:00OntologyHandbook fca logics description analysis concept formal dl 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>IJCAI, </em><em>page230-235. </em>(<em>2007</em>)Fri Mar 28 12:11:30 CET 2008IJCAIconf/ijcai/2007230-235Completing Description Logic Knowledge Bases Using Formal Concept Analysis.2007OntologyHandbook fca logics description analysis concept formal dl FCA http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stummestumme2008-03-28T10:21:21+01:00attribute dl concept formal fca logics formale description begriffsanalyse exploration relational analysis <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>Fri Mar 28 10:21:21 CET 2008DECDissertationRelational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification2006attribute dl concept formal fca logics formale description begriffsanalyse exploration relational analysis dblphttp://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stummestumme2007-08-30T16:42:18+02:00fca logics description formal concept analysis dl <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>IJCAI, </em><em>page230-235. </em>(<em>2007</em>)Thu Aug 30 16:42:18 CEST 2007IJCAIconf/ijcai/2007230-235Completing Description Logic Knowledge Bases Using Formal Concept Analysis2007fca logics description formal concept analysis dl http://www.bibsonomy.org/bibtex/22af70afba01a15829a7af5dc80268d06/iccsiccs2007-08-07T11:33:02+02:00logics iccs dl ontology description 2003 <span style="color:#555555;">Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span><em>Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), </em><em>page96-116. </em>(<em>2003</em>)Tue Aug 07 11:33:02 CEST 2007Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003)DBLP:conf/iccs/200396-116Description Logics for Ontologies2003logics iccs dl ontology description 2003 http://www.bibsonomy.org/bibtex/2b9d553b8f9f4ac6c979e8891052ede60/iccsiccs2007-08-02T09:29:45+02:00invited application 2005 iccs description dl talk logics <span style="color:#555555;">Ian <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> </span><em>Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), </em><em>volume3596ofLecture Notes in Computer Science, </em><em>page78-90. </em><em>Springer, </em>(<em>2005</em>)Thu Aug 02 09:29:45 CEST 2007Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005)DBLP:conf/iccs/200578-90Lecture Notes in Computer ScienceApplications of Description Logics: State of the Art and Research Challenges.35962005invited application 2005 iccs description dl talk logics http://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stummestumme2006-09-20T20:05:39+02:001996 alc dl analysis logics classification fca formal concept lattices description myown <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>volume1114ofLNAI, </em><em>page121-131. </em><em>Heidelberg, </em><em>Springer, </em>(<em>1996</em>)Wed Sep 20 20:05:39 CEST 2006HeidelbergPRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96121-131LNAIThe Concept Classification of a Terminology Extended by Conjunction and Disjunction111419961996 alc dl analysis logics classification fca formal concept lattices description myown