@inproceedings{9974,
  title = "Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2014",
  booktitle = "Proceedings of the 27th International Workshop of Description Logics (DL)",
  publisher = "CEUR-WS.org",
}