# Re: Help with Owl rules

From: Richard <listserve@richardlennox.net>
Date: Tue, 01 Jun 2004 12:03:16 +0100
To: Pierre-Antoine Champin <swlists-040405@champin.net>, www-rdf-logic@w3.org
Message-Id: <E1BV736-0004R2-QU@spain.vosn.net>
```

> If I get you right, you want to express the fact that
>
> x p1 y AND y p2 z IMPLIES x p2 z

It is the other way round:

x p2 z IMPLIES x p1 y AND y p2 z

I am unsure about the logic - are these equivalent?

> or in other words, that
>
> (p1 o p2) is a subproperty of p2.
>
> or still in other words, use role composition.
>
> It seems that the answer is no.
> This has been recently discussed on this list.
> See http://lists.w3.org/Archives/Public/www-rdf-logic/2004Apr/0065.html
>
>  regards
>
>   Pierre-Antoine Champin
>
>
> On Mon, 2004-05-31 at 22:16, Richard Lennox wrote:
> >
> > Hi,
> >
> > I am looking for some help with OWL and in particular a set of rules
> > for:
> >
> > I want to say in OWL that for:
> >
> > Subject1 x:property Description_1
> > Description_1 x:property1 "ABC"
> > Description_1 x:property2 "DEF"
> > Description_1 x:property3 "GHI"
> >
> > if this is given:
> >
> > Description_1 x:property1 "ABC"
> > Description_1 x:property2 "DEF"
> > Description_1 x:property3 "GHI"
> >
> > then it should be inferred that the above is given where
> > x:property[1,2or3] make up the description of a single property of
> > Subject1
> > eg.
> > ME foaf:mbox "XYZ"
> > ME X:size Description_1
> > DEscription_1 X:height "6'2"
> > Description_1 X:weight "120lbs"
> >
> > can be inferred from:
> >
> > ME foaf:mbox "XYZ"
> > ME X:height "6'2"
> > ME X:weight "120lbs"
> >
> > I also want to know if it is possible if given:
> > C1 dcterms:isPartOf C2
> >
> > are there rules on properties of C2 such that C1 inherits the
> > properties?
> >
> >
> > Many thanks
> >
> > Richard Lennox
> >
---------------------------------------------------------------------------
> > www.richardlennox.net
>
>
>

--
```
Received on Tuesday, 1 June 2004 07:03:28 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC