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 20:46:31 -0500
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020103204631H.pfps@research.bell-labs.com>
From: jos.deroo.jd@belgium.agfa.com
Subject: Re: Peter's example
Date: Fri, 4 Jan 2002 02:36:46 +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 ) .
> 
> OK Peter, thanks
> (it's getting very late here and I better go and sleep, but...)
> adding some axioms like
> 
> { :x a [ owl:intersectionOf :L ] . :L :okw :M } log:implies { :x a [ owl:intersectionOf :M ] } .
> 
> ( ) :okw :x .
> { :y :okw :x . :x owl:item :a } log:implies { ( :a / :y ) :okw :x } .
> 
> and then given
> 
> :John a _:1 .
> _:1 owl:intersectionOf ( :Person :Student ) .
> 
> entails (*)
> 
> :John a _:2 .
> _:2 owl:intersectionOf ( :Student :Person ) .
> 
> --
> Jos

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.

peter
Received on Thursday, 3 January 2002 20:46:57 GMT

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