麋鹿

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参考文献(参考12篇文章)

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

  1. Bobillo,Fernando;Straccia,Umberto:《模糊猫头鹰2》中的推理回顾(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)