Generalized Closed World Reasoning in Description Logics with Extended Domain Closure

Oliver Gries. Generalized Closed World Reasoning in Description Logics with Extended Domain Closure. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, editors, Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]

Abstract

Abstract is missing.