Re: How do RDF and Formal Logic fit together?

Seth:
> Sandro:
> > If we want to
> > say something with a more complex logical structure ("The force is
> > strong with *everyone* in Luke's family"), we can't use RDF as the
> > only language.  
> 
> Why not?   .... it's a piece of cake ....
> 
> http://robustai.net/mentography/forceIsStrong.gif
> 
> If you force me to, I'll write the graph in N-Triples.

That might be helpful, but I think I understand your graph anyway.

The problem here is that your labeling of "?everyone" as a univerally
quantified variable, while it is carried by RDF, is not part of the
definition of RDF.  Its meaning is not defined by the model theory.
RDF does not have a define facility for saying something is a
universally quantified variable.  It DOES have a facility for saying
anything about anything, which is what you're using, but that facility
does not guarantee any sort of relevant behavior by RDF processors.

So what you're doing here is making a new logic language, one which
has universally quantified variables, and using RDF to carry an
expression in that language.  Well, some of the knowledge is in that
language, and some is in normal RDF, which does make it a bit
confusing.

   -- sandro

Received on Saturday, 6 October 2001 13:51:19 UTC