Warning:
This wiki has been archived and is now read-only.
Inverse properties discussion
- http://www.w3.org/2011/prov/track/issues/83 prov:inverse local names
- narrative and design rationale http://aquarius.tw.rpi.edu/prov-wg/prov-o#names-of-inverse-properties
- will have table http://aquarius.tw.rpi.edu/prov-wg/inverse-names.html <--- ALL: Are these inverse names okay?
- and cite http://aquarius.tw.rpi.edu/prov-wg/inverses.ttl
- Stian: "derivation's usage. same style on usage and generation on a Derivation's inverse."
- Stian/Daniel/Tim discussions on wiki
Inverse properties discussion
The latest inverses are listed at http://aquarius.tw.rpi.edu/prov-wg/inverse-names.html
Stian outlines naming approach here.
Prov:property | Stian's name | Proposed rename | Comments
|
---|---|---|---|
prov:atLocation | prov:locationOf | - | Dani: +1 |
prov:alternateOf | prov:alternateOf | - | Dani: +1 |
prov:specializationOf | prov:generalizationOf | - | Dani: +1 |
prov:involved | prov:wasInvolvedWith | - | Dani: +1 TL -1(no better proposal) |
prov:tracedTo | prov:tracedFrom | - | Dani: +1 |
prov:used | prov:wasUsedBy | - | Dani: +1 |
prov:wasDerivedFrom | prov:hadDerivation | - | Dani: +1 |
prov:hadOriginalSource | prov:wasOriginalSourceOf | - | *Dani: +1: (why not just "originalSourceOf")?
|
prov:wasQuotedFrom | prov:wasQuotedBy | quotedAs | *Dani: ->+0. Other relationships using "By" denote agency. I suggest to rename it wasQuotedIn.
What about prov:quotedAs ?
|
prov:wasRevisionOf | prov:hadRevision | - | Dani: +1 |
prov:wasEndedBy | prov:ended | - | Dani: +1 |
prov:wasGeneratedBy | prov:generated | - | Dani: +1 |
prov:generated | prov:wasGeneratedBy | - | Dani: +1 |
prov:wasInformedBy | prov:informed | - | Dani: +1 |
prov:wasInvalidatedBy | prov:invalidated | - | Dani: +1 |
prov:wasStartedBy | prov:started | - | Dani: +1 |
prov:wasAssociatedWith | prov:wasAssociateFor | - | Dani: +1 |
prov:wasAttributedTo | prov:contributed | - | Dani: +1 |
prov:actedOnBehalfOf | prov:responsibleFor | (TL)prov:hadDelegate | Dani: +1 responsibleFor
|
prov:qualifiedAssociation | prov:associatedActivity | qualifiedAttributionOf | Dani: +0
|
prov:qualifiedAttribution | prov:attributedEntity | prov:qualifiedAttributionOf | Dani: +1
|
prov:qualifiedCommunication | prov:informedActivity | qualifiedCommunicationOf | Dani: -1. It is very similar to wasInformedBy. I think that something like "qualifiedCommunicationOf" is better
|
prov:qualifiedDerivation | prov:derivedEntity | qualifiedDerivationOf | Dani: +0 |
prov:qualifiedEnd | prov:endedActivity | qualifiedEndOf | Dani:I prefer qualifiedEndOf |
prov:qualifiedGeneration | prov:generatedEntity | qualifiedGenerationOf | Dani: I suggest qualifiedGenerationOf. "generated" and "generatedEntity" could lead to confussion. |
prov:qualifiedInsertion | prov:insertedToDictionary | qualifiedQuotationOf | Dani: -1. It could be confused with wasQuotedBy. I suggest to rename it qualifiedQuotationOf. |
prov:qualifiedQuotation | prov:quotedByEntity | - | Dani: +1 |
prov:qualifiedRemoval | prov:removedFromDictionary | Dani: +0. rename it to qualifiedRemovalOf
| |
prov:qualifiedResponsibility | prov:responsibleAgent | qualifiedResponsabilityOf | Dani: +0 I suggest qualifiedResponsabilityOf |
prov:qualifiedRevision | prov:revisedEntity | qualifiedRevisionOf | Dani: +1 I suggest qualifiedRevisionOf (to keep the same pattern) |
prov:qualifiedSource | prov:sourcingEntity | qualifiedSourceOf | Dani: +0 I suggest qualifiedSourceOf |
prov:qualifiedStart | prov:startedActivity | qualifiedStartOf | Dani: +0. I prefer qualifiedStartOf. It can be confused with "wasStartedBy" |
prov:qualifiedTrace | prov:tracedEntity | qualifiedTraceOf | Dani: +0. I suggest qualifiedTraceOf |
prov:qualifiedUsage | prov:consumingActivity | cualifiedUsageOf | *Dani: +0. I suggest cualifiedUsageOf.
Just remember the direction. It will be for instance: :e2 prov:wasDerivedFrom :e1 ; prov:qualifiedDeriation :e2Deriv . :e2Deriv a prov:Derivation ; prov:entity :e1 ; prov:derivedEntity :e2 .
I don't think that "qualifiedDerivationOf" is wrong, since it it the qualified Derivation for e2. I don't see that implying that e2 is the source of the derivation. |
prov:involvee | prov:involvement | - | Dani: +1 |
prov:activity | prov:activityInvolvement | *Dani: +0.
:assoc1 a prov:Association ; prov:activity :a1 .b :a1 prov:activityInvolvement :assoc1 .
| |
prov:agent | prov:agentInvolvement | *Dani: +0.
| |
prov:dictionary | prov:dictionaryInvolvement | *Dani: +1, but I suggest to add the "Of".
| |
prov:entity | prov:entityInvolvement | Dani-Stian: same.
| |
prov:hadActivity | prov:wasActivityOfInvolvement | - | Dani: +1 |
prov:hadGeneration | prov:generatedAsDerivation | prov:generationByDerivation | Stian: I see you did not vote on this - no wonder as it's a confusing property name! Any better suggestion? Remember it is the inverse pointing back to the prov:Derivation.
:e2 prov:qualifiedDerivation :deriv . :deriv a prov:Derivation ; prov:entity :e1 ; prov:hadGeneration :e2Gen . :e2 prov:qualifiedGeneration :e2Gen . :e2Gen a prov:Generation ; prov:generatedAsDerivation :deriv .
|
prov:hadPlan | prov:wasPlanFor | wasPlanOf | *Dani: +1. *Stian:Yes, wasPlanOf is probably better, as the range will be to some Involvement |
prov:hadRole | prov:wasRoleIn | - | Dani: +1 |
prov:hadUsage | prov:wasUsedInDerivation | prov:usageOfDerivation | *Dani: +1: Why not "usedInDerivation"?
:e2 prov:qualifiedDerivation :deriv . :deriv a prov:Derivation ; prov:entity :e1 ; prov:hadUsage :e1Usage . :e1Usage a prov:Usage ; prov:entity :e1 ; prov:wasUsedInDerivation :deriv .
|
prov:inserted | prov:wasInsertedBy | - | Dani: +1 |
prov:derivedByInsertionFrom | prov:hadDerivationByInsertion | - | Dani: +1 |
prov:derivedByRemovalFrom | prov:hadDerivationByRemoval | - | Dani: +1 |
prov:pair | prov:inMembership | - | Dani: +1 |
prov:qualifiedMembership | prov:membershipOf | prov:qualifiedMembershipOf | Dani: +1
|
prov:hadMember | - | prov:wasMemberOf | |
prov:hasAnchor | - | prov:anchorOf | Stian: No domain/range? |
prov:hasProvenance | - | prov:provenanceOf | Stian: No domain/range? |
prov:hasProvenanceService | - | prov:provenanceServiceOf | Stian: No domain/range? |
prov:hadPrimarySource | - | - | |
prov:pairValue | - | Stian: +1 prov:valueOf |