On the Satisfiability of Quasi-Classical Description Logics
From MaRDI portal
Publication:4557349
DOI10.4149/cai_2017_6_1415zbMath1504.68215MaRDI QIDQ4557349
Mokarrom Hossain, Wenrui Wu, Xiaowang Zhang, Wendy MacCaull, Zhi-Yong Feng
Publication date: 29 November 2018
Published in: Computing and Informatics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4149/cai_2017_6_1415