软件名称：[B]GSH的Reasoner 1.0_GSH Reasoner 1.0[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：7.00 KB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

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

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

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

[url=http://www.sot9.com/soft/99449.html][B]GSH的Reasoner 1.0_GSH Reasoner 1.0[/B][/url]

点这里下载->GSH的Reasoner 1.0_GSH Reasoner 1.0 [ 下载地址 ]