...
首页> 外文期刊>Expert Systems with Application >ONTOarg: A decision support framework for ontology integration based on argumentation
【24h】

ONTOarg: A decision support framework for ontology integration based on argumentation

机译:ONTOarg:基于论证的本体集成决策支持框架

获取原文
获取原文并翻译 | 示例
           

摘要

Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms of efficiency and reuse of existing logic programming tools (such as Prolog environments), a major hindrance of this approach is its limitation for reasoning in the presence of inconsistent ontologies. Recent research has led to the use of defeasible argumentation to model different DL reasoning capabilities when handling inconsistent ontologies, resulting in so-called δ-ontologies. In this article we present ONTOarg, a decision support framework for performing local-as-view integration of possibly inconsistent and incomplete ontologies in terms of Defeasible Logic Programming (DeLP). We show how to reason on Description Logics (DL) ontologies in an ontology integration system by performing a dialectical analysis in order to determine the membership of individuals to concepts. We present formal definitions of a framework for ontology integration of DL ontologies based on DeLP along with a case study and review some of the properties of the approach.
机译:描述逻辑编程(DLP)是使用描述逻辑(DL)本体进行推理的一种众所周知的方法,可将其转换为逻辑编程(LP)的语言。尽管DLP在效率和现有逻辑编程工具(例如Prolog环境)的重用方面提供了多个优势,但这种方法的主要障碍是在存在不一致的本体论时其推理的局限性。最近的研究导致在处理不一致的本体时使用不可行的论证来建模不同的DL推理能力,从而导致了所谓的δ本体。在本文中,我们介绍了ONTOarg,这是一个决策支持框架,用于根据可能的逻辑编程(DeLP)来执行可能不一致和不完整的本体的局部视域集成。我们展示如何通过执行辩证分析来确定本体集成系统中的描述逻辑(DL)本体,以便确定概念中个人的成员身份。我们提供了基于DeLP的DL本体的本体集成框架的正式定义以及案例研究,并回顾了该方法的一些特性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号