RE: PROV-ISSUE-45: isDerivedFrom and IVPof are transitive. [Conceptual Model]

 

Paolo,

 

I don't see how IVPof can be usefully considered transitive in its
current definition, as I think it would be possible for some
transitively-derived IVPof relations to be valid only over empty time
intervals.  This is because B IPVof A is defined to only hold over the
temporal intersection of A and B, but the relation of having non-empty
temporal intersection is itself not transitive.  

 

For example, we can have three time intervals X, Y, Z such that X
overlaps Y, Y overlaps Z, but X is disjoint from Z.

Then if we have bobs Bx, By, Bz which hold over the respective time
intervals, and we asserted 

Bx IVPof By

By IVPof Bz

... then transitivity would allow us to derive 

Bx IVPof Bz

... but that is dubious because it would hold only over the temporal
intersection of X and Z, which is empty.

 

I was hoping that the definition of B IVPof A would turn out to require
that the time interval of B was contained in the time interval of A.  I
think that would be a simpler and better-behaved relation, which should
be glorified with a name, even it's not "IVPof".

 

Stephen Cresswell

Tel:  +44 (0) 01603 69 6926

Web:  www.tso.co.uk <http://www.tso.co.uk/> 

 

________________________________

From: public-prov-wg-request@w3.org
[mailto:public-prov-wg-request@w3.org] On Behalf Of Paolo Missier
Sent: 25 July 2011 12:30
To: public-prov-wg@w3.org
Subject: Re: PROV-ISSUE-45: isDerivedFrom and IVPof are transitive.
[Conceptual Model]

 

Khalid

I don't think we have ever agreed on that, but I should really check the
voting history. The latest definition of IVP-of (or complement-of) is
sufficiently precise (i.e., algorithmic) that transitivity follows, but
derivation is purely asserted and as such there is no ground to say that
it is transitive -- unless we say axiomatically that it should be.

-Paolo




 
 
PROV-ISSUE-45: isDerivedFrom and IVPof are transitive. [Conceptual
Model]
 
http://www.w3.org/2011/prov/track/issues/45
<http://www.w3.org/2011/prov/track/issues/45> 
 
Raised by: Khalid Belhajjame
On product: Conceptual Model
 
 
If we agree that "isDerivedFrom" and "IVPof" are transitive, then I
would suggest that this should be specified in the model working draft.
 
khalid



________________________________________________________________________
This e-mail has been scanned for all viruses by Star. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________


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