Re: PROV-ISSUE-253: misc issues with the ontology [mapping prov-dm <-> prov-o]

prov:hadTemporalValue was renamed to prov:hadTemporalExtent in the current ontology.

prov:hadTemporalExtent
      a       owl:ObjectProperty , owl:IrreflexiveProperty ;
      rdfs:domain prov:Involvement ;
      rdfs:label "had temporal extent"@en ;
      rdfs:range prov:TimeInstant ;
      rdfs:seeAlso <http://www.w3.org/2011/prov/wiki/ProvRDF#Usage> .

Our intended range restriction does not match the general understood meaning of temporal extent, so I think we should change the name again.

1) I propose renaming this property to occurredAt.

The property is currently Irreflexive, did we mean for it to be functional?

2) I propose making the property Functional.

For the domain, Association and Delegation are different from other Involvements in that they are not expected to have time information, is this because we do not view them as instantaneous events?

We don't have instantaneous event, or event, as a class in the ontology, but it is mentioned in the text of the DM on several occasions.  It seems that some involvements are viewed as events, and others are not.

An instantaneous event class would be a logical domain for occurredAt, and provide a means to separate those involvements we view as events (Generation, Usage, Start, etc) from those we do not (Association and Delegation).  I am not sure if such a class would be a subclass of Involvement or not.  I would argue that some involvements are events, and not all events are involvements, so the classes should be kept separate in the heirarchy, but Generation, Usage, etc can be a subclass of both.

3) I suggest discussing inclusion of a InstantaneousEvent class which will be the domain of occurredAt and a superclass to Involvements that have time information.

--Stephan

On Feb 19, 2012, at 4:43 PM, Satya Sahoo wrote:

> 10.
>>>> HadTemporalValue
>>>> ---  is not functional
>>> 
>>> True, but this is a PROV-O issue.
>>> 
>>> Proposal: Re-raise against Prov-O.  No change needed to mapping.
>>> 
>>>> --- has QualifiedInvolvement in its domain but
>> 
>> 
>> I see that it has a domain of owl:Thing.
>> 
>> http://dvcs.w3.org/hg/prov/file/default/ontology/ProvenanceOntology.owl
>> 
>>    168     <owl:ObjectProperty rdf:about="hadTemporalValue">
>>   
>>    169         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
>>   
>>    170         <rdfs:label xml:lang="en"
>>   
>>    171             >has temporal value</rdfs:label>
>>   
>>    172         <rdfs:domain rdf:resource="&owl;Thing"/>
>>   
>>    173         <rdfs:range rdf:resource="Time"/>
>>   
>>    174     </owl:ObjectProperty>
>>   
>>   
>>   
> 
> Which is too broad.
> 
> First, we need clarification as to whether DM will allow only Activity to be associated with Time?