ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc.

prov:type has type Value; valid values too general, include number, datetime, boolean, etc.

State:
CLOSED
Product:
prov-dm
Raised by:
Stephan Zednik
Opened on:
2012-09-04
Description:
The value of prov:type is a Value (http://www.w3.org/TR/prov-dm/#term-value) which has the following definition:

A value ◊ is a constant such as a string, number, time, qualified name, IRI, and encoded binary data, whose interpretation is outside the scope of PROV. Values can occur in attribute-value pairs.

Each kind of such values is called a datatype. Use of the following data types is recommended.

The RDF-compatible [RDF-CONCEPTS] types, including those taken from the set of XML Schema Datatypes [XMLSCHEMA11-2];
Qualified names introduced in this specification.
The normative definitions of these datatypes are provided by their respective specifications.

This means that numbers, datetimes, booleans, and unstructured strings are valid values of prov:type. The prov value section on RDF compliance also seems to suggest there should be a prov:type datatype property in prov-o, which to my knowledge does not currently exist.

So my question is, are we ok with numbers, datetimes, booleans as valid values of prov:type? All of the examples in the DM document appear to use qnames for values of prov:type.

Second, is there support for a proposal to restrict values of prov:type to qnames?
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from l.moreau@ecs.soton.ac.uk on 2012-09-25)
  2. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from zednis@rpi.edu on 2012-09-12)
  3. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from pgroth@gmail.com on 2012-09-12)
  4. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from l.moreau@ecs.soton.ac.uk on 2012-09-12)
  5. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from Curt.Tilmes@nasa.gov on 2012-09-12)
  6. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from l.moreau@ecs.soton.ac.uk on 2012-09-12)
  7. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from Curt.Tilmes@nasa.gov on 2012-09-12)
  8. Re: PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from zednis@rpi.edu on 2012-09-12)
  9. PROV-ISSUE-493: prov:type has type Value; valid values too general, include number, datetime, boolean, etc. [prov-dm] (from sysbot+tracker@w3.org on 2012-09-04)

Related notes:

No additional notes.

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 493.html,v 1.1 2013-06-20 07:37:48 vivien Exp $