Implements an OWL Syntax Checker.