OWL/RDF自动化计划器

Question

有没有软件可以作为当代OWL/RDF推理程序和较旧的STRIPS-style自动计划程序和调度程序的交叉点？这两个系统都使用了基于RETE的模式匹配，但似乎只有自动化计划器才能将“行动”的概念正式化。不幸的是，我发现的所有实现自动化计划的项目，如Graphplan或SOAR，似乎都已经死亡或即将死亡，而且似乎从一开始就没有良好的伸缩性。当前的数据存储是在RDMS上实现的，可以扩展到数百万个三元组并进行推理，但我还没有发现任何专门尝试和推理操作的数据存储。我可以想象如何在传统的RDF中表示操作的概念，但我相信如果没有官方的支持，它仍然会非常复杂和陈旧。不幸的是，我找不到太多的现有技术。以前有没有人这样做过？

Answer 1

Drools Planner (开源，java，ASL)建立在基于RETE的规则引擎Drools Expert之上，并将Move的概念正式化，这可能是也可能不是你正在寻找的动作。它擅长向外扩展，无论是在数据方面，还是在规划约束方面。它已经为生产做好了准备，并且有一个完整的参考手册。

有一些关于OWL和Drools专家的研究正在进行中，但我不知道到目前为止还能走多远。