OWL / RDF自动计划器

Question

是否有任何软件可以充当当代OWL / RDF推理机与旧式STRIPS风格的自动计划程序和计划程序之间的交汇点？ 两种系统都使用基于RETE的模式匹配，但是只有自动化的计划人员才能将“动作”的概念形式化。 不幸的是，我发现所有实施自动化计划的项目（例如Graphplan或SOAR ）似乎已经死了或垂死，而且似乎一开始就无法很好地扩展。 当前的数据存储是在RDMS上实现的，可以扩展并推理成千上万个三元组，但是我还没有发现任何具体的尝试对推理进行推理。 我可以预想动作的概念将如何在传统的RDF中表示，但是我敢肯定，如果没有官方的支持，动作将仍然非常复杂和棘手。 不幸的是，我找不到很多现有技术。 以前做过吗？

Answer 1

Drools Planner （开源，java，ASL）位于基于RETE的规则引擎Drools Expert之上，并正式化了Move的概念， Move可能是您想要的动作 ，也可能不是。 无论是在数据方面还是在计划约束方面，它都擅长向外扩展。 并且已准备好生产，并具有完整的参考手册。

正在与Drools Expert进行OWL的一些研究，但是我不知道这有多远。