Forgetting and Uniform Interpolation for ALC−Ontologies with ABoxes
Patrick Koopmann and Renate Schmidt
Book Title
Proceedings of the 27th International Workshop of Description Logics (DL)
Publisher
CEUR−WS.org
Year
2014
Patrick Koopmann and Renate Schmidt