隐士

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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）