凯尔

描述逻辑（DLs）是本体论推理的一个重要形式家族。CEL是描述逻辑EL+的第一个推理机，它的主要推理任务是支持由EL+本体诱导的包含层次的计算。CEL最显著的特点是，与其他现代DL推理机不同，它实现了多项式时间算法。支持的描述逻辑EL+提供了一组精选的表达手段，针对医学和生物本体论的制定而定制。CEL是一个owl2el推理机（尽管目前有一些限制）。要想知道什么样的逻辑方面可以用CEL本体来表达，请看我们的toy ontology页面。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献15条)

显示第1到15个结果，共15个。
按年份排序(引用)

  1. 塞兰，İsmailİlkan；Peñaloza，Rafael:贝叶斯本体论语言（\mathcalBEL）（2017）
  2. 阿里夫，M.法雷德；门西亚，卡洛斯；伊格纳蒂耶夫，亚历克赛；曼蒂，诺伯特；培纳洛扎，拉斐尔；Marques Silva，Joao:BEACON:一种高效的基于SAT的调试工具（\mathcalEL^+）本体论（2016）
  3. 阿里夫，M.法雷德；门西亚，卡洛斯；Marques Silva，Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用（2015）
  4. 埃克，安德烈亚斯；培纳洛扎，拉斐尔；Turhan，Anni Yasmin:具有主观概率的描述逻辑（\MathCaleler）的基于完成的泛化推理（2014）
  5. 叶夫根尼·卡扎科夫；克鲁兹，马库斯；西曼契克，弗兰蒂舍克：不可思议的麋鹿。从多项式过程到有效推理（\mathcalEL）本体论（2014）
  6. Cuenca Grau，贝尔纳多；莫蒂克，鲍里斯；斯托伊洛斯，乔戈斯；Horrocks，Ian:不完全本体论推理机的完备性保证：理论与实践（2012）
  7. Krötzsch，Markus:OWL2概要：轻量级本体语言简介（2012）
  8. 巴德尔，弗兰兹；卢茨，卡斯滕；图尔汉，安尼·亚斯明：小是再美的描述逻辑（2010）ioport公司
  9. Cuenca Grau，贝尔纳多；哈拉舍克·维纳，基督徒；叶夫根尼·卡扎科夫；Suntisrivaraporn，Boontawee:描述逻辑本体论的增量分类（2010）
  10. Distel，Felix:探索描述逻辑知识库的方法（2010）
  11. 巴德尔，弗兰兹：描述逻辑（2009）
  12. 霍夫曼，J。；贝尔托利，P。；赫尔默特，M。；Pistore，M.：基于消息的web服务组合、完整性约束和不确定性下的规划：新连接（2009）
  13. 科涅夫，鲍里斯；沃尔特，德克；沃尔特，弗兰克：描述逻辑术语的逻辑差异问题（2008）
  14. 莫蒂克，鲍里斯；Horrocks，Ian:描述逻辑推理中的个体重用（2008）
  15. 巴德尔，弗兰兹；卢茨，卡斯滕；Suntisrivaraporn，Boontwee:CEL——生命科学本体论的多项式时间推理机（2006）ioport公司