On the Satisfiability of Quasi-Classical Description Logics.
Comput. Informatics, 2017
Optimizing Inconsistency-tolerant Description Logic Reasoning.
Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016