There was an RDF AP call this morning, and I will produce the minutes
ASAP, but I wanted to point out something that might not otherwise catch
peoples' eye: There has been an update to the DSP validator that Kai
Eckert and Thomas Bosch are working on, and you can now see examples of
DSP constraints, sample instance data, and you can modify the instance
data (or input your own) and see whether it validates.
The URL is: http://purl.org/net/rdf-validation
Click on the DSP link in the tan bar. Then you have the option of
Constraints, Data, or Validation. On any of those pages, scroll down
past the big blank box (which is waiting for your input), and below you
see some examples provided by Thomas and Kai. Here's one example for a
literal value constraint:
# ---------------
# Literal Value Constraints - Literal List Constraint
# different datatype
# -----
:personDescriptionTemplate
a dsp:DescriptionTemplate ;
dsp:minOccur "1"^^xsd:nonNegativeInteger ;
dsp:maxOccur "infinity"^^xsd:nonNegativeInteger ;
dsp:resourceClass foaf:Person ;
dsp:statementTemplate [
a dsp:LiteralStatementTemplate ;
dsp:minOccur "1"^^xsd:nonNegativeInteger ;
dsp:maxOccur "5"^^xsd:nonNegativeInteger ;
dsp:property foaf:name ;
dsp:literalConstraint [
a dsp:LiteralConstraint ;
dsp:literal "Tim Berners-Lee"@en ;
dsp:literal "Tim Berners-Lee"@de ;
dsp:literal "Tim Berners-Lee" ;
dsp:literal "Tim Berners- Lee"^^xsd:string ] ] .
This is, I think, the first demonstration of the DSP used for actual
validation. Today we discussed creating some sample data that would
allow one to compare validation with DSP, with OWL, and perhaps with
other constraint languages.
This is a real step forward, thanks to Thomas and Kai.
kc
--
Karen Coyle
[log in to unmask] http://kcoyle.net
m: 1-510-435-8234
skype: kcoylenet/+1-510-984-3600
|