- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 4 Jan 2002 02:36:46 +0100
- To: pfps@research.bell-labs.com
- Cc: www-webont-wg@w3.org
> > 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
(*)# Generated with http://www.agfa.com/w3c/euler/#R29003 on Fri Jan 04 02:09:45 CET 2002
# for query file:/euler/owl-query.n3
# given [file:/euler/owl-facts.n3, file:/euler/owl-rules.n3]
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <file:/euler/owl-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#>.
{:John a [ owl:intersectionOf [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest>
[ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]]].
{{<http://www.w3.org/2001/10/daml+oil#nil> :okw [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest>
[ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]].
[ <http://www.w3.org/2001/10/daml+oil#first>
:Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]] owl:item
:Student} log:implies
{[ <http://www.w3.org/2001/10/daml+oil#first>
:Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>] :okw
[ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest>
[ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]]}.
{[ <http://www.w3.org/2001/10/daml+oil#first>
:Person; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>] owl:item
:Person} log:implies
{[ <http://www.w3.org/2001/10/daml+oil#first>
:Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]] owl:item
:Person}} log:implies
{[ <http://www.w3.org/2001/10/daml+oil#first>
:Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]] :okw
[ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest>
[ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]]}} log:implies
{:John a [ owl:intersectionOf [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest>
[ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest>
<http://www.w3.org/2001/10/daml+oil#nil>]]]}.
Received on Thursday, 3 January 2002 20:37:19 UTC