Add your own math project to this wiki!
An open source ontology editor (for OWL and frame ontologies) and knowledge framework with example ontologies.
In order to use Racer in Protégé integrate the RQL tab, then type in queries such as "(retrieve (?x) (?x |Country|))"
