@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, Berlin--Heidelberg, Germany},
        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 similarity kernels ontology}
}

@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 = {reasoning kaon2 dl}
}

@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 = {similarity kernels dl ontology}
}

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

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

@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 = {similarity dl}
}

@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 = {ml DL}
}

@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 = {similarity dl}
}

@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}
}

@inproceedings{amato05semanticsimilarity,
        title = {A semantic similarity measure for expressive description logics},
        author = {C. d'Amato and N. Fanizzi and F. Esposito},
        booktitle = {Proceedings of Convegno Italiano di Logica Computazionale (CILC05)  21-22 June 2005, Rome, Italy},
        editor = {A. Pettorossi},
        year = 2005,
        biburl = {http://www.bibsonomy.org/bibtex/23efc4249eceac50aeff7e578f1937f32/sb3000},
	keywords = {similarity dl}
}

@inproceedings{conf/otm/KonstantopoulosA07,
        title = {Fuzzy-DL Reasoning over Unknown Fuzzy Degrees.},
        author = {Stasinos Konstantopoulos and Georgios Apostolikas},
        booktitle = {OTM Workshops (2)},
        crossref = {conf/otm/2007-w2},
        editor = {Robert Meersman and Zahir Tari and Pilar Herrero},
        pages = {1312-1318},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = 4806,
        year = 2007,
        url = {http://dblp.uni-trier.de/db/conf/otm/otm2007-w2.html#KonstantopoulosA07},
        ee = {http://dx.doi.org/10.1007/978-3-540-76890-6_59},
	isbn = {978-3-540-76889-0},
	date = {2007-11-27},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/2ac4dbee26d320e74e06c568b1f73ec4a/stasinos},
	keywords = {logic dl fuzzy description-logic yadlr reasoning stasinos}
}

@phdthesis{damato07phdthesis,
        title = {Symilarity-based Learning Methods for the Semantic Web},
        author = {Claudia d'Amato},
        school = {University of Bari, Italy},
        year = 2007,
        biburl = {http://www.bibsonomy.org/bibtex/28730dbe76ac8f9b3f97355adedb6ceac/sb3000},
	keywords = {kernels dl similarity}
}

@inproceedings{DBLP:conf/dlog/HustadtM05,
        title = {Description Logics and Disjunctive Datalog  The Story
               so Far},
        author = {Ullrich Hustadt and Boris Motik},
        booktitle = {Description Logics},
        crossref = {DBLP:conf/dlog/2005},
        year = 2005,
        ee = {http://www.ceur-ws.org/Vol-147/31-MotikHustadt.pdf},
	bibsource = {DBLP, http://dblp.uni-trier.de},
	description = {DBLP Record 'conf/dlog/HustadtM05'},
	biburl = {http://www.bibsonomy.org/bibtex/2bb22e87d85d22d67d35519fd41ae4bbc/ludaesch},
	keywords = {4dave DL disjunction}
}

@incollection{BB03,
        title = {{Conceptual Modeling with Description Logics}},
        author = { Borgida and  Brachman},
        booktitle = {The Description Logic Handbook: Theoryand Implementationand and Applications},
        editor = {F. Baader and D. Calvanese and D. McGuinness and D. Nardi and P.F. Patel-Schneider},
        pages = {359-381},
        publisher = {Cambridge University Press},
        year = 2003,
        biburl = {http://www.bibsonomy.org/bibtex/211ddce808f5b8e37f22676ea694cc2de/wnpxrz},
	keywords = {conceptual ontology modeling dl proj:o4p}
}

@article{Baader2003,
        title = {The Description Logic Handbook: Theory, Implementation, and Applications},
        author = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi},
        year = 2003,
        url = {http://www.amazon.com/Description-Logic-Handbook-Implementation-Applications/dp/0521876257/ref=pd_bbs_sr_1?ie=UTF8&s=books&qid=1194967964&sr=8-1},
        typesource = {Simple CitationSource},
	source = {},
	asin = {0521876257},
	pubmed = {},
	doi = {},
	description = {Amazon.com: The Description Logic Handbook: Theory, Implementation, and Applications: Books: Franz Baader,Diego Calvanese,Deborah L. McGuinness,Daniele Nardi,Peter F. Patel-Schneider},
	biburl = {http://www.bibsonomy.org/bibtex/257de558141ff78520b5f0b8d734df376/wnpxrz},
	keywords = {book descriptionlogics proj:o4p imported semanticweb dl owl}
}

@inproceedings{Kalyanpur/2007/Finding,
        title = {Finding all Justifications of OWL DL Entailments},
        address = {Berlin, Heidelberg},
        author = {Aditya Kalyanpur and Bijan Parsia and Matthew Horridge and Evren Sirin},
        booktitle = {Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea},
        crossref = {http://data.semanticweb.org/conference/iswc-aswc/2007/proceedings},
        editor = {Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon J B Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Guus Schreiber and Philippe Cudré-Mauroux},
        month = {November},
        pages = {267--280},
        publisher = {Springer Verlag},
        series = {LNCS},
        volume = 4825,
        year = 2007,
        url = {http://iswc2007.semanticweb.org/papers/267.pdf},
        abstract = {Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language (OWL). Justifications are essential for debugging unsatisfiable classes and contradictions. The availability of justifications as explanations of entailments improves the understandability of large and complex ontologies. In this paper, we present several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and show, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.},
	biburl = {http://www.bibsonomy.org/bibtex/2b00234d45e5b53dcfd57a0cef786fde9/iswc2007},
	keywords = {owl 2007 justification iswc web_service entailment research_14 human-computer_interaction dl semantic_web software_agent finding}
}

@inproceedings{stasinos-apostolikas:2007,
        title = {Fuzzy-DL Reasoning over Unknown Fuzzy Degrees},
        author = {Stasinos Konstantopoulos and Georgios Apostolikas},
        booktitle = {Proc. International IFIP Workshop of Semantic Web and
                 Web Semantics {(IFIP-SWWS 07)},
                 Algarve, 29--30 Nov. 2007},
        year = 2007,
        url = {\url{http://www.iit.demokritos.gr/~konstant/dload/Pubs/swws07.pdf}},
        biburl = {http://www.bibsonomy.org/bibtex/2483ca4fa5618dce8065f2aff6ff49d18/stasinos},
	keywords = {reasoning fuzzy stasinos DL}
}

@inproceedings{Parsia2004,
        title = {Pellet: An OWL DL Reasoner},
        author = {Bijan Parsia and Evren Sirin},
        booktitle = {3rd International Semantic Web Conference (ISWC2004)},
        year = 2004,
        id = {344196},
	priority = {0},
	abstract = {Reasoning capability is of crucial importance to many applications
	developed for the Semantic Web. Description Logics provide sound
	and complete reasoning algorithms that can effectively handle the
	DL fragment of the Web Ontology Language (OWL). However, existing
	DL reasoners were implemented long before OWL came into existence
	and lack some features that are essential for SemanticWeb applications,
	such as reasoning with individuals, querying capabilities, nominal
	support, elimination of the unique name assumption and so forth.
	With these objectives in mind we have implemented an OWL DL reasoner
	and deployed it in various kinds of applications.},
	biburl = {http://www.bibsonomy.org/bibtex/20eae92ec4d7f7500ec90b8e38aa569cc/rgoulart},
	keywords = {semantic-web dl}
}

@inproceedings{conf/dlog/SirinP04,
        title = {Pellet: An OWL DL Reasoner.},
        author = {Evren Sirin and Bijan Parsia},
        booktitle = {Description Logics},
        crossref = {conf/dlog/2004},
        editor = {Volker Haarslev and Ralf Möller},
        publisher = {CEUR-WS.org},
        series = {CEUR Workshop Proceedings},
        volume = 104,
        year = 2004,
        url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2004.html#SirinP04},
        ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/30Sirin-Parsia.pdf},
	date = {2004-07-22},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/2382e7edeaf7514cb8255c5d430646b1d/aljsanchez},
	keywords = {reasoner dl pellet owl}
}