隐士

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


zbMATH中的参考文献(参考12篇文章,1标准件)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 江云城:语义计算的形式化模型(2019)
  2. Borgwardt,Stefan;Peñaloza,Rafael:无限值Gödel语义下非常表达性描述逻辑的推理算法(2017)
  3. Lopes,Carlos;Knorr,Matthias;Leite,João:Nohr:integrating XSB prolog与OWL2配置文件及更高版本(2017)
  4. Parsia,Bijan;Matentzoglu,Nicolas;Gonçalves,Rafael S.;Glimm,Birte;Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年)
  5. Sikos,Leslie F.:多媒体推理中的描述逻辑(2017)
  6. Zhou,Yujiao;Grau,Bernardo Cuenca;Nenov,Yavor;Kaminski,Mark;Horrocks,Ian:PAGOdA:使用数据日志推理器进行即付即用本体查询回答(2015)
  7. 格里姆,伯特;霍洛克斯,伊恩;莫蒂克,鲍里斯;斯托伊洛斯,乔戈斯;王哲:隐士:猫头鹰2推理者(2014)
  8. Nikitina,Nadeschda;Rudolph,Sebastian:(非)描述逻辑中一般术语的统一插入式的简洁性(\mathcalEL)(2014)
  9. 张晓旺;肖国辉;林,左权;范登布施,简:不一致容忍推理与猫头鹰DL(2014)
  10. 巴斯蒂诺斯,安娜萨沙;克里斯帕,马扬:本体论中的多准则决策(2013)ioport公司
  11. Konev,Boris;Lutz,Carsten;Walther,Dirk;Wolter,Frank:描述逻辑本体论的模型论不可分离性和模块化(2013)
  12. 纳迪尼,埃琳娜;奥米奇尼,安德里亚;维罗利,米尔科:语义元组中心(2013)ioport公司