弹丸

此软件的关键字
zbMATH参考文献(92篇文章引用)
运城语义计算(2019年版) Matentzoglu,Nicolas;Parsia,Bijan;Sattler,Uli:OWL推理:包容测试硬度和模块性(2018) Schekotihin,Konstantin;Rodler,Patrick;Schmid,Wolfgang:Ontodebug:interactive ontology debugging-in for protégé(2018) Zese,Riccardo;Bellodi,Elena;Riguzzi,Fabrizio;Cota,Giuseppe;Lamma,Evelina:描述逻辑的表推理及其对概率的扩展(2018) Parsia,Bijan;Matentzoglu,Nicolas;Gonçalves,Rafael S.;Glimm,Birte;Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年) Bhushan,Megha;Goel,Shivani:使用本体论方法改进软件产品线(2016) Cota,Giuseppe;Zese,Riccardo;Bellodi,Elena;Riguzzi,Fabrizio;Lamma,Evelina:概率本体论的分布式参数学习(2016) Arif,M.Fareed;Mencía,Carlos;Marques Silva,Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用(2015) Autexier,Serge;Hutter,Dieter:SHIP——一种基于逻辑的编程智能环境的语言和工具(2015) Zhou,Yujiao;Grau,Bernardo Cuenca;Nenov,Yavor;Kaminski,Mark;Horrocks,Ian:PAGOdA:使用数据日志推理器进行即付即用本体查询回答(2015) 格里姆,伯特;霍洛克斯,伊恩;莫蒂克,鲍里斯;斯托伊洛斯,乔戈斯;王哲:隐士:猫头鹰2推理者(2014) Kaminski,Mark;Smolka,Gert:混合动力PDL的目标导向决策程序(2014) 叶夫根尼·卡扎科夫;马库斯·克鲁兹;弗朗蒂舍克·西曼切克:不可思议的麋鹿。 从多项式过程到有效推理(\mathcalEL)本体论(2014) Nikitina,Nadeschda;Rudolph,Sebastian:(非)描述逻辑中一般术语的统一插入式的简洁性(\mathcalEL)(2014) Razzaq,Abdul;Latif,Khalid;Ahmad,H.Farooq;Hur,Ali;Anwar,Zahid;Bloodworth,Peter Charles:《针对web应用程序攻击的语义安全》(2014) ioport公司 Simančk,František;Motik,Boris;Horrocks,Ian:描述逻辑中基于结果和固定参数的可处理推理(2014) Steigmiller,Andreas;Glimm,Birte;Liebig,Thorsten:《通过吸收与名义图式进行推理》(2014) 张晓旺;肖国辉;林,左权;范登布施,简:不一致容忍推理与猫头鹰DL(2014) 巴斯蒂诺斯,安娜萨沙;克里斯帕,马扬:本体论中的多准则决策(2013) ioport公司 Lin,Xi;Zhang,Hehua;Gu,Ming:OntCheck:一种基于组件模型的本体驱动静态正确性检查工具(2013)