Saturation−Based Forgetting in the Description Logic SIF
Patrick Koopmann and Renate Schmidt
Book Title
Proceedings of the 28th International Workshop of Description Logics (DL)
Publisher
CEUR−WS.org
Year
2015
Patrick Koopmann and Renate Schmidt