我正在尝试找到一种方法来根据类型推断/传播属性以防止名称冲突:
:AOrder :Store :AStore ;
a :OrderType ;
:user :AUser .
:AStore :name "Store Name";
a :StoreType
:AUser :name "Some User";
a :UserType
基于上面的三元组,我想推断出其他几个三元组:
:AOrder :storeName "Store Name" .
:AOrder :userName "Some User" .
我怎样才能做到这一点?仅供参考,我目前正在使用 Bigdata 和 Sesame。
一种方法是使用 SPIN,但 Bigdata + Sesame 似乎没有它;看起来耶拿是唯一可以与之媲美的东西。