@Inproceedings{baader2007completing,
  author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
  title  = {Completing description logic knowledge bases using formal concept analysis},

  year   = {2007},
  number = {},
  url    = {http://dl.acm.org/citation.cfm?id=1625275.1625311},

  const  = {\ text}
}
@Inproceedings{baader2004applying,
  author = {Baader, Franz and Sertkaya, Baris},
  title  = {Applying Formal Concept Analysis to Description Logics.},

  year   = {2004},
  number = {},
  url    = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2961&spage=261},
  doi = {10.1007/978-3-540-24651-0_24},
  const  = {\ text}
}
@Book{baader2003description,

  title  = {The description logic handbook: theory, implementation, and applications},

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

  const  = {\ text}
}
@Article{horrocks2003making,
  author = {Horrocks, Ian and Patel-Schneider, Peter F. and van Harmelen, Frank},
  title  = {From SHIQ and RDF to OWL: the making of a Web Ontology Language},
  journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
  year   = {2003},
  number = {1},
  url    = {http://www.sciencedirect.com/science/article/pii/S1570826803000027},
  doi = {10.1016/j.websem.2003.07.001},
  const  = {\ text}
}