Re: Representing distinct item states

"Butler, Mark" wrote:
> 
> > hdl:1271.1/5678 ----- owl:sameIndividualAs ----->
> > hdl:1271.1/5678;2 (the
> > current revision)
> 
> I'm not sure about this. I interpret the formal semantics of
> sameIndividualAs as meaning they are literally the same, so if you queried
> what is dc:title of hdl:1271.1/5678 you'd now get "My Super Researck Paper"
> and "My Super Research Paper". I don't think you want that - you want to
> indicate they are related but separate.

You are correct, the semantics of sameIndividualAs, as specified in the OWL
semantics document, is that the two URIs denote the same individual. Thus both
of the dc:titles will be attached to both of the resources indicated by the two
URIs.

> Having said that, I may be wrong because I re-read OWL documentation but it
> didn't help:
> http://www.w3.org/TR/2003/WD-owl-guide-20030210/#owl_sameIndividualAs
> http://www.w3.org/TR/owl-semantics/syntax.html#owl_sameIndividualAs_syntax
> http://www.w3.org/TR/owl-semantics/direct.html#owl_sameIndividualAs_semantic
> s
> http://www.w3.org/TR/owl-semantics/mapping.html#owl_sameIndividualAs_mapping
> http://www.w3.org/TR/owl-semantics/rdfs.html#owl_sameIndividualAs_rdf

The third and fifth of these define this semantics.

> My guess is you need to do something like this
> although again I think I'd query it with the OWL folks first:
> 
> dcq:modificationOf -- rdf:type --> owl:ObjectProperty
> dcq:modificationOf --> rdfs:range --> owl:Thing
> dcq:modificationOf --> rdfs:domain --> owl:Thing
> dcq:modificationOf -- rdfs:subPropertyOf --> owl:sameIndividualAs
> dcq:modificationOf -- rdf:type --> owl:SymmetricProperty

I suspect you mean:

  owl:sameIndividualAs -- rdfs:subPropertyOf --> dcq:modificationOf

But, in any case, I'm not sure this gives you much beyond the dcq:isReplaced by
property you already have.

Dave