demonstrator to validate OWL 2 (closed world semantics, with and without reasoning): purl.org/net/rdfval-demo

Hi all,

please feel free to play with our new demonstrator to validate all OWL 2 constructs:
http://purl.org/net/rdfval-demo

We assume closed world semantics.
Reasoning may also be used to infer implicit triples which may affect the further validation of OWL 2 constraints.

The mappings from OWL 2 to SPIN can be found here [1].
We used the OWL 2 structural specification [2] to define the SPIN mappings.

We will extend this demonstrator in order to validate further constraint languages.
So far, you can also validate Description Set Profile (DSP) constraints [3].

Feedback is very appreciated.


Best regards,
Thomas

[1] https://github.com/boschthomas/OWL2-SPIN-Mapping
[2] http://www.w3.org/TR/owl2-syntax/
[3] http://dublincore.org/documents/2008/03/31/dc-dsp/

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