凯尔

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


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公司