Absorption-Based Query Entailment Checking for Expressive Description Logics

Andreas Steigmiller, Birte Glimm. Absorption-Based Query Entailment Checking for Expressive Description Logics. In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.