Elly 是 ELP 知识库的适应性和可满意性检查的一个理由。它以 java 编写,并依赖于 IRIS Datalog 推理器 (https://sourceforge.net/projects/iris-reasoner) 实现。
版本历史记录
- 版本 Alpha%20Release 发布于 2010-01-10
若干修复和更新 - 版本 N/A 发布于 2010-01-10
软件信息
- 软件分类: 教育 > 其他
- 发布者: elly.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows