文件名称：Elly-开源
文件大小：6.91MB
文件格式：ZIP
更新时间：2024-07-28 18:37:16
开源软件
Elly 是 ELP 知识库的蕴涵和可满足性检查的推理器。 它是用 java 编写的，并依赖于 IRIS Datalog 推理器 (https://sourceforge.net/projects/iris-reasoner) 来实现。
【文件预览】：
build
----elly-javadoc-0.10.zip(513KB)
----elly-src-0.10.zip(196KB)
LICENSE.txt
elly-0.10.jar
lib
----apache()
--------commons-lang-2.4.jar(256KB)
--------RELEASE-NOTES.txt(6KB)
--------NOTICE.txt(173B)
--------LICENSE.txt(11KB)
----JGraphT()
--------jgrapht-jdk1.6.jar(216KB)
--------license-LGPL.txt(26KB)
----sablecc()
--------LICENSE(1002B)
--------sablecc.jar(294KB)
----log4j()
--------LICENSE(11KB)
--------log4j-1.2.15.jar(383KB)
----owlapiv3()
--------owlapi-src.jar(1.58MB)
--------license.txt(7KB)
--------version.txt(6B)
--------owlapi-bin.jar(1.75MB)
----iris()
--------iris-parser-0.58.jar(396KB)
--------iris-0.58.jar(1.21MB)
elly-noiris-0.10.jar
elly-full-0.10.jar