首页
标签
hermit
Hermit Reasoner - SPARQL 查询
Reasoner 设置两个不同的 类 等价于彼此和 owl:Thing
HermiT 似乎没有显示推断的 DataProperties ？
OWL HermiT 调试可满足性检查
1
2