@phdthesis{motik06phd,
        title = {Reasoning in Description Logics using Resolution and Deductive Databases},
        author = {Boris Motik},
        month = {January},
        school = {Universität Karlsruhe (TH), Karlsruhe, Germany},
        year = 2006,
        biburl = {http://www.bibsonomy.org/bibtex/2b249626329e2cdee82c8799b9344b2de/sb3000},
	keywords = {dl kaon2 reasoning}
}

@inproceedings{fanizzi04conceptformation,
        title = {Concept Formation in Expressive Description Logics},
        author = {Nicola Fanizzi and Luigi Iannone and Ignazio Palmisano and Giovanni Semeraro},
        journal = {Proceedings of the 15th European Conference on Machine Learning, September 20-24, 2004, Pisa, Italy},
        pages = {99--110},
        publisher = {Springer, Berlin--Heidelberg, Germany},
        year = 2004,
        url = {http://www.springerlink.com/content/vlerunkldapg3avv},
        description = {SpringerLink - Buchkapitel},
	biburl = {http://www.bibsonomy.org/bibtex/21e3b280b38b08fc8efc5618e645b29ff/sb3000},
	keywords = {dl ilp}
}

@inproceedings{fanizzi07inductive,
        title = {Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods},
        author = {Nicola Fanizzi and Claudia d'Amato},
        booktitle = {Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering               Systems (KES 2007), XVII Italian Workshop on Neural Networks, },
        editor = {Bruno Apolloni and Robert J. Howlett and Lakhmi C. Jain},
        number = 4692,
        pages = {148--155},
        publisher = {Springer, Berlin--Heidelberg, Germany},
        series = {Lecture Notes in Computer Science},
        year = 2007,
        url = {http://dx.doi.org/10.1007/978-3-540-74819-9_19},
        biburl = {http://www.bibsonomy.org/bibtex/2abac8f824c84fbc5ab621fd3e3433dbc/sb3000},
	keywords = {dl kernels ontology similarity}
}

@inproceedings{fanizzi06declarative,
        title = {A Declarative Kernel for {ALC} Concept Descriptions},
        author = {Nicola Fanizzi and Claudia d'Amato},
        booktitle = {Foundations of Intelligent Systems, 16th International Symposium,},
        editor = {Floriana Esposito and Zbigniew W. Ras and Donato Malerba and Giovanni Semeraro},
        pages = {322-331},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = 4203,
        year = 2006,
        url = {http://dx.doi.org/10.1007/11875604_37},
        isbn = {3-540-45764-X},
	biburl = {http://www.bibsonomy.org/bibtex/2ff57a366b70c299749239bb514a3bb71/sb3000},
	keywords = {dl kernels ontology similarity}
}

@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 = {FCA OntologyHandbook analysis concept description dl fca formal logics}
}

@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 = {analysis attribute begriffsanalyse concept description dl exploration fca formal formale logics relational}
}

@inproceedings{amato06dissimilarity,
        title = {A Dissimilarity Measure for {ALC} Concept Descriptions},
        author = {Claudia d'Amato and Nicola Fanizzi and Floriana Esposito},
        booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France},
        editor = {Hisham M. Haddad},
        pages = {1695--1699},
        publisher = {ACM, New York, NY, USA},
        year = 2006,
        url = {http://doi.acm.org/10.1145/1141277.1141677},
        isbn = {1-59593-108-2},
	description = {A dissimilarity measure for ALC concept descriptions},
	biburl = {http://www.bibsonomy.org/bibtex/2b8d613bf514d81b777c724640ce91594/sb3000},
	keywords = {dl similarity}
}

@inproceedings{cohen94learningclassic,
        title = {Learning the {CLASSIC} Description Logic: Theoretical and Experimental Results},
        author = {William W. Cohen and Haym Hirsh},
        booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany},
        editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
        pages = {121--133},
        publisher = {Morgan-Kauffman Publishers, San Francisco, CA, USA},
        year = 1994,
        biburl = {http://www.bibsonomy.org/bibtex/26abee7d4dbc7874815f8d18f20d3e3a9/sb3000},
	keywords = {DL ml}
}

@inproceedings{borgida05similarity,
        title = {Towards Measuring Similarity in Description Logics.},
        author = {Alexander Borgida and Thomas Walsh and Haym Hirsh},
        booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK},
        editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter},
        publisher = {CEUR-WS.org},
        series = {CEUR Workshop Proceedings},
        volume = 147,
        year = 2005,
        url = {http://www.ceur-ws.org/Vol-147/25-BorgidaEtAl.pdf},
        biburl = {http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/sb3000},
	keywords = {dl similarity}
}

@book{baader03dlhandbook,
        title = {The Description Logic Handbook: Theory, Implementation and Applications},
        address = {Cambridge, UK},
        editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider},
        publisher = {Cambridge University Press},
        year = 2003,
        biburl = {http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/sb3000},
	keywords = {DL}
}