Overview and reflexion on OWL 2 DL ontology consistency rules

Leila Bayoudhi, Najla Sassi, W. Jaziri
{"title":"Overview and reflexion on OWL 2 DL ontology consistency rules","authors":"Leila Bayoudhi, Najla Sassi, W. Jaziri","doi":"10.1145/3018896.3036376","DOIUrl":null,"url":null,"abstract":"Domain knowledge capture has always been a major interest for both humans and computer systems. Thus, semantic formalisms, such as ontologies, become necessary to hold, share and understand that knowledge. As the world is continually changing, ontology must be updated accordingly. However, ontology changes should never affect its consistency as ontology needs to remain in a consistent state along its lifecycle. To this end, ontology consistency rules are defined and used to check not only logical inconsistencies but also syntactical invalidities and style issues. They are adopted from a posteriori approaches and adapted to enable an a priori detection/fixing of ontology inconsistencies. This paper discusses ontology inconsistency issues and describes the different consistency rules adopted from the literature. Then, it proves their useful adaptation for an a priori inconsistency detection and fixing.","PeriodicalId":131464,"journal":{"name":"Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3018896.3036376","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6

Abstract

Domain knowledge capture has always been a major interest for both humans and computer systems. Thus, semantic formalisms, such as ontologies, become necessary to hold, share and understand that knowledge. As the world is continually changing, ontology must be updated accordingly. However, ontology changes should never affect its consistency as ontology needs to remain in a consistent state along its lifecycle. To this end, ontology consistency rules are defined and used to check not only logical inconsistencies but also syntactical invalidities and style issues. They are adopted from a posteriori approaches and adapted to enable an a priori detection/fixing of ontology inconsistencies. This paper discusses ontology inconsistency issues and describes the different consistency rules adopted from the literature. Then, it proves their useful adaptation for an a priori inconsistency detection and fixing.
owl2本体一致性规则概述与思考
领域知识捕获一直是人类和计算机系统的主要兴趣。因此,语义形式主义,如本体,成为持有、共享和理解知识的必要条件。随着世界的不断变化,本体论也必须随之更新。然而,本体的更改不应该影响其一致性,因为本体需要在其生命周期中保持一致的状态。为此,定义了本体一致性规则,不仅用于检查逻辑不一致,还用于检查语法无效和样式问题。它们采用后验方法,并适应于先验检测/修复本体不一致性。本文讨论了本体不一致问题,并描述了文献中采用的不同一致性规则。然后,证明了它们对先验不一致检测和修复的有效适应性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信