@inproceedings{baader07completing, title = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis.}, author = {Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler}, booktitle = {IJCAI}, crossref = {conf/ijcai/2007}, editor = {Manuela M. Veloso}, pages = {230-235}, year = 2007, url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf}, ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf}, date = {2007-03-05}, description = {dblp}, biburl = {http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme}, keywords = {logics dl analysis OntologyHandbook fca concept formal description FCA} } @book{rudolph2006relational, title = {Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification}, author = {Sebastian Rudolph}, month = {DEC}, note = {Dissertation}, publisher = {Universitätsverlag Karlsruhe}, year = 2006, url = {\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}}, biburl = {http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme}, keywords = {logics exploration description begriffsanalyse formal fca attribute analysis formale dl relational concept} } @inproceedings{baader95computing, title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology}, address = {Santa Cruz, USA}, author = {Franz Baader}, booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95}, pages = {168--178}, year = 1995, url = {citeseer.ist.psu.edu/baader95computing.html}, biburl = {http://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stumme}, keywords = {logic attribute fca dl concept exploration formal analysis description} } @inproceedings{baader07completing, title = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis}, author = {Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler}, booktitle = {IJCAI}, crossref = {conf/ijcai/2007}, editor = {Manuela M. Veloso}, pages = {230-235}, year = 2007, url = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf}, ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf}, date = {2007-03-05}, description = {dblp}, biburl = {http://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stumme}, keywords = {fca concept formal analysis description logics dl} } @inproceedings{DBLP:conf/iccs/Sattler03, title = {Description Logics for Ontologies}, author = {Ulrike Sattler}, booktitle = {Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003)}, crossref = {DBLP:conf/iccs/2003}, pages = {96-116}, year = 2003, ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}, biburl = {http://www.bibsonomy.org/bibtex/22af70afba01a15829a7af5dc80268d06/iccs}, keywords = {ontology logics dl 2003 iccs description} } @inproceedings{DBLP:conf/iccs/Baader03, title = {Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.}, author = {Franz Baader}, booktitle = {Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003)}, crossref = {DBLP:conf/iccs/2003}, editor = {Aldo de Moor and Wilfried Lex and Bernhard Ganter}, pages = {117-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = 2746, year = 2003, ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}, bibsource = {DBLP, http://dblp.uni-trier.de}, isbn = {3-540-40576-3}, biburl = {http://www.bibsonomy.org/bibtex/2dd7eedb1cf24b06fb07490af95dfbb86/iccs}, keywords = {2003 lcs logic dl description iccs} } @inproceedings{DBLP:conf/iccs/MetzgerBN03, title = {Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy.}, author = {Jean-Luc Metzger and Florence Le Ber and Amedeo Napoli}, booktitle = {Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003)}, crossref = {DBLP:conf/iccs/2003}, editor = {Aldo de Moor and Wilfried Lex and Bernhard Ganter}, pages = {215-228}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = 2746, year = 2003, ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}, bibsource = {DBLP, http://dblp.uni-trier.de}, isbn = {3-540-40576-3}, biburl = {http://www.bibsonomy.org/bibtex/29960b8ac85f131d1d9c7a40681e2de2c/iccs}, keywords = {iccs 2003 organization spatial logic dl cbr sog graph description} } @inproceedings{DBLP:conf/iccs/Horrocks05, title = {Applications of Description Logics: State of the Art and Research Challenges.}, author = {Ian Horrocks}, booktitle = {Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005)}, crossref = {DBLP:conf/iccs/2005}, editor = {Frithjof Dau and Marie-Laure Mugnier and Gerd Stumme}, pages = {78-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = 3596, year = 2005, ee = {http://dx.doi.org/10.1007/11524564_5}, bibsource = {DBLP, http://dblp.uni-trier.de}, isbn = {3-540-27783-8}, biburl = {http://www.bibsonomy.org/bibtex/2b9d553b8f9f4ac6c979e8891052ede60/iccs}, keywords = {iccs dl logics invited application 2005 talk description} } @inproceedings{stumme96concept, title = {The Concept Classification of a Terminology Extended by Conjunction and Disjunction}, address = {Heidelberg}, author = {Gerd Stumme}, booktitle = {PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96}, editor = {N. Foo and R. Goebel}, pages = {121-131}, publisher = {Springer}, series = {LNAI}, volume = 1114, year = 1996, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf}, comment = {alpha}, biburl = {http://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/grahl}, keywords = {dl analysis classification fca formal description logic concept alc lattices} } @inproceedings{stumme96concept, title = {The Concept Classification of a Terminology Extended by Conjunction and Disjunction}, address = {Heidelberg}, author = {Gerd Stumme}, booktitle = {PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96}, editor = {N. Foo and R. Goebel}, pages = {121-131}, publisher = {Springer}, series = {LNAI}, volume = 1114, year = 1996, url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf}, comment = {alpha}, biburl = {http://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stumme}, keywords = {description 1996 myown fca analysis logics classification alc concept lattices formal dl} } @inproceedings{conf/kr/CohenH94, title = {Learning the Classic Description Logic: Theoretical and Experimental Results.}, author = {William W. Cohen and Haym Hirsh}, booktitle = {KR}, pages = {121-133}, year = 1994, url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps}, isbn = {1-55860-554-1}, description = {dblp}, biburl = {http://www.bibsonomy.org/bibtex/212c5b9d272c941d934bd3dfcc69c37f5/hotho}, keywords = {logic learning dl machine ml description} } @article{journals/ml/CohenH94, title = {The Learnability of Description Logics with Equality Constraints.}, author = {William W. Cohen and Haym Hirsh}, journal = {Machine Learning}, number = {2-3}, pages = {169-199}, volume = 17, year = 1994, url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps}, ee = {http://www.kuenstliche-intelligenz.de/Artikel/CommonPatternsinITSArchitectures.htm}, description = {dblp}, biburl = {http://www.bibsonomy.org/bibtex/2482edb5b3b5ede9a0e3be638db81e9fd/hotho}, keywords = {ml logic description dl machine learning} }