Hi Thomas,
Just to clarify: I know the relation, I just want to make sure that everyone on the list does get the right info ;-)
Actually even I am not sure what the dsp:standalone and dsp:statementTemplate mean (and why there's a dsp:maxOccur set to 5) in "R-28-OBJECT-PROPERTY-RANGE - DSP example". 1.ttl" )
Also, I was really happy to see my first constraint violation in the OWL2 validation demo :-) but I'm still a bit puzzled by the output:
[
Constraint Violations
root http://www.example.org/ex#amsterdam
message ObjectPropertyRange ( http://www.example.org/oer#addressCountry http://www.example.org/oer#Country )
source Axioms - Object Property Axioms - Object Property Range
path http://www.example.org/oer#addressCountry
]
It seems that the validator has recognized the type of constraint violation, even though the name was not in the data input. Is there some pre-defined knowledge based of constraint patterns?
Cheers,
Antoine
On 9/21/14 9:17 PM, Antoine Isaac wrote:
> Hi Thomas,
>
> How do these differ from what I've done?
>
> Best,
>
> Antoine
>
> On 9/21/14 8:15 PM, Bosch, Thomas wrote:
>> Hello everybody,
>>
>> attached you find some files containing DSP and OWL constraints as well as valid and invalid data.
>> You can use these files to validate this constraint:
>>
>> R-28-OBJECT-PROPERTY-RANGE
>> http://lelystad.informatik.uni-mannheim.de/rdf-validation/?q=node/35
>>
>> Feel free to play with the RDF validator (purl.org/net/rdfval-demo), in order to validate the constraints.
>> The fastest way is to upload each of these files using the upload functionality (DSP upload or OWL 2 upload).
>>
>>
>> Cheers,
>> 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, 16. September 2014 23:52
>> An: [log in to unmask]
>> Betreff: [RDF AP] Action on examples in constraint languages
>>
>> Hi everyone,
>>
>> For the two actions:
>>
>> ACTION: Antoine to send an email to the list suggesting to record example in constraint languages in the database.
>> ACTION: Antoine to do it for two easy examples and two hard ones, from Stefanie's list, and put it on the wiki.
>>
>> In Stefanie's email, I've picked the following two 'easy' ones:
>>
>> R-28-OBJECT-PROPERTY-RANGE
>> http://lelystad.informatik.uni-mannheim.de/rdf-validation/?q=node/35
>>
>> R-68-REQUIRED-PROPERTIES
>> http://lelystad.informatik.uni-mannheim.de/rdf-validation/?q=node/75
>>
>> Two 'hard' ones:
>>
>> R-25-OBJECT-PROPERTY-DOMAIN
>> http://lelystad.informatik.uni-mannheim.de/rdf-validation/?q=node/32
>>
>> R-26-DATA-PROPERTY-DOMAIN
>> http://lelystad.informatik.uni-mannheim.de/rdf-validation/?q=node/33
>>
>>
>> My additions are directly in the database, not on the wiki. I guess that with the discussion we're having, the attention is rather focused on the database now. We can still put stuff on the wiki later.
>>
>> For the two easy ones, I have just added some examples, with counter-examples (data that is not ok according to the constraint).
>> For the two last ones, I've proposed an alternative definition, and examples.
>>
>> The examples come in DSP and OWL (with a closed world assumption).
>> Note that the last two ones may not have a DSP expression.
>>
>> Best,
>>
>> Antoine
>>
|