Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on ABox Decomposition |
| |
| Authors: | Jianfeng Du, &#x Ï , Guilin Qi, &#x &#x ,Jeff Z. Pan |
| |
| Affiliation: | a Guangdong University of Foreign Studies, Guangzhou 510006, China;b State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;c School of Computer Science and Engineering, Southeast University, Nanjing 211189, China;d Department of Computing Science, the University of Aberdeen, Aberdeen AB24 3UE, UK |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI ScienceDirect 等数据库收录！ |
|
