- 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
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 UTC