ISSUE-210: value types and expected types
Expected type
value types and expected types
- State:
- CLOSED
- Product:
- SHACL Spec
- Raised by:
- Karen Coyle
- Opened on:
- 2016-11-20
- Description:
- Peter's email: https://lists.w3.org/Archives/Public/public-rdf-shapes/2016Oct/0040.html
"The value type, i.e., expected type, of sh:minCount is xsd:integer. The
definition of expected type is:
"Expected Type
In a shapes graph, the values of a property or a property path can have an
expected type. These nodes are treated as instances of specific classes,
even when these nodes are not SHACL instances of these classes. For example,
the objects of triples with sh:shape as predicate have sh:Shape as expected
type and there does not need to be a triple with the object node as the
subject, rdf:type as predicate and sh:Shape as object in the shapes graph."
This means any node can be the object of sh:minCount in a constraint so that
s:s1 rdf:type sh:Shape ;
sh:property [ sh:predicate ex:child ;
sh:minCount ex:John ] .
is a valid shape.
All constraint parameters with a value type that is a datatype have similar
issues." - Related Actions Items:
- No related actions
- Related emails:
- Re: shapes-ISSUE-210 (Expected type): value types and expected types [SHACL Spec] (from holger@topquadrant.com on 2016-11-22)
- shapes-ISSUE-210 (Expected type): value types and expected types [SHACL Spec] (from sysbot+tracker@w3.org on 2016-11-20)
Related notes:
RESOLUTION: Close ISSUE-210, as addressed in the latest editor's draft, where the definitions of expected types have been updated and explicitly exclude the troublesome values
See https://www.w3.org/2016/11/30-shapes-minutes.html#resolution07
Display change log