Saturated-Based Forgetting in the Description Logic SIF

Patrick Koopmann, Renate A. Schmidt. Saturated-Based Forgetting in the Description Logic SIF. In Diego Calvanese, Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Authors

Patrick Koopmann

This author has not been identified. Look up 'Patrick Koopmann' in Google

Renate A. Schmidt

This author has not been identified. Look up 'Renate A. Schmidt' in Google