@InProceedings{LutzWolter-WoLLIC09,
  author =  {C. Lutz and F. Wolter},
  title =    {Mathematical Logic for Life Science Ontologies},
  booktitle =  {},
  year =  {2009},
  publisher = {Springer-Verlag},
  volume = {5293},
  series = {Lecture Notes in Artificial Intelligence},

}