凯尔

此软件的关键字
zbMATH中的参考文献(参考文献 15条 )
塞兰,İsmailİlkan; Peñaloza,Rafael:贝叶斯本体论语言(\mathcalBEL)(2017) 阿里夫,M.法雷德; 门西亚,卡洛斯; 伊格纳蒂耶夫,亚历克赛; 曼蒂,诺伯特; 培纳洛扎,拉斐尔; Marques Silva,Joao:BEACON:一种高效的基于SAT的调试工具(\mathcalEL^+)本体论(2016) 阿里夫,M.法雷德; 门西亚,卡洛斯; Marques Silva,Joao:Horn公式的有效MUS计数及其在公理精确定位中的应用(2015) 埃克,安德烈亚斯; 培纳洛扎,拉斐尔; Turhan,Anni Yasmin:具有主观概率的描述逻辑(\MathCaleler)的基于完成的泛化推理(2014) 叶夫根尼·卡扎科夫; 克鲁兹,马库斯; 西曼契克,弗兰蒂舍克:不可思议的麋鹿。 从多项式过程到有效推理(\mathcalEL)本体论(2014) Cuenca Grau,贝尔纳多; 莫蒂克,鲍里斯; 斯托伊洛斯,乔戈斯; Horrocks,Ian:不完全本体论推理机的完备性保证:理论与实践(2012) Krötzsch,Markus:OWL2概要:轻量级本体语言简介(2012) 巴德尔,弗兰兹; 卢茨,卡斯滕; 图尔汉,安尼·亚斯明:小是再美的描述逻辑(2010) ioport公司 Cuenca Grau,贝尔纳多; 哈拉舍克·维纳,基督徒; 叶夫根尼·卡扎科夫; Suntisrivaraporn,Boontawee:描述逻辑本体论的增量分类(2010) Distel,Felix:探索描述逻辑知识库的方法(2010) 巴德尔,弗兰兹:描述逻辑(2009) 霍夫曼,J。; 贝尔托利,P。; 赫尔默特,M。; Pistore,M.:基于消息的web服务组合、完整性约束和不确定性下的规划:新连接(2009) 科涅夫,鲍里斯; 沃尔特,德克; 沃尔特,弗兰克:描述逻辑术语的逻辑差异问题(2008) 莫蒂克,鲍里斯; Horrocks,Ian:描述逻辑推理中的个体重用(2008) 巴德尔,弗兰兹; 卢茨,卡斯滕; Suntisrivaraporn,Boontwee:CEL——生命科学本体论的多项式时间推理机(2006) ioport公司