we have graph literals, but do we also want to implement term literals?
the well-known Supermaan example is usually encoded as a referentially opaque statement, e.g.
":LoisLane :loves :Superman ."^^rdf:graph
However, it would be more correct to encode it as
:LoisLane :loves ":Superman"^^rdf:term .
because only the reference to Superman should not co-denote his alter ego Clark Kent.
a syntactically slightly different take is this:
:LoisLane :loves [:sem :Opaque]":Superman"
with a blank name and property list indicating the desired semantics of the Superman literal term.
we have graph literals, but do we also want to implement term literals?
the well-known Supermaan example is usually encoded as a referentially opaque statement, e.g.
However, it would be more correct to encode it as
because only the reference to Superman should not co-denote his alter ego Clark Kent.
a syntactically slightly different take is this:
with a blank name and property list indicating the desired semantics of the Superman literal term.
but is any of this worth the effort?