Please submit manuscripts in either of the following two submission systems

    ScholarOne Manuscripts

  • ScholarOne

    • 勤云稿件系统

  • 登录

Search by Issue

  • 2025 Vol.32
  • 2024 Vol.31
  • 2023 Vol.30
  • 2022 Vol.29
  • 2021 Vol.28
  • 2020 Vol.27
  • 2019 Vol.26
  • 2018 Vol.25
  • 2017 Vol.24
  • 2016 vol.23
  • 2015 vol.22
  • 2014 vol.21
  • 2013 vol.20
  • 2012 vol.19
  • 2011 vol.18
  • 2010 vol.17
  • 2009 vol.16
  • No.1
  • No.2

Search by Keywords

  • Search by Title
  • Search by Keywords
  • Search by Abstract
  • Search by Author's Chinese Name
  • Search by Author's English Name
  • Search by Fund

News & AnnouncementMORE

Supervised by Ministry of Industry and Information Technology of The People's Republic of China Sponsored by Harbin Institute of Technology Editor-in-chief Yu Zhou ISSNISSN 1005-9113 CNCN 23-1378/T

期刊网站二维码
微信公众号二维码
Related citation:QIAN Peng-fei,WANG Ying-lin,ZHANG Shen-sheng.Combining ODM and OCL in ontology verification[J].Journal of Harbin Institute Of Technology(New Series),2009,16(5):723-729.DOI:10.11916/j.issn.1005-9113.2009.05.026.
【Print】   【HTML】   【PDF download】   【View/Add Comment】  【Download reader】  【 Close 】
←Previous|Next→ Back Issue    Advanced Search
This paper has been: browsed 848times   downloaded 618times 本文二维码信息
码上扫一扫！
Shared by: Wechat More
Font:larger+|default|smaller-
Combining ODM and OCL in ontology verification
Author NameAffiliation
QIAN Peng-fei Dept.of Computer Science and Technology,Shanghai Jiaotong University,Shanghai 200240,China 
WANG Ying-lin Dept.of Computer Science and Technology,Shanghai Jiaotong University,Shanghai 200240,China 
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:

LINKS

Copyright © The Editorial Department of Journal of Harbin Institute of Technology
Address: 92 West Dazhi Street, Nan Gang District, Harbin, Heilongjiang Province, China Postcode: 150001
(C)2015 JOURNAL OF HIT ALL RIGHTS RESERVED. ICP. 0000423255