The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains

Download PDF

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann

Published: 01 Jan 2024, Last Modified: 15 Aug 2024Description Logics 2024EveryoneRevisionsBibTeXCC BY-SA 4.0