DLog-开源

【文件属性】：
文件名称：DLog-开源
文件大小：13.8MB
文件格式：ZIP
更新时间：2021-04-27 04:06:53
开源软件 DLog是使用分辨率的Description Logic ABox推理程序。 基本思想是将DL知识库转换为Prolog程序，而无需对ABox的内容有任何了解。 答案是在正常的Prolog执行过程中获得的。

【文件预览】：
dlog-benchmark
----vicodi()
--------vicodi.rdf(12.01MB)
--------vicodi_exported.owl(9.09MB)
--------vicodi_0.dig(9.9MB)
--------vicodi.dig(23.18MB)
--------vicodi4kaon2.xml(18.38MB)
--------vicodi.pprj(24KB)
--------vicodi.rdfs(50KB)
----semintec()
--------semintec_0.dig(9.46MB)
----wine()
--------wine_0.dig(132KB)
----LUBM()
--------lubm3.dig(56.08MB)
--------lubm4.dig(77.96MB)
--------lubm2.dig(37.11MB)
--------lubm1.dig(16.19MB)