如何存储大型个体集（ABox）本体保留推理结果？

Question

我有一个非常简单的本体论，用OWL 2编写，描述了我的特定世界（TBox）。

由于我必须存储很多个人，所以我希望避免三重存储的可伸缩性问题，将它们存储在本体之外（例如，在数据库表中）。与此同时，我想利用推理能力。

例如，如果我将我的个人断言直接存储到我的本体中：

:Mary a :Female
:Mary :motherOf :John
...

通过适当的建模，我可以在一个推理之后得出：

:Mary a :Parent
:Mary a :Mother
...

...但是，如果我将我的个人断言存储在我的本体之外呢？是否有管理此方案的框架/最佳实践？