The semantics are
- Closed World Assumption and
- Unique Name Assumption
Thomas
--
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
________________________________________
Von: DCMI Architecture Forum [[log in to unmask]]" im Auftrag von "Antoine Isaac [[log in to unmask]]
Gesendet: Dienstag, 30. September 2014 15:21
An: [log in to unmask]
Betreff: Re: [RDF AP] Validation of R-68-REQUIRED-PROPERTIES
Yes it's written on the wiki page!
Antoine
On 9/30/14 3:17 PM, Karen Coyle wrote:
> 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_
>>
>
|