Syntax checking
TopBraid composer provides real-time syntax checking when you use Resource Editor.
Invalid statements will be outlined in red as shown below.
Constraint checking
The Problems view can be used to display violations of some OWL restrictions and global range restrictions, and arbitrarily complex SPIN constraints. See Constraint Checking for details.
Refresh will analyze your current model for violations and display them in the Problems View.This view is not updated automatically because checking at real time might be slow and is difficult to maintain. A double-click on a violation will navigate to the subject resource. The warnings are saved by Eclipse and therefore will remain there even if you close the file. This means that you can manage all violations all files of your project at once.