Elly

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎1 ‎评分

关于 Elly

Elly 是 ELP 知识库的适应性和可满意性检查的一个理由。它以 java 编写,并依赖于 IRIS Datalog 推理器 (https://sourceforge.net/projects/iris-reasoner) 实现。