Thanks a lot for the background on RDF and links, very interesting indeed!
About FOL, you equal the properties that we are talking about to predicates
in FOL. I might have gotten it backwards here, but isn't the natural thing
to think of our *map* as the relation (predicate) and our *properties* a
On Sat, 27 Apr 2019 at 10:56, Henning Sato von Rosen <
henning.von.ro...@gmail.com> wrote:
> Thanks a lot for the background on RDF and links, very interesting indeed!
>
> About FOL, you equal the properties that we are talking about to
> predicates in FOL.
>
Firstly it's important to say that I