Nifty Project https://github.com/AdamSobieski/Nifty TurtleやSPARQLのトリプル(パターン)部分に述語演算記法的なfoaf:knows(_:alice, _:bob)を用い、さらにexample:f(1, 2, 3)のようなn項表現まで導入することでAIS(Adaptive Instructional Systems)ソフトの開発をやりやすくする、というものらしい。cf. https://lists.w3.org/Archives/Public/semantic-web/2022Jun/0012.html