Re: Event Updated: RDF-star WG biweekly meeting

On 29 Aug 2024, at 11:46, Doerthe Arndt <doerthe.arndt@tu-dresden.de> wrote:

I totally understand why. I so far also disliked the set IP in RDF semantics and now (because of you) finally understood why we need it in the first place.

I am not sure whether this was done on purpose or not, but without IP you couldn’t do “meta modelling” in RDF, namely having properties not only in property position but also in subject/object position. Also, in this way Pat & al. (possibly unwillingly) made a perfect correspondence with F-Logic by Michael Kifer. This also allows for the full equivalence with a first order approach where triples have the semantics of a single ternary T/3 predicate.
—e.