@inproceedings{9977,
  title = "Saturation-Based Forgetting in the Description Logic SIF",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2015",
  booktitle = "Proceedings of the 28th International Workshop of Description Logics (DL)",
  publisher = "CEUR-WS.org",
}