隐士

隐士：一个高效的猫头鹰推理者。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公司