麋鹿

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