一种基于图的DL-Lite本体最小不可满足保持子集的计算方法
付雪峰, 漆桂林, 张勇
A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite
FU Xue-feng, QI Gui-lin, ZHANG Yong
电子学报
.
2016, (9): 2040
-2045
.
DOI: 10.3969/j.issn.0372-2112.2016.09.002
