hermit相关知识

• 为什么Protegev5.5的HermiT或Pellet Reasoner没有检测到本体中的不一致性 2023-09-21
• Protege 推理器不推断属性逆的子类 2023-09-20
• VOS支持哪些推理方式 2023-09-20
• 如何从 HermiT 输出确定问题在本体中的位置 2023-09-20
• 使用 Java 推理器推断非平凡的 OWL 超类(或子类)断言 2023-09-20
• 关于OWL基数限制的推理 2023-09-20
• 在ONT-API和SPARQL查询中使用Hermit 2023-09-20
• OWL api Java查找注释 2023-09-20
• OWLApi:无法创建隐士推理机实例 2023-09-18
• OWLAPI:创建(HermiT)推理器后修改本体 2023-09-17
• HermiT 推理者为数据类型提供"UnsupportedDatatypeException" 2023-09-16
• 如何使用OWLReasoner来更新本体 2023-09-15
• 为什么HermiT认为非对称子属性与对称属性一致? 2023-09-15
• NoSuchMethodError OWLDisjointClassesAxioms.getOperandAsList 2023-09-14
• 在 OWL 类上创建正则表达式限制 2023-09-14
• 在 Python 中使用 HermiT 2023-09-13
• 隐士推理器-sparql查询 2023-09-12
• 隐士似乎没有显示出推断的数据份量 2023-09-11
• 隐士和Owlapi检索对象财产断言 2023-09-11
• 如何使用隐士推理器检查ABOX一致性 2023-09-11
• 猫头鹰隐士调试可满足性检查 2023-09-10
• 如何在隐士中禁用推理 2023-09-09