PROV-ISSUE-179 (TLebo): defaults to prov:steps="n" causes issue in PROV-O [prov-dm]

PROV-ISSUE-179 (TLebo): defaults to prov:steps="n" causes issue in PROV-O [prov-dm]

http://www.w3.org/2011/prov/track/issues/179

Raised by: Timothy Lebo
On product: prov-dm

Imposing a "default" value for prov:steps will cause issues in PROV-O, which embraces the open world.

>From [1]:

"It is optional to include the attribute prov:steps in an imprecise-n derivation record. It defaults to prov:steps="n"."


An OWL axiom such as "imprecise-n derivation records must have values of prov:step that are integers greater than 1" can be done, and if an instance of Derivation is typed to "imprecise-n derivation record", then one knows that it has more than one step -- even when no prov:step has been asserted.


If this OWL approach is taken, would we be violating the DM's "It defaults to prov:steps="n"."?

Thanks,
Tim

[1] http://dvcs.w3.org/hg/prov/raw-file/tip/model/ProvenanceModel.html#Derivation-Relation