GSH的Reasoner 1.0_GSH Reasoner 1.0下载地址

检查推理和一致性OWL 2本体。

GSHR（光荣慢的哈斯克尔推理）是一个简单的，局部不完全的，而且很慢的推理OWL 2本体的使用规则推理和一致性检查。

GSH推理，并把它旋转，看看它实际上可以为你做！