面向模块重用的描述逻辑SHJF本地性规则研究

doi:10.11896/j.issn.1002-137X.2015.01.055

计算机科学 ›› 2015, Vol. 42 ›› Issue (1): 249-252.doi: 10.11896/j.issn.1002-137X.2015.01.055

面向模块重用的描述逻辑SHJF本地性规则研究

徐德智,廖晖寰,徐连君

中南大学信息科学与工程学院长沙410083,中南大学信息科学与工程学院长沙410083,中南大学信息科学与工程学院长沙410083

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受国家自然科学基金面上项目(61379110),中南大学教师研究基金资助

Research on Locality Rules of Description Logic SHJF for Module Reusing

XU De-zhi, LIAO Hui-huan and XU Lian-jun

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： 可重用本体模块的抽取是本体重用的一个关键环节。与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性。在研究保守扩展的本体模块理论基础上,根据Grau B C提出的 SHOJQ 本地性规则,提出并证明了描述逻辑SHJF对应的语义本地性规则和句法本地性规则,为基于该规则抽取可重用本体模块提供了理论基础。

关键词: 本体重用,模块抽取,描述逻辑SHJF,语义本地性,句法本地性

Abstract: The extraction of ontology module is an essential step in ontology reuse.Compared to the structural approaches based on ontology hierarchy used in traditional engineering and applications,the logic approaches can make full use of the semantic information that ontologies provide.The extracted modules are more integrated and consistent.Based on conservative extension and locality rules of SHOJQ-based ontologies proposed by Grua B C,this paper provided and proved a SEMLOC rule and a SYNLOC rule for description logic SHJF-based ontologies,which can provide theoretical basis for extracting reusable ontology module.

Key words: Ontologyresuing,Module extraction,Description logic SHJF,Semantic locality,Syntactic locality

徐德智,廖晖寰,徐连君. 面向模块重用的描述逻辑SHJF本地性规则研究[J]. 计算机科学, 2015, 42(1): 249-252. https://doi.org/10.11896/j.issn.1002-137X.2015.01.055

XU De-zhi, LIAO Hui-huan and XU Lian-jun. Research on Locality Rules of Description Logic SHJF for Module Reusing[J]. Computer Science, 2015, 42(1): 249-252. https://doi.org/10.11896/j.issn.1002-137X.2015.01.055

参考文献

[1] Berners-Lee T.Semantic web road map[EB/OL].http://www.w3.org/DesignIssues/Semantic.html
[2] Shvaiko P,Euzenat J.Ontology matching:state of the art and future challenges[J].Knowledge and Data Engineering,2012,5(1),158-176
[3] Stuckenschmidt H,Klein M.Structure-based partitioning oflarge concept hierarchies[M]∥The Semantic Web-ISWC 2004.Springer Berlin Heidelberg,2004:289-303
[4] Doran P,Tamma V,Iannone L.Ontology module extraction for ontology reuse:an ontology engineering perspective[C]∥Proceedings of the Sixteenth ACM Conference on Conference on Information and Knowledge Management.ACM,2007:61-70
[5] Seidenberg J,Rector A.Web ontology segmentation:analysis,classification and use[C]∥Proceedings of the 15th international conference on World Wide Web.ACM,2006:13-22
[6] Noy N F,Musen M A.Specifying ontology views by traversal[M]∥The Semantic Web-ISWC 2004.Springer Berlin Heidelberg,2004:713-725
[7] Krtzsch M,Simancik F,Horrocks I.A description logic primer[J/OL].http://arxiv.org/pdf/1202.4089.pdf
[8] Grau B C,Parsia B,Sirin E,et al.Modularity and Web Ontologies[C]∥KR.2006:198-209
[9] Kontchakov R,Pulina L,Sattler U,et al.Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers[C]∥IJCAI.2009,9:836-841
[10] Horrocks I,Sattler U.A Tableau Decision Procedure for[J].Journal of Automated Reasoning,2007,39(3):249-276
[11] Horrocks I,Sattler U.A description logic with transitive and inverse roles and role hierarchies[J].Journal of logic and computation,1999,9(3):385-410
[12] Grau B C,Horrocks I,Kazakov Y,et al.Modular reuse of ontologies:Theory and practice[J].Journal of Artificial Intelligence Research,2008,31(1):273-318
[13] Armas Romero A,Cuenca Grau B,Horrocks I.Modular combination of reasoners for ontology classification[C]∥ 11th International Semantic Web conference.2012:1-16

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

面向模块重用的描述逻辑SHJF本地性规则研究

Research on Locality Rules of Description Logic SHJF for Module Reusing

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0