The Jena OWL Syntax Checker is now a separately downloadable contribution. The documentation for it is included in that download.