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