Put more work into the PROV example and included a diagram.
Renamed test class, was still using standard name mvn generated.
Added a failing example in rdf for PROV, but it does not fail.
This shows there is a bug, I will mention it in issue #4.
Added HermiT reasoner because Jena did a poor job detecting problems.