摘要
在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL-Lite本体实例断言中冲突的不一致容忍语义,讨论了新的不一致容忍语义与已有的不一致容忍语义的关系,给出了在新定义的不一致容忍语义下的修复算法并做了新语义下推理任务的复杂度分析.
In ontology engineering,inconsistency will appear in the evolution process of ontologies and the inconsistency of ontologies will lead to the invalidity of reasoning. In order to resolve the problem of reasoning invalid,a new inconsistency-tolerant semantics for dealing with inconsistencies in DL-Lite ontologies has been proposed. The advantage of our inconsistency-tolerant semantics over existing ones has been discussed and the data complexity of union of conjunction queries entailment under the new semantics has been studied.
出处
《江西师范大学学报（自然科学版）》
CAS
北大核心
2016年第4期382-385,395,共5页
Journal of Jiangxi Normal University(Natural Science Edition)
基金
国家自然科学基金(61272378)
江西省教育厅青年科学基金(GJJ12643)资助项目
