Re: Event Updated: RDF-star WG biweekly meeting

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

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.

These two things I knew, but in my opinion the double mapping, i.e. applying IEXT after IS is enough to get there.

I guess that you are right, as soon as the double mapping “passes through" resources.

This by the way even allows quantification over the predicate since we quantify over  IR and not over 2^(IPxIP) which would lead to higher order.

Note that in RDF semantics any property is also a resource IP ⊆ IR, due to the meta modelling rule:

               u a y
---------------------
a rdf:type rdf:Property

So, it seems that IP is totally irrelevant.

I see how we both like these kinds of conversations ;)

Oh yeah!

—e.