W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

RE: SEM: circular primitive

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 23 Apr 2002 09:00:41 -0400
To: jjc@hplb.hpl.hp.com
Cc: connolly@w3.org, jonathan@openhealth.org, www-webont-wg@w3.org
Message-Id: <20020423090041L.pfps@research.bell-labs.com>
On further reflection here is my understanding of this case

KB1:
     John rdf:type Person .
     Bill rdf:type Person .
     John child Bill .

KB2:
     John rdf:type _:1 .
     _:1 rdf:type daml:Restriction .
     _:1 rdf:onProperty child .
     _:1 rdf:hasClass :_1 .

KB3:
  Bill rdf:type _:1 .

KB4:
  John child John .

I do not believe (contrary to my previous assertion), that KB1 should
entail KB2, precisely for the reasons mentioned by Jeremy.

However, KB4 should entail KB2.

Sorry for any confusion my confusion caused.


Here is a further examples that may prove illustrative

KB5:
  John rdf:type _:2 .
  _:2 daml:onProperty child .
  _:2 daml:cardinality "0" .

KB6:
  John rdf:type _:3 .
  _:3 daml:onProperty child .
  _:3 daml:toClass _:3 .

I believe that KB5 should entail KB6.

peter
Received on Tuesday, 23 April 2002 09:01:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT