Re: Help with Owl rules

> 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