Re: Peter's example

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Thu, 03 Jan 2002 22:25:20 -0500
• To: jos.deroo.jd@belgium.agfa.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20020103222520R.pfps@research.bell-labs.com>

From: jos.deroo.jd@belgium.agfa.com
Subject: Re: Peter's example
Date: Fri, 4 Jan 2002 02:57:15 +0100

> > But then I can modify the example to
> >
> > :John a :_1 .
> > :_ 1 owl:intersectionOf ( :Person :Student ) .
> >
> > should entail
> >
> > :John a :_2 .
> > :_2 owl:intersectionOf ( :Student :Person :Student) .
> >
> > You need a solution that works for all lists that contain only :Student and
> > :Person, and lots of other possibilities.
> 
> but that example also works (*)
> (after modifying :_2 into _:2)
> it's just that we are *not* asserting all triples...
> 
> --
> Jos

Aha.  I now see that you have all such lists above.

Now try

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

should entail

:John a _:2 .
_:2 owl:intersectionOf ( _:3 :Person) .
_:3 owl:intersectionOf ( :Student :Student) .

peter

PS:  The next test would include owl:unionOf, then owl:complementOf

Received on Thursday, 3 January 2002 22:26:56 UTC