A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite
FU Xue-feng, QI Gui-lin, ZHANG Yong
Acta Electronica Sinica ›› 2016, Vol. 44 ›› Issue (9) : 2040-2045.
A Graph-Based Approach for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |