 |
 |
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