@inproceedings{nikitina2013iswc,
  title = "{Simplifying Description Logic Ontologies}",
  author = "Nadeschda Nikitina and Sven Schewe",
  year = "2013",
  booktitle = "Proceedings of the 12th International Semantic Web Conference (ISWC 2013)",
  pages = "411--426",
}