How do I execute a reasoner such as Racer?
Exploitation of OWL’s reasoning capabilities such as consistency checking and classification can easily be done with Protégé-OWL. All you need to do is download the Racer server (under Windows this is a simple executable program that you execute with Protégé-OWL). If you cannot connect to Racer, you may have to adjust your server settings (in OWL | Preferences…), but usually it works on the first try. Another source of confusion revolves around OWL species. OWL ontologies can be in OWL Full, OWL DL, or OWL lite. OWL Full basically means that an ontology could contain arbitrary OWL statements, i.e. anything could link to anything else in the ontology, etc. If your ontology uses some of the advanced features of OWL Full (especially metaclasses), then the classifier will reject the ontology, i.e. it won’t classify it. In these cases you can use the Test Ontology button to get a list of OWL DL violations, which you can then try to remove. If this does not help, your ontology may import o
