Nikoo Zolfaghar Karahroodi, Volker Haarslev. A Consequence-based Algebraic Calculus for SHOQ. In Alessandro Artale, Birte Glimm, Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Abstract is missing.