Re: ISSUE-595: Prov-xml subtyping needs to be marked in the document

On Mon, Mar 4, 2013 at 7:43 PM, Stephan Zednik <zednis@rpi.edu> wrote:
> I did state that type inferences help with interoperability with non-PROV-XML serializations of PROV.
>
> Stian, is this section sufficient?

I think this make it explicit that the xsi:type also means the
prov:type is inferred. I assume this is also true for custom
xsi:types.

Therefore this:

<prov:entity prov:id="tr:WD-prov-dm-20111215" xsi:type="ex:Workflow">
  </prov:entity>

should infer:

    <prov:type xsi:type="xsd:QName">ex:Workflow</prov:type>
    <prov:type>prov:Plan</prov:type> <!-- inferred -->
    <prov:type>prov:Entity</prov:type> <!-- inferred -->

as long as ex:Workflow is an extension of prov:Plan (and that schema
is referenced through xsi:schemaLocation).

Do we need to make this explicit as well?  (Not a blocker for
publication of draft!)


However this text reads a bit odd now:

> The PROV-DM states that type information is described using a the prov:type PROV attribute with > and may occur multiple times for a given entity, activity, agent, or relation.

Too many a/the/with !


Also the below is no longer true:

> The prov:type element is the only mechanism to explicitly declare multiple types for an instance or declare types that are not derived from the default element type.


Given my assumption above.


> Is ISSUE-595 ready to be closed?

Your call.. :-/  I'm OK with it being closed.


-- 
Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester

Received on Tuesday, 5 March 2013 11:32:14 UTC