Journal article
On the Satisfiability of Quasi-Classical Description Logics
Authors
Zhang X; Feng Z; Wu W; Hossain M; MacCaull W
Journal
Computing and Informatics, Vol. 36, No. 6, pp. 1415–1446
Publisher
Central Library of the Slovak Academy of Sciences
Publication Date
2017
DOI
10.4149/cai_2017_6_1415
ISSN
1335-9150