@Inproceedings{amato06dissimilarity,
  author = {Claudia d'Amato and Nicola Fanizzi and Floriana Esposito},
  title  = {A Dissimilarity Measure for ALC Concept Descriptions},

  year   = {2006},
  number = {},
  url    = {http://doi.acm.org/10.1145/1141277.1141677},

  const  = {\ text}
}
@Inproceedings{baader07completing,
  author = {Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler},
  title  = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis.},

  year   = {2007},
  number = {},
  url    = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},

  const  = {\ text}
}
@Inproceedings{borgida05similarity,
  author = {Alexander Borgida and Thomas Walsh and Haym Hirsh},
  title  = {Towards Measuring Similarity in Description Logics.},

  year   = {2005},
  number = {},
  url    = {http://www.ceur-ws.org/Vol-147/25-BorgidaEtAl.pdf},

  const  = {\ text}
}
@Inproceedings{cohen94learningclassic,
  author = {William W. Cohen and Haym Hirsh},
  title  = {Learning the CLASSIC Description Logic: Theoretical and Experimental Results},

  year   = {1994},
  number = {},
  url    = {},

  const  = {\ text}
}
@Inproceedings{fanizzi07inductive,
  author = {Nicola Fanizzi and Claudia d'Amato},
  title  = {Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods},

  year   = {2007},
  number = {4692},
  url    = {http://dx.doi.org/10.1007/978-3-540-74819-9_19},

  const  = {\ text}
}
@Inproceedings{fanizzi06declarative,
  author = {Nicola Fanizzi and Claudia d'Amato},
  title  = {A Declarative Kernel for ALC Concept Descriptions},

  year   = {2006},
  number = {},
  url    = {http://dx.doi.org/10.1007/11875604_37},

  const  = {\ text}
}
@Inproceedings{fanizzi04conceptformation,
  author = {Nicola Fanizzi and Luigi Iannone and Ignazio Palmisano and Giovanni Semeraro},
  title  = {Concept Formation in Expressive Description Logics},
  journal = {Proceedings of the 15th European Conference on Machine Learning, September 20-24, 2004, Pisa, Italy},
  year   = {2004},
  number = {},
  url    = {http://www.springerlink.com/content/vlerunkldapg3avv},

  const  = {\ text}
}
@Phdthesis{motik06phd,
  author = {Boris Motik},
  title  = {Reasoning in Description Logics using Resolution and Deductive Databases},

  year   = {2006},
  number = {},
  url    = {},

  const  = {\ text}
}
@Book{rudolph2006relational,
  author = {Sebastian Rudolph},
  title  = {Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification},

  year   = {2006},
  number = {},
  url    = {\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}},

  const  = {\ text}
}
@Book{baader03dlhandbook,

  title  = {The Description Logic Handbook: Theory, Implementation and Applications},

  year   = {2003},
  number = {},
  url    = {},

  const  = {\ text}
}