@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 = {formal concept description dl OntologyHandbook FCA logics analysis 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 = {formal concept begriffsanalyse description formale relational dl attribute logics analysis fca exploration} } @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 = {formal concept description dl attribute analysis logic fca exploration} } @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 = {formal concept description dl logics analysis fca} } @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 = {description 2003 dl logics iccs ontology} } @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 = {description 2003 lcs dl iccs logic} } @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 = {sog organization graph spatial cbr description 2003 dl iccs logic} } @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 = {application 2005 description dl logics iccs invited talk} } @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 = {lattices formal concept alc description classification dl analysis logic fca} } @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 = {lattices 1996 concept formal alc description classification dl myown logics analysis fca} } @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 = {description dl learning machine ml logic} } @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 = {description dl learning machine ml logic} }