首页> 外文期刊>urnal of Symbolic Computation >Unification of Concept Terms in Description Logics
【24h】

Unification of Concept Terms in Description Logics

机译:描述逻辑中概念术语的统一

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

摘要

Unification of concept terms is a new kind of inferrence problem for description logics, which extends the equivalence problem by allowing one to replace certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and present first decidability and complexity results for a small concept description language.
机译:概念术语的统一是描述逻辑的一种新的推理问题,它通过允许在测试等效性之前用概念术语替换某些概念名称来扩展等效性问题。我们证明了这个推理问题是应用程序感兴趣的,并且对于一个小的概念描述语言来说,当前的可判定性和复杂性结果是最重要的。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号