麋鹿

ELK是owl2本体论的推理者，目前支持（大部分）owl2el本体语言。ELK是由牛津大学和乌尔姆大学开发的轻量级本体语言owl2el的一个免费开源推理器。它基于Java，可以使用owlapi、Protégé、Snow OWL本体编辑器或基本命令行界面进行控制。ELK在Apache许可证2.0下可用。麋鹿是巨大的平行和疯狂的速度。它可以在几秒钟内在一台现代笔记本电脑上对SNOMED-CT本体进行大约300000个类的分类。它运行在所有支持Java1.6或更高版本的操作系统上。牛津大学（Markus Krötzsch和František Simančk）和乌尔姆大学（Yevgeny Kazakov、Pavel Klinov和Peter Skocovsky）正在联合开发麋鹿。它的开发由ConDOR（牛津）和LiveOntologies（Ulm）项目支持。

此软件的关键字

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

zbMATH参考文献（参考12篇文章）

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

  1. 弗尔南多·比尔多（Fernandon Boccumbero），2018年《费尔南多·比尔多推理》（Fernando Boccumbero，2018年）
  2. Kazakov，Yevgeny；Skočovský，Peter:使用决议列举理由（2018）
  3. Ceylan，İsmailİlkan；Peñaloza，Rafael:贝叶斯本体论语言（\mathcalBEL）（2017）
  4. Hutschenreiter，Lisa；Peñaloza，Rafael:目标导向方法的自动机视角（2017）
  5. Lopes，Carlos；Knorr，Matthias；Leite，João:Nohr:integrating XSB prolog与OWL2配置文件及更高版本（2017）
  6. Parsia，Bijan；Matentzoglu，Nicolas；Gonçalves，Rafael S.；Glimm，Birte；Steigmiller，Andreas:The OWL reasoner evaluation（ORE）2015年竞争报告（2017年）
  7. Thomas Eiter；Fink，Michael；Stepanova，Daria:不一致非单调描述逻辑程序的数据修复（2016）
  8. Marques Silva，Joao；Ignatiev，Alexey；Mencía，Carlos；Peñaloza，Rafael:不一致Horn公式的有效推理（2016）
  9. Ecke，Andreas；Peñaloza，Rafael；Turhan，Anni Yasmin：基于相似性的宽松实例查询（2015）
  10. 格里姆，伯特；霍洛克斯，伊恩；莫蒂克，鲍里斯；斯托伊洛斯，乔戈斯；王哲：隐士：猫头鹰2推理者（2014）
  11. 叶夫根尼·卡扎科夫；马库斯·克鲁兹；弗朗蒂舍克·西曼切克：不可思议的麋鹿。从多项式过程到有效推理（\mathcalEL）本体论（2014）
  12. Krötzsch，Markus:OWL2概要：轻量级本体语言简介（2012）