Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes
Patrick Koopmann and Renate Schmidt
Book Title
Proceedings of the Twenty−Ninth AAAI Conference on Artificial Intelligence (AAAI)
Publisher
AAAI Press
Year
2015
Patrick Koopmann and Renate Schmidt