Which reasoner do I have to use to validate the given example?

Question

I\'ve created a model with the Jena Lib and I want to validate it against a specific schema.rdf. However when I start the validation, it says everything okay, but I have a s