【24h】

A New Operator for ABox Revision in DL-Lite

机译:DL-Lite中ABox修订的新运算符

获取原文

摘要

In this paper, we propose a new operator for revising ABoxes in DL-Lite ontologies. We present a graph-based algorithm for ABox revision in DL-Lite, which implements the revision operator and we show it runs in polynomial time.
机译:在本文中,我们提出了一种用于修改DL-Lite本体中的ABox的新运算符。我们在DL-Lite中提出了一种基于图的ABox修订算法,该算法实现了修订运算符,并显示了它在多项式时间内运行。

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号