Mapping from OWL 2 to SPIN

Hi all,

February, I started to implement a mapping from OWL 2 to SPIN in order to execute RDF constraint validation automatically.
I did not work further on this mapping in the last 2 months.
As I follow the interesting discussions on the mailing list, I continue working on the mapping and will finish it in the next weeks.

So far, I have implemented the mapping of the majority of the OWL 2 constructs.
I think the implementation of the remaining OWL 2 constructs will be straight-forward.

Although, the mapping is not completely finished I would like to share the current status with you.

I will finish the complete mapping from OWL 2 to SPIN in the next weeks.

I pushed the files on a GitHub repository:
https://github.com/boschthomas/OWL2-SPIN-Mapping

There you can find
- (1) the SPIN mapping: OWL2_SPIN-Mapping.ttl<https://github.com/boschthomas/OWL2-SPIN-Mapping/blob/master/OWL2_SPIN-Mapping.ttl>
- (2) generic test cases to show that each type of OWL 2 construct can be validated: OWL2_Constraints_Data.ttl<https://github.com/boschthomas/OWL2-SPIN-Mapping/blob/master/OWL2_Constraints_Data.ttl>
- (3) Java classes which can be used to execute the constraint checking automatically: ValidationEnvironment.java<https://github.com/boschthomas/OWL2-SPIN-Mapping/blob/master/ValidationEnvironment.java>, Spin.java<https://github.com/boschthomas/OWL2-SPIN-Mapping/blob/master/Spin.java>

I'm using the SPIN open source API.

Currently, I'm writing a demonstrator.
The input of this web application are constraints, data, and inference rules.
The output are constraint violation triples.


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