南京大学学报(自然科学版) ›› 2018, Vol. 54 ›› Issue (1): 56.
崔仙姬1,2,欧阳丹彤2,3,何加亮1*,高 健4
Cui Xianji1,2*,Ouyang Dantong2,3,He Jialiang1,Gao Jian4
摘要: 本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语集,从待测术语集中将与不可满足概念语法相关的公理集合加入到不可满足子术语集,一定程度上减少了不相关公理的加入,可以有效减少待测术语集规模.进一步地,将术语集的极小不可满足保持子术语集(minimal unsatisfiability-preserving sub-TBox,MUPS)的求解过程看作是关键公理的查找过程.提出关联解释的定义,并通过构造术语集的关联解释方式确定关键公理.该过程一定程度上减少了推理机调用次数并简化了每次调用用于找出问题时的推理任务.实验部分将各类优化策略应用于黑盒算法并进行了比较.实验结果表明,该方法能够有效提高术语集MUPS求解效率.
[1] Staab S,Studer R.Handbook on ontologies.Springer Berlin Heidelberg,2009,811. [2] Doms A,Schroeder M.GoPubMed:Exploring PubMed with the gene ontology.Nucleic Acids Research,2005,33(S2):W783-W786. [3] Cornet R,De Keizer N.Forty years of SNOMED:A literature review.BMC Medical Informatics and Decision Making,2008,8(S1):S2. [4] Baader F,Calvanese D,McGuinness D L,et al.The description logic handbook:Theory,implementation,and applications.The 2nd Edition.New York,NY,USA:Cambridge University Press,2007,573. [5] Kalyanpur A,Parsia B,Sirin E,et al.Debugging unsatisfiable classes in OWL ontologies.Web Semantics:Science,Services and Agents on the World Wide Web,2005,3(4):268-293. [6] Schlobach S,Cornet R.Non-Standard reasoning services for the debugging of description logic terminologies ∥ Proceedings of the 18th International Joint Conference on Artificial Intelligence.Acapulco,Mexico:Morgan Kaufmann Publishers Inc.,2003:355-362. [7] Schlobach S,Huang ZS,Cornet R,et al.Debugging incoherent terminologies.Journal of Automated Reasoning,2007,39(3):317-349. [8] Kalyanpur A,Parsia B,Horridge M,et al.Finding all justifications of OWL DL entailments ∥ The 6th International Semantic Web Conference,2nd Asian Semantic Web Conference.Busan,Korea:Springer,2007:267-280. [9] Baader F,Pealoza R.Automata-based axiom pinpointing.Journal of Automated Reasoning,2010,45(2):91-129. [10] Ye Y X,Ouyang D T,Su J.Entailment-based axiom pinpointing in debugging incoherent terminologies ∥ The 1st International Workshop on Semantic Technologies.Changchun,China:CEUR-WS,2015:105-115. [11] Reiter R.A theory of diagnosis from first principles.Artificial Intelligence,1987,32(1):57-95. [12] Schlobach S.Diagnosing terminologies ∥ Proceedings of the 20th National Conference on Artificial Intelligence.Pittsburgh,PA,USA:AAAI,2005:670-675. [13] Friedrich G,Shchekotykhin K.A general diagnosis method for ontologies ∥ The 4th International Semantic Web Conference.Galway,Ireland:Springer,2005:232-246. [14] Shchekotykhin K,Friedrich G,Fleiss P,et al.Interactive ontology debugging:Two query strategies for efficient fault localization.Web Semantics:Science,Services and Agents on the World Wide Web,2012,12-13:88-103. [15] Jannach D,Schmitz T,Shchekotykhin K.Parallel model-based diagnosis on multi-core computers.Journal of Artificial Intelligence Research,2016,55(1):835-887. [16] Parsia B,Sirin E,Kalyanpur A.Debugging OWL ontologies ∥ Proceedings of the 14th International Conference on World Wide Web.Chiba,Japan:ACM,2005:633-640. [17] Kalyanpur A,Parsia B,Sirin E.Black box techniques for debugging unsatisfiable concepts ∥ Proceedings of the International Workshop on Description Logics.Edinburgh,UK:CEUR-WS,2005:26-28. [18] Grau B,Horrocks I,Kazakov Y,et al.Just the right amount:Extracting modules from ontolo-gies ∥ The 16th International Conference on World Wide Web.Banff,Canada:ACM,2007:717-726. |
No related articles found! |
|