Re: I am.

On Fri, May 19, 2017, 1:58 AM Pat Hayes <> wrote:

> Indeed, and also the simple ‘am’ is an assertion of existence, which
> cannot be said (or, perhaps, is trivial) in RDF because RDF (like most
> formal logics) is based on a semantics in which anything that is named,
> exists.

Adding RDFS does allow for partial use Quine's hack,  if proper names are
converted to "classes" (I think he'd accept the notational shorthand for a
universally quantified unary predicate, but not the intensional gubbins).

PatHayes a Class; subClassOf Person .
_:x a PatHayes .

NonCurmudgeonlyPatHayes subClassOf PatHayes, NonCurmudgeonlyThing
 #     ;sameAs Unicorn #

> Would it be cheating to represent things as an RDF node of type Cycl / IKL
> / CLIF  assertions, with the actual representation in an attached literal?
> Well, it’s legal, but it rather takes away the point of using RDF in the
> first place. Any RDF entailments will not be Cyc/IKL/CLIF entailments and
> vice versa.

But cf the OWL 2 Direct Semantics,  with the  RDF -> Abstract Syntax

Received on Friday, 19 May 2017 16:58:47 UTC