On the Satisfiability of Quasi-Classical Description Logics
-
Published:2017
Issue:6
Volume:36
Page:1415-1446
-
ISSN:1335-9150
-
Container-title:Computing and Informatics
-
language:
-
Short-container-title:cai
Author:
Zhang Xiaowang,Feng Zhiyong,Wu Wenrui,Hossain Mokarrom,MacCaull Wendy
Publisher
Central Library of the Slovak Academy of Sciences
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Software