文件名称：DLog-开源
文件大小：13.8MB
文件格式：ZIP
更新时间：2024-05-16 21:53:33
开源软件
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)