Re: The Cannes Entailment [was: Coming to grips with the entailment put forth by Jeremy] from jos.deroo.jd@belgium.agfa.com on 2002-04-28 (w3c-rdfcore-wg@w3.org from April 2002)

From: <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 28 Apr 2002 23:49:47 +0200
To: bwm@hplb.hpl.hp.com
Cc: patrick.stickler@nokia.com, w3c-rdfcore-wg@w3.org
Message-Id: <OF6D168C09.87EF0B4B-ONC1256BA9.0072D480@bayer-ag.com>

[...]
> We build a rule mechanism, as in the know fix, into RDF.  I think Jos has
> claimed that he has proved something similar, if not the same as this,
> works. No one I have suggested this to has like it, usually for different
> reasons.

yes, that would be something like

  { :rule3a . ?p rdfd:dcrange ?d . ?p rdfd:valueProp ?q . ?s ?p ?o }
      log:implies
          { ?s ?q [ :f ( ?p ?d ?q ?s ?o ) ] } .

  { :rule3b . ?p rdfd:dcrange ?d . ?p rdfd:valueProp ?q . ?s ?p ?o }
      log:implies
          { [ :f ( ?p ?d ?q ?s ?o ) ] ?d ?o } .

--
Jos

Received on Sunday, 28 April 2002 17:51:50 UTC