Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter. A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). In Stefan Borgwardt, Thomas Meyer 0002, editors, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
Abstract is missing.