期刊文献+

Combining ODM and OCL in ontology verification 被引量:1

Combining ODM and OCL in ontology verification
下载PDF
导出
摘要 In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach. In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution, we propose an ontology model verification approach, in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification. The ODM is composed of the ontology related elements and the definition rule related elements. The OCL is employed to describe the elements in the ontology definition meta-model: OCL extension for the ontology related elements, and OCL extension for the ontological design patterns. All of the a bove OCL rules will describe the constraint relationships between ontology elements. Associated with an example, the application of the ontology model verification approach based on OCL and ODM is introduced. Consequently, the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.
出处 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2009年第5期723-729,共7页 哈尔滨工业大学学报(英文版)
基金 Sponsored by the National Basic Research Program of China (the Natural Key Basis Research and Development Plan (Grant No.973:2003CB316905)) the National Natural Science Foundation of China(Grant No.60374071)
关键词 ontology verification OCL: ODM ontological desian oattern 本体模型 ODM 八达 核查 对象约束语言 验证方法 相关元素 自动查找
  • 相关文献

同被引文献15

  • 1王英林.Method of Automatic Ontology Mapping through Machine Learning and Logic Mining[J].High Technology Letters,2004,10(4):29-34. 被引量:1
  • 2Kotis K. Vouros G A. Stergiou K. Towards auto?matic merging of domain ontologies: The HCONE?merge approach[J]'Journal of Web Semantics. 2006.4: 60-79. 被引量:1
  • 3TaylorJ M. Poliakov D. Mazlack LJ. Domain-spe?cific ontology merging for the sem antic web[C] II 2005 Annual Meeting of the North American Fuzzy Information Processing Society. Michigan: IEEE. 2005: 418-423. 被引量:1
  • 4Richardson B. Mazlack LJ. Approximate ontology merging for the semantic web[C] II Fuzzy Informa?tion. BaH Canana:IEEE.2004,2: 641-646. 被引量:1
  • 5Zobel C W, Rees L P, Rakes T R. Automated mer?ging of conflicting knowledge bases, using a consist?ent, majority-rule approach with knowledge-form maintenance[J]' Computers & Operations Re?search,2005,32(7): 1809-1829. 被引量:1
  • 6KimJ M, Shin H, Kim HJ. Schema and con?straints-based matching and merging of topic maps[J]. Information Processing & Management, 2007 , 43: 930-945. 被引量:1
  • 7Lee C S, Kao Y F, Kuo Y H. Automated ontology construction for unstructured text documents[J]. Data & Knowledge Engineering, 2007, 60 ( 3 ): 547-566. 被引量:1
  • 8Lambrix P, Tan H. SAMBO-A system for aligning and merging biomedical ontologies[J]. Web Seman?tics: Science, Services and Agents on the World Wide Web,2006,4(3): 196-206. 被引量:1
  • 9Qian Pengfei , Zhang Shensheng. Ontology mapping approach based on OCL[CJ II Fronties of WWW Research and Development-Af'Web , 2006. Berlin:[so n.J,2006: 1022-1033. 被引量:1
  • 10Paul E,NicolaasJ. Bottom-up construction of onto 1- ogies[J]. IEEE Transactions on Knowledge and Da?ta Engineering,1998,10(4): 513-526. 被引量:1

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部