rustoner：用rust编写的描述逻辑推理机 它现在可以工作 描述 允许快速而准确的推理系统。 这是DL的主要目标。 该项目的第一目标在实现的简单逻辑，推理 。 DL的工作原理类似于模型论，在模型中，您拥有公理（我们将其放置在TBox中）和一些基础知识（我们将其放置在ABoxes中）。 由此，您可以在所使用的逻辑的限制下（在此处dl_lite_r ）询问问题（查询），知道数据中是否存在问题（一致性验证），有时还可以在数据中询问隐式信息（原因和推论） ）。 使用 完成公理 假设您要完成一组“