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
|