隐士

此软件的关键字
zbMATH中的参考文献(参考12篇文章, 1标准件 )
江云城:语义计算的形式化模型(2019) Borgwardt,Stefan;Peñaloza,Rafael:无限值Gödel语义下非常表达性描述逻辑的推理算法(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年) Sikos,Leslie F.:多媒体推理中的描述逻辑(2017) Zhou,Yujiao;Grau,Bernardo Cuenca;Nenov,Yavor;Kaminski,Mark;Horrocks,Ian:PAGOdA:使用数据日志推理器进行即付即用本体查询回答(2015) 格里姆,伯特;霍洛克斯,伊恩;莫蒂克,鲍里斯;斯托伊洛斯,乔戈斯;王哲:隐士:猫头鹰2推理者(2014) Nikitina,Nadeschda;Rudolph,Sebastian:(非)描述逻辑中一般术语的统一插入式的简洁性(\mathcalEL)(2014) 张晓旺;肖国辉;林,左权;范登布施,简:不一致容忍推理与猫头鹰DL(2014) 巴斯蒂诺斯,安娜萨沙;克里斯帕,马扬:本体论中的多准则决策(2013) ioport公司 Konev,Boris;Lutz,Carsten;Walther,Dirk;Wolter,Frank:描述逻辑本体论的模型论不可分离性和模块化(2013) 纳迪尼,埃琳娜;奥米奇尼,安德里亚;维罗利,米尔科:语义元组中心(2013) ioport公司