Re: RDF and the Test of Independent Invention

On Apr 30, 2016 1:28 AM, "Pat Hayes" <phayes@ihmc.us> wrote:

>> OK, so perhaps in future, this problem will be solved, if people move to
accepting predicates as literals.  But maybe that wont happen too.  I am
unsure here.
>
> I must admit I can't see any plausible use case for this, unlike some
other generalizations of RDF syntax (literals in subject position, blank
nodes in predicate position) which do have real uses.

One possible use case would be to embed something roughly equivalent to
CycL Kappa expressions (anonymous predicates). That would allow for
negative property assertions, inverse assertions, and even disjunctive
assertions.

I don't know if that rises to the level of plausible though...

Simon