Re: PROV-ISSUE-277 (TLebo): Supporting property chains [Ontology]

Hi all,
We are closing this issue with following summary of the points from Graham
and Stephen:

We can define property chains using the ObjectInverseOf construct, if P1 is
a property and we need to define a property chain using property P2 and
inverse of P1 (not defined explicitly), where resources are connected by P2
and inverse of P1 we use the following expression:

SubObjectPropertyOf (ObjectInverseOf( :P1)* :*P2) :P3)

E.g.  a (inverse of) P1 b and b P2 c, then a P3 c.


Thanks.

Best,
Satya

On Tue, Apr 10, 2012 at 10:42 AM, Cresswell, Stephen <
stephen.cresswell@tso.co.uk> wrote:

> > -----Original Message-----
> > From: Graham Klyne [mailto:Graham.Klyne@zoo.ox.ac.uk]
> > Sent: 10 April 2012 13:54
> > To: Cresswell, Stephen
> > Cc: Daniel Garijo; public-prov-wg@w3.org
> > Subject: Re: PROV-ISSUE-277 (TLebo): Supporting property chains
> [Ontology]
> >
> > On 10/04/2012 13:00, Cresswell, Stephen wrote:
> > > However, I don't agree that the direction never matters, because it
> > > matters in OWL property chain axioms, and it seems worthwhile to
> have
> > > property chains defined in the ontology and not just work around
> with
> > > SPARQL queries.
> >
> > Doesn't OWL allow use of inverse property expressions in property
> chains?
> >
> > #g
> > --
> >
>
> Graham,
>
> Yes, I see that you are right. That introduces a blank node as the
> inverse property.
>
> Stephen Cresswell
>
>
>
> ***********************************************************************************************
> This email, including any attachment, is confidential and may be legally
> privileged.  If you are not the intended recipient or if you have received
> this email in error, please inform the sender immediately by reply and
> delete all copies from your system. Do not retain, copy, disclose,
> distribute or otherwise use any of its contents.
>
> Whilst we have taken reasonable precautions to ensure that this email has
> been swept for computer viruses, we cannot guarantee that this email does
> not contain such material and we therefore advise you to carry out your own
> virus checks. We do not accept liability for any damage or losses sustained
> as a result of such material.
>
> Please note that incoming and outgoing email communications passing
> through our IT systems may be monitored and/or intercepted by us solely to
> determine whether the content is business related and compliant with
> company standards.
>
> ***********************************************************************************************
>
> The Stationery Office Limited is registered in England No. 3049649 at 10
> Eastbourne Terrace, London, W2 6LG
>
>
>
>