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

Re: Peter's example

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 03 Jan 2002 18:43:35 -0500
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020103184335J.pfps@research.bell-labs.com>
From: jos.deroo.jd@belgium.agfa.com
Subject: Peter's example
Date: Thu, 3 Jan 2002 23:26:45 +0100

> I'm trying to reconstruct Peter's example...
> 
> :John a :Owl .
> :Owl owl:intersectionOf ( :Person :Student ) .
> :Owl2 owl:intersectionOf ( :Student :Person ) .
> 
> and trying to entail
> 
> :John a :Owl2 .
> 
> and it works (*)

The example was actually quite different.

:John a :_1 .
:_ 1 owl:intersectionOf ( :Person :Student ) . 

should entail

:John a :_2 .
:_2 owl:intersectionOf ( :Student :Person ) . 

peter
Received on Thursday, 3 January 2002 18:44:58 GMT

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