ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used.
prov:eventuallyUsed - a transitive version of prov:used.
- State:
- CLOSED
- Product:
- Ontology
- Raised by:
- Timothy Lebo
- Opened on:
- 2011-09-19
- Description:
- To clarify whether used is transitive or not, I propose a transitive superproperty "eventuallyUsed" to make the distinction clear.
The corresponding considerations also need to be made for the conceptual document.
The OWL axioms related to this property are at
https://dvcs.w3.org/hg/prov/file/tip/ontology/components/eventuallyUsed.ttl:
prov:eventuallyUsed
a owl:ObjectProperty, owl:TransitiveProperty;
.
prov:used rdfs:subPropertyOf prov:eventuallyUsed .
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from lebot@rpi.edu on 2012-03-05)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from Paolo.Missier@ncl.ac.uk on 2011-09-22)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2011-09-21)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from Khalid.Belhajjame@cs.man.ac.uk on 2011-09-21)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-21)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-21)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2011-09-21)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from Khalid.Belhajjame@cs.man.ac.uk on 2011-09-21)
- Re: PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-19)
- PROV-ISSUE-99: prov:eventuallyUsed - a transitive version of prov:used. [Formal Model] (from sysbot+tracker@w3.org on 2011-09-19)
Related notes:
No additional notes.
Display change log