RE: PROV-ISSUE-72 (DGarijo): Uses should be renamed as used [Formal Model]

Hi Luc,

 

I would recommend dropping the 'has' from 'hasParticipant' (silent 'has'
rule on noun predicates), or, optionally, finding an appropriate gerund
phrase with a noun suffix, perhaps 'Party' in this case. The predicate would
then be 'participatingParty'. So in answer to your question, the predicate
names become tense-less verb or gerund phrases.  Specification of tense can
be done either with reification or, in the case of, RDF-based models, use of
rdf:Statement.

 

Below is a diagram generated by TopBraidComposer of, what I believe to be a
current Provenance Ontology model )from
http://dvcs.w3.org/hg/prov/file/738e9b4d8520/ontology/ProvenanceOntology.owl
):

 



 

The Turtle file is attached (I need to consult others on where to put such
files on the WG site). I transformed the OWL original using SPIN rules so I
can repeat this process in the future.

 

Ralph Hodgson,  <http://twitter.com/ralphtq> @ralphtq

Mobile Phone: +1 781-789-1664

CTO,  <http://www.topquadrant.com/> TopQuadrant,
<http://twitter.com/topquadrant> @TopQuadrant

Blog:  <http://topquadrantblog.blogspot.com/> Voyages of the Semantic
Enterprise

 

From: Luc Moreau [mailto:L.Moreau@ecs.soton.ac.uk] 
Sent: Monday, August 22, 2011 1:57 PM
To: rhodgson@topquadrant.com
Cc: public-prov-wg@w3.org
Subject: Re: PROV-ISSUE-72 (DGarijo): Uses should be renamed as used [Formal
Model]

 

Hi Ralph,
Don't you end up with a mix of relation names:
 uses, derivedFrom and hasParticipant ?

My preference is for uniformity. If we go for a verbal form for some, we
should go for all;
otherwise for none.

Luc

On 22/08/11 20:09, Ralph Hodgson wrote: 

Propose that 'is' be dropped from all predicates that have a suffix. Two
reasons - parsimony and connotations (in fact denotations) about tense are
removed.

 

            Example: 'isDerivedFrom' becomes  'derivedFrom'.

 

Also advocate that all predicates begin with a lowercase letter.

 

Ralph Hodgson,  <http://twitter.com/ralphtq> @ralphtq

Mobile Phone: +1 781-789-1664

CTO,  <http://www.topquadrant.com/> TopQuadrant,
<http://twitter.com/topquadrant> @TopQuadrant

Blog:  <http://topquadrantblog.blogspot.com/> Voyages of the Semantic
Enterprise

Next Intro Class: Introduction to Semantic Web Technologies: What they are
and how to use them - <http://www.topquadrant.com/training/intro.html>
Sept. 12 - 15, 2011, Washington DC area , 

Next Advanced Class: Advanced Product Training, Sept. 26 - 29 , 2011,
Washington, DC area <http://www.topquadrant.com/training/advanced.html> 

 

From: public-prov-wg-request@w3.org [mailto:public-prov-wg-request@w3.org]
On Behalf Of Luc Moreau
Sent: Monday, August 22, 2011 2:53 AM
To: public-prov-wg@w3.org
Subject: Re: PROV-ISSUE-72 (DGarijo): Uses should be renamed as used [Formal
Model]

 

Hi Daniel and Simon,

In the conceptual model (up to section 5), all relations use present tense,
uses, isDerivedFrom, isComplementOf, isGeneratedBy, ...

I agree with Daniel, we need consistency in the conceptual model and formal
model.

I agree with Simon, it's nice to point back into the past.

Luc

PS. I took as an action to poll about the use of tense.

On 08/11/2011 04:46 PM, Simon Miles wrote: 

+1 for "used", for the reasons you give.
 
-1 for "isUsedBy". All other relations in the model link effect/later
occurrence to cause/earlier occurrence, so "isUsedBy" would be
inconsistent. This means that provenance graphs would not consistently
point back into the past of the thing we're seeing the provenance of,
and would be confusing to iteratively navigate.
 
Thanks,
Simon
 
On 11 August 2011 16:38, Provenance Working Group Issue Tracker
 <mailto:sysbot+tracker@w3.org> <sysbot+tracker@w3.org> wrote:
  

 
PROV-ISSUE-72 (DGarijo): Uses should be renamed as used [Formal Model]
 
http://www.w3.org/2011/prov/track/issues/72
 
Raised by: Daniel Garijo
On product: Formal Model
 
Since all the other properties are using the past tense, we should be
consistens and rename uses to "used" or "isUsedBy" flipping the domain and
range
 
 
 
 
______________________________________________________________________
This email has been scanned by the MessageLabs Email Security System.
For more information please visit http://www.messagelabs.com/email
______________________________________________________________________
 
    

 
 
 
  






-- 
Professor Luc Moreau               
Electronics and Computer Science   tel:   +44 23 8059 4487         
University of Southampton          fax:   +44 23 8059 2865         
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk  
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm
<http://www.ecs.soton.ac.uk/%7Elavm>