Finding data tractable description logics for computing a minimum cost diagnosis based on ABox decomposition

Tsinghua Science and Technology - Tập 15 - Trang 623-632 - 2010
Jianfeng Du1,2, Guilin Qi3, Jeff Z. Pan4
1Guangdong University of Foreign Studies, Guangzhou 510006, China
2State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China
3School of Computer Science and Engineering, Southeast University, Nanjing, 211189, China
4Department of Computing Science, the University of Aberdeen, Aberdeen AB24 3UE, UK

Thông tin
Thông tin xuất bản

Tsinghua Science and Technology

Tập 15

623-632

Thông tin tác giả