验证本体映射的半自动化方法

2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI:10.1109/NOTERE.2010.5536604

Felipe Serpeloni, Regina L. O. Moraes, R. Bonacin

{"title":"验证本体映射的半自动化方法","authors":"Felipe Serpeloni, Regina L. O. Moraes, R. Bonacin","doi":"10.1109/NOTERE.2010.5536604","DOIUrl":null,"url":null,"abstract":"Companies are increasingly adopting ontologies in their information systems. To tackle with this growth trend ontology mappings are increasing as well. Tools constructed to support ontology mappings modeling and definitions are becoming common, however tools that validate these mappings are rare and limited. This paper proposes a semi-automatic tool to validate ontology mapping, adapting approaches already used in software validation field, such as model based tests and model checking","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A semi-automated approach to validate ontology mappings\",\"authors\":\"Felipe Serpeloni, Regina L. O. Moraes, R. Bonacin\",\"doi\":\"10.1109/NOTERE.2010.5536604\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Companies are increasingly adopting ontologies in their information systems. To tackle with this growth trend ontology mappings are increasing as well. Tools constructed to support ontology mappings modeling and definitions are becoming common, however tools that validate these mappings are rare and limited. This paper proposes a semi-automatic tool to validate ontology mapping, adapting approaches already used in software validation field, such as model based tests and model checking\",\"PeriodicalId\":431237,\"journal\":{\"name\":\"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)\",\"volume\":\"50 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-08-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NOTERE.2010.5536604\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NOTERE.2010.5536604","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

公司越来越多地在其信息系统中采用本体。为了应对这种增长趋势，本体映射也在增加。为支持本体映射建模和定义而构建的工具正变得越来越普遍，但是验证这些映射的工具却很少而且有限。本文提出了一种半自动化的本体映射验证工具，该工具采用了基于模型的测试和模型检查等软件验证方法

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A semi-automated approach to validate ontology mappings

Companies are increasingly adopting ontologies in their information systems. To tackle with this growth trend ontology mappings are increasing as well. Tools constructed to support ontology mappings modeling and definitions are becoming common, however tools that validate these mappings are rare and limited. This paper proposes a semi-automatic tool to validate ontology mapping, adapting approaches already used in software validation field, such as model based tests and model checking

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)

自引率

0.00%

发文量