隐士

隐士:一个高效的猫头鹰推理者。HermiT是使用Web本体语言(OWL)编写的本体论的推理者。给定一个OWL文件,HermiT可以确定本体是否一致,确定类之间的包含关系,等等。HermiT是第一个公开可用的OWL推理机,它基于一种新颖的“hypertableau”演算,它提供了比任何先前已知的算法更有效的推理。以前需要几分钟或几小时来分类的本体通常可以在几秒钟内被HermiT分类,而HermiT是第一个能够对大量本体进行分类的推理者,这些本体之前已经被证明对于任何可用的系统来说过于复杂。HermiT使用直接语义,并通过直接语义推理器的所有owl2一致性测试。


zbMATH中的参考文献(参考文献23条,1标准件)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. Rodler,Patrick:基于记忆的模型诊断(2022)
  2. 巴德尔,弗兰兹;库普曼,帕特里克;克里格尔,弗朗西斯科;Nuradiansyah,Adrian:定量ABoxes w.r.t.静态(\mathcalEL)TBoxes的最优修复计算(2021)
  3. 康托纳,多梅尼科;尼古洛西·阿斯蒙多,玛丽安娜;Santamaria,Daniele Francesco:描述逻辑的一种改进的基于集合的推理机(\mathcalDL\mathrmD^4,\times\dagger)(2021)
  4. 陈娇艳;胡、潘;希门尼斯·鲁伊斯,欧内斯托;霍尔特,奥勒·马格努斯;安东尼拉贾,丹瓦;Horrocks,Ian:\texttowl2vec*:嵌入OWL本体论(2021)
  5. 杜斯拉夫,克莱门斯;库普曼,帕特里克;Turhan,AnniYasmin:用本体论增强概率模型检查(2021)
  6. 泰纳库卡拉,大卫;Cuenca Grau,贝尔纳多;Horrocks,Ian:Pay-as-you-go描述逻辑的基于结果的推理(\mathcalSROIQ)(2021)
  7. 巴蒂亚,硕士。;库马尔,阿克什;贝尼瓦尔,罗希特;Malik,Tushar:用于软件需求规范自动检测和更新的本体驱动软件开发(2020)
  8. 博纳蒂,皮耶罗A。;洛弗雷多,卢卡;彼得罗娃,伊利亚娜M。;索罗,路易吉;Siahaan,Ida R.:OWL2中用于GDPR遵从性的实时推理(2020)
  9. 康托纳,多梅尼科;尼古洛西·阿斯蒙多,玛丽安娜;Santamaria,Daniele Francesco:描述逻辑推理服务的集合论方法
  10. 加尔瓦内斯,迭戈;蒙塔利,马可;大仲马,马龙;Maggi,Fabrizio M.:语义DMN:在背景知识存在的情况下对决策进行形式化和推理(2019)
  11. 江云城:语义计算的形式化模型(2019)
  12. 泽斯,里卡多;科塔,朱塞佩;南丫岛,伊芙丽娜;贝洛迪,埃琳娜;Riguzzi,Fabrizio:带精确公式的概率DL推理:基于Prolog的方法(2019)
  13. 博格沃德,斯特凡;Peñaloza,Rafael:无限值Gödel语义下非常表达性描述逻辑的推理算法(2017)
  14. 洛佩斯,卡洛斯;克诺尔,马提亚斯;Leite,João:NoHR:integrating XSB Prolog与OWL2概要文件及更高版本(2017)
  15. 帕西娅,比扬;马特佐格鲁,尼古拉斯;冈萨尔维斯,拉斐尔S。;微光,白桦;Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年)
  16. Sikos,Leslie F.:多媒体推理中的描述逻辑(2017)
  17. 周玉娇;格劳贝尔纳多·昆卡;尼诺夫,亚弗;卡明斯基,马克;Horrocks,Ian:宝塔:使用数据日志推理器进行按需付费本体查询回答(2015)
  18. 微光,白桦;霍洛克斯,伊恩;莫蒂克,鲍里斯;斯托伊洛斯,乔戈斯;王哲:《隐士:猫头鹰2推理者》(2014)
  19. 尼基蒂娜,纳德斯卡达;Rudolph,Sebastian:(非)描述逻辑中一般术语的统一插入式的简洁性(\mathcalEL)(2014)
  20. 张小旺;肖国辉;林,左权;Van den Bussche,Jan:与OWL DL的不一致容忍推理(2014)