[1] Console M,Lenzerini M.Data quality in ontology-based data access:the case of consistency[A].Proceedings of the 28th AAAI Conference on Artificial Intelligence[C].Québec:AAAI Press,2014.1020-1026.
[2] Carnielli W A,Marcos J.Ex contradictione non sequitur quodlibet[J].Bulletin of Advanced Reasoning and Knowledge,2001,27(1):89-109.
[3] de la Banda M J,Stuckey P J,Wazny J.Finding all minimal unsatisfiable subsets[A].Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming[C].Uppsala:ACM,2003.32-43.
[4] Schlobach S,Cornet R.Non-standard reasoning services for the debugging of description logic terminologies[A].Proceedings of the 18th International Joint Conf.on Artificial Intelligence[C].San Francisco:Morgan Kaufmann Publishers,2003.355-362.
[5] Kalyanpur A,Parsia B,Horridge M,et al.Finding all justifications of OWL DL entailments[A].Proceedings of the 6th International Semantic Web Conference[C].Berlin:Springer,2007.267-280.
[6] Suntisrivaraporn B,Qi G,Ji Q,et al.A modularization-based approach to finding all justifications for OWL DL entailments[A].Proceedings of the 3rd Asian Semantic Web Conference[C].Berlin:Springer,2008.1-15.
[7] Qin B,Wang S,Du X,et al.Graph-based query rewriting for knowledge sharing between peer ontologies[J].Information Science,2008,178(18):3525-3542.
[8] Lembo D,Santarelli V,Savo D F.Graph-based ontology classification in OWL 2 QL[A].Proceedings of the 26th International Workshop on Description Logics[C].Ulm:CEUR-WS,2013.747-759.
[9] Qi G,Wang Z,Wang K,et al.Approximating model-based ABox revision in DL-Lite:theory and practice[A].Proceedings of the 29th AAAI Conference on Artificial Intelligence[C].Menlo Park:AAAI Press,2015.254-260.
[10] Calvanese D,De Giacomo G,Lembo D,et al.Tractable reasoning and efficient query answering in description logics:the DL-Lite family[J].Journal of Automated Reasoning,2007,39(3):385-429.
[11] Fu X,Zhang Y,Qi G.A graph-based approach to antology debugging in DL-Lite[A].Proceedings of the 4th Joint International Conference on Semantic Technology[C].Berlin:Springer,2014.33-46.
[12] Sharir M.A strong-connectivity algorithm and its applications in data flow analysis[J].Computers and Mathematics with Applications,1981,7(1):67-72.
[13] 周丽平,黄厚宽,漆桂林,等.一种在DL-Lite中计算本体最小不可满足保持子集的算法[J].计算机研究与发展,2011,48(12):2334-2342. Zhou Li-ping,Huang Hou-kuang,Qi Gui-lin,et al.An algorithm for calculating minimal unsatisfiability-preserving subsets of ontology in DL-Lite[J].Journal of Computer Research and Development,2011,48(12):2334-2342.(in Chinese)
[14] Baader F,Aloza R P N,Suntisrivaraporn B.Pinpointing in the description logic EL[A].Proceedings of the 2007 International Workshop on Description Logics[C].Berlin:Springer,2007.52-67.
[15] Du J,Qi G.Decomposition-based optimization for debugging of inconsistent OWL DL ontologies[A].Proceedings of the 4th International Conference on Knowledge Science,Engineering and Management[C].Berlin:Springer,2010.88-100. |