W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: [closed] pfps-05

From: pat hayes <phayes@ai.uwf.edu>
Date: Sun, 1 Jun 2003 19:38:26 -0500
Message-Id: <p05210618bb004cb5e21e@[10.0.100.24]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: w3c-rdfcore-wg@w3.org

>From: pat hayes <phayes@ai.uwf.edu>
>Subject: Re: [closed] pfps-05
>Date: Fri, 30 May 2003 17:34:35 -0500
>
>>  >From: "Jos De_Roo" <jos.deroo@agfa.com>
>>  >Subject: Re: [closed] pfps-05
>>  >Date: Fri, 30 May 2003 13:21:49 +0200
>>  >
>>  >>
>>  >>  [removed www-rdf-comments from the cc and added w3c-rdfcore-wg]
>>  >>
>>  >>  > For example, I am currently unable to determine whether the following
>>  >>  > entailment
>>  >>  >
>>  >  > >      ex:foo ex:prop "a"^^foo:bar  .
>>  >>  >
>>  >>  >          entails
>
>		^^^ implies in the RDF closure rules
>
>>  >>  >      ex:foo ex:prop _:x  .
>>  >>  >      _:x rdf:type rdfs:Resource .
>>  >>
>>  >>  Using appropriate namespace prefixes
>>  >>
>>  >>  @prefix ex: <http://example.org/ex#>.
>>  >>  @prefix foo: <http://example.org/foo#>.
>>  >>
>>  >>  I have found that entailment working
>>  >>
>>  >>  ex:foo ex:prop "a"^^foo:bar.
>>  >>  "a"^^foo:bar rdf:type rdfs:Resource.
>>  >>
>>  >>  --
>>  >>  Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
>>  >
>>  >I am *not* asking whether some piece of software produces the result.  I am
>>  >instead asking whether an entailment holds.
>                              ^^^^ inference
>
>>  Sigh. The entailment is trivial:
>>
>>  ex:foo ex:prop "a"^^foo:bar  .
>>  ex:foo ex:prop _:x .		by rule se1
>>  _:x rdf:type rdfs:Resource  .	by rule rdfs4a
>
>This is not an application of rule rdfs4a.

Sorry, rdfs4b.

Pat


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Sunday, 1 June 2003 20:38:32 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:54 EDT