麋鹿

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)项目支持。


zbMATH参考文献(14篇文章引用)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 乔达诺,劳拉;thesider Dupré,Daniele:ASP方法在概念感知的多参考轻量级DL(2020)
  2. Casini,Giovanni;Straccia,Umberto;Meyer,Thomas:有理闭包下名义安全(\mathcalELO_u2;bot)的多项式时间包容算法(2019)
  3. Bobillo,Fernando;Straccia,Umberto:《模糊猫头鹰2》中的推理回顾(2018)
  4. Kazakov,Yevgeny;Skočovský,Peter:使用决议列举理由(2018)
  5. Ceylan,İsmailİlkan;Peñaloza,Rafael:贝叶斯本体论语言(\mathcalBEL)(2017)
  6. Hutschenreiter,Lisa;Peñaloza,Rafael:目标导向方法的自动机视角(2017)
  7. Lopes,Carlos;Knorr,Matthias;Leite,João:Nohr:integrating XSB prolog与OWL2配置文件及更高版本(2017)
  8. Parsia,Bijan;Matentzoglu,Nicolas;Gonçalves,Rafael S.;Glimm,Birte;Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年)
  9. Thomas Eiter;Fink,Michael;Stepanova,Daria:不一致非单调描述逻辑程序的数据修复(2016)
  10. Marques Silva,Joao;Ignatiev,Alexey;Mencía,Carlos;Peñaloza,Rafael:不一致Horn公式的有效推理(2016)
  11. Ecke,Andreas;Peñaloza,Rafael;Turhan,Anni Yasmin:基于相似性的宽松实例查询(2015)
  12. 格里姆,伯特;霍洛克斯,伊恩;莫蒂克,鲍里斯;斯托伊洛斯,乔戈斯;王哲:隐士:猫头鹰2推理者(2014)
  13. 叶夫根尼·卡扎科夫;马库斯·克鲁兹;弗朗蒂舍克·西曼切克:不可思议的麋鹿。从多项式过程到有效推理(\mathcalEL)本体论(2014)
  14. Krötzsch,Markus:OWL2概要:轻量级本体语言简介(2012)