Combining ODM and OCL in ontology verification
QIAN Peng-fei, WANG Ying-lin, ZHANG Shen-sheng
Dept.of Computer Science and Technology,Shanghai Jiaotong University,Shanghai 200240,China
Abstract:
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.
Key words: ontology verification OCL ODM ontological design pattern
DOI：10.11916/j.issn.1005-9113.2009.05.026
Clc Number:TP18
Fund:
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
Combining ODM and OCL in ontology verification
本站小编 哈尔滨工业大学/2019-10-23
相关话题/Combining ODM and OCL in
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19Morphology Similarity Distance for Bearing Fault Diagnosis Based on Multi-Scale Permutation Entropy
Morphology Similarity Distance for Bearing Fault Diagnosis Based on Multi-Scale Permutation Entropy Author NameAffiliationJinbao ZhangSchool of Mechatronics Engineering, Harbin Institute of Technology, Harbin 150001, ChinaYongqiang ZhaoSchool of Mechatronics Engineering, Har ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05Influence of Si Contents on the Microstructure Evolution and Mechanical Properties of Al-Mg-Si-Cu-Zn
Influence of Si Contents on the Microstructure Evolution and Mechanical Properties of Al-Mg-Si-Cu-Zn Alloys Author NameAffiliationLiang ZhuState Key Laboratory for Advanced Metals and Materials, University of Science and Technology Beijing, Beijing 100083, ChinaMingxing GuoS ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05How do Users Evaluate Service Quality of the Dockless Bicycle Sharing System?
How do Users Evaluate Service Quality of the Dockless Bicycle Sharing System? Author NameAffiliationJianrong LiuSchool of Civil Engineering and Transportation, South China University of Technology, Guangzhou 510640, China Abstract: In order ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05GEO Satellite Thruster Configuration and Optimization
GEO Satellite Thruster Configuration and Optimization Author NameAffiliationJiajia FengBeijing Institute of Control Engineering, Beijing 100190, ChinaScience and Technology on Space Intelligent Control Laboratory,Beijing 100190,ChinaZuowei WangBeijing Institute of Control En ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05Hidden Attractors in a Delayed Memristive Differential System with Fractional Order and Chaos Synchr
Hidden Attractors in a Delayed Memristive Differential System with Fractional Order and Chaos Synchronization Author NameAffiliationDawei DingSchool of Electronics and Information Engineering, Anhui University, Hefei 230601, ChinaKey Laboratory of Intelligent Computing and S ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05Vibration Absorption Efficiency and Higher Branches Elimination of Variable-Stiffness Nonlinear Ener
Vibration Absorption Efficiency and Higher Branches Elimination of Variable-Stiffness Nonlinear Energy Sink Author NameAffiliationRui ZhongTianjin Key Laboratory of the Design and Intelligent Control of the Advanced Mechatronical System, Tianjin University of Technology,Tian ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05Heat Dissipation Performance of Metal Core Printed Circuit Board with Micro Heat Exchanger
Heat Dissipation Performance of Metal Core Printed Circuit Board with Micro Heat Exchanger Author NameAffiliationDiancheng QinGuangdong LED Packaging-Used Heat Dissipation Substrate Engineering Technology Research Center, Zhuhai 519180, Guangdong,ChinaKewei LiangRayben Techn ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05Biodegradation of Ammonia Nitrogen Using a Novel Candida sp. Strain N6 Immobilization
Biodegradation of Ammonia Nitrogen Using a Novel Candida sp. Strain N6 Immobilization Author NameAffiliationKai WangSchool of Marine Science and Technology, Harbin Institute of Technology, Weihai,Weihai 264209, Shandong, ChinaSchool of Municipal and Environmental Engineering ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05Aging Behavior and Creep Characteristics of CACB
Aging Behavior and Creep Characteristics of CACB Author NameAffiliationYunliang LiSchool of Transportation Science and Engineering, Harbin Institute of Technology, Harbin 150090, ChinaYuze LiuSchool of Transportation Science and Engineering, Harbin Institute of Technology, H ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05Adaptive Sliding Mode Control for the Excavator Manipulator
Adaptive Sliding Mode Control for the Excavator Manipulator Author NameAffiliationGuosheng XuSchool of Mechatronics Engineering, Harbin Institute of Technology, Harbin 150001, ChinaGuangming LvSchool of Mechatronics Engineering, Harbin Institute of Technology, Harbin 150001, ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05
