@inproceedings{9973,
  title = "Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2015",
  booktitle = "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI)",
  publisher = "AAAI Press",
}