凯尔

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

此软件的关键字

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

zbMATH参考文献（15篇文章引用）

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

  1. Ceylan，İsmailİlkan；Peñaloza，Rafael:贝叶斯本体论语言（\mathcalBEL）（2017）
  2. Arif，M.Fareed；Mencia，Carlos；Ignatiev，Alexey；Manthey，Norbert；Peñaloza，Rafael；Marques Silva，Joao:BEACON:一种高效的基于SAT的调试工具（\mathcalEL^+）本体论（2016）
  3. Arif，M.Fareed；Mencía，Carlos；Marques Silva，Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用（2015）
  4. Ecke，Andreas；Peñaloza，Rafael；Turhan，Anni Yasmin:描述逻辑（\Mathcaleler）的基于完成的泛化推理与主观概率（2014）
  5. 叶夫根尼·卡扎科夫；马库斯·克鲁兹；弗朗蒂舍克·西曼切克：不可思议的麋鹿。从多项式过程到有效推理（\mathcalEL）本体论（2014）
  6. Cuenca Grau，Bernardo；Motik，Boris；Stoilos，Giorgos；Horrocks，Ian:不完全本体论推理机的完整性保证：理论与实践（2012）
  7. Krötzsch，Markus:OWL2概要：轻量级本体语言简介（2012）
  8. 巴德尔，弗兰兹；卢茨，卡斯滕；图尔汉，安妮亚斯明：小是再美的描述逻辑（2010）ioport公司
  9. Cuenca Grau，Bernardo；Halaschek Wiener，Christian；Kazakov，Yevgeny；Suntisrivaraporn，Boontwee:描述逻辑本体论的增量分类（2010）
  10. Distel，Felix:探索描述逻辑知识库的方法（2010）
  11. 巴德尔，弗兰兹：描述逻辑（2009）
  12. Hoffmann，J.；Bertoli，P.；Helmert，M.；Pistore，M.：不确定性下基于消息的web服务组合、完整性约束和规划：新连接（2009）
  13. 科涅夫，鲍里斯；沃尔特，德克；沃尔特，弗兰克：描述逻辑术语的逻辑差异问题（2008）
  14. Boris Motik；Horrocks，Ian:描述逻辑推理中的个体重用（2008）
  15. Baader，Franz；Lutz，Carsten；Suntisrivaraporn，Boontwee:CEL——生命科学本体论的多项式时间推理机（2006）ioport公司