Print

---

This has probably been covered, but are you assuming Closed World for 
the OWL2 validation?

kc

On 9/30/14, 12:31 AM, Bosch, Thomas wrote:
> Hi everybody,
>
> here the constraints and the data which are necessary to validate the
> R-68-REQUIRED-PROPERTIES constraint example with OWL 2 and DSP using the
> RDF validator (purl.org/net/rdfval-demo).
>
>
> Cheers,
> Thomas
>
> ---------------
> OWL 2 Validation
>
> # namespace declarations
> # -----
> @prefix xsd:      <http://www.w3.org/2001/XMLSchema#> .
> @prefix rdf:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
> @prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
> @prefix owl:      <http://www.w3.org/2002/07/owl#> .
> @prefix oer:      <http://www.example.org/oer#> .
> @prefix ex:       <http://www.example.org/ex#> .
> @prefix owl2spin: <http://constraints.org/owl2#> .
>
> # constraints
> # -----
> oer:Organization
>      rdfs:subClassOf [
>          rdf:type owl:Restriction ;
>          owl:minCardinality "1"^^xsd:nonNegativeInteger ;
>          owl:onProperty oer:name ] .
>
> # valid data
> # -----
> ex:dcmi
>      rdf:type oer:Organization ;
>      oer:name "Dublin Core Metadata Initiative" .
>
> # invalid data
> # -----
> ex:dcmi
>      rdf:type oer:Organization .
>
> # triples needed for validation:
> # - automatically infered in future versions
> # - as every OWL individual is a owl:Thing
> # -----
> ex:dcmi rdf:type owl:Thing , owl2spin:ToInfer .
>
> ---------------
> DSP Validation
>
> # namespace declarations
> # -----
> @prefix xsd:      <http://www.w3.org/2001/XMLSchema#> .
> @prefix rdf:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
> @prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
> @prefix owl:      <http://www.w3.org/2002/07/owl#> .
> @prefix oer:      <http://www.example.org/oer#> .
> @prefix ex:       <http://www.example.org/ex#> .
> @prefix foaf:     <http://xmlns.com/foaf/0.1/#> .
> @prefix dcam:     <http://purl.org/dc/dcam#> .
> @prefix dsp:      <http://dublincore.org/dc-dsp#> .
> @prefix :         <http://dublincore.org/dc-dsp/ex#> .
>
> # constraints
> # -----
>      :organizationDescriptionTemplate
>          a dsp:DescriptionTemplate ;
>          dsp:minOccur "1"^^xsd:nonNegativeInteger ;
>          dsp:maxOccur "infinity"^^xsd:string ;
>          dsp:resourceClass oer:Organization ;
>          dsp:statementTemplate [
>              a dsp:NonLiteralStatementTemplate ;
>              dsp:minOccur "1"^^xsd:nonNegativeInteger ;
>              dsp:maxOccur "infinity"^^xsd:string ;
>              dsp:property oer:name ] .
>
> # valid data
> # -----
> ex:dcmi
>      rdf:type oer:Organization ;
>      oer:name "Dublin Core Metadata Initiative" .
>
> # invalid data
> # -----
> ex:dcmi
>      rdf:type oer:Organization .
>
> # triples needed for validation:
> # - automatically infered in future versions
> # - as every OWL individual is a owl:Thing
> # -----
> ex:dcmi  rdf:type owl:Thing .
>
> --
>
> Thomas Bosch, M.Sc. (TUM)
>
> PhD Student
>
> GESIS - Leibniz Institute for the Social Sciences
>
> Social Science Metadata Standards
>
> Visitors Address: B2,1, D-68159 Mannheim
>
> Postal Address: P.O.Box 12 21 55, D-68072 Mannheim
>
> Tel: + 49 (0) 621 / 1246-271
>
> Fax: + 49 (0) 621 / 1246-100
>
> Web: http://www.gesis.org
>
> Website: http://boschthomas.blogspot.com/
> GitHub: _https://github.com/boschthomas/PhD_
>

-- 
Karen Coyle
[log in to unmask] http://kcoyle.net
m: 1-510-435-8234
skype: kcoylenet/+1-510-984-3600