August 2009: CO-ODE has now officially finished
You should still find most of what you are looking for on the site.
But also see here for ongoing OWL work @ Manchester

Protégé 3.x Downloads

Many of the following plugins are now distributed with the current Protégé 3.x release and are no longer maintained by CO-ODE. However, much of their functionality is being migrated to Protégé 4.0 so your comments and queries are welcome.

If you have feature requests or bugs, please refer to our bugtracker first to see if a request has already been made. Please save your work before using these plugins.

Unless otherwise stated, the plugins below are made available for Protégé 3.2.

Unzip below to the plugins/ folder in your Protégé installation.

A full package including all of the below - All Plugins (3MB ZIP)

b = bundled with Protégé 3.x
p4 = feature available/being developed in Protégé 4.0

PluginDescriptionStatus
OWL DebuggerExplains the inconsistencies in an OWL ontology.b p4
OWLVizGraph view of the ontology.b p4
Protégé WizardsSeveral wizards to simplify ontology creation.b p4
Class Description DisplayA dialog that can display various renderings of the selected OWL Class.p4
OWLDocGenerates JavaDoc style HTML docs for your OWL ontology.b p4
Abstract Syntax PackageViewing and Exporting OWL Ontologies in the OWL Abstract Syntax.
RDFS Class Hierarchy ExporterExport a 'bare bones' RDFS Class Hierarchy with optional annotations.
OWL-DL Individuals TabAn OWL-DL view, allowing any kind-of and relationship to be asserted at Individual level.b p4
OWL ValidatorSends the ontology off to an online OWL validator service and displays the results.
Manchester OWL Syntax EditorAlternative class editor using a text-based editor with autocomplete and various shortcuts.b p4
OWL Unit TestAdd assertions to classes to check correct inferences on your ontologyb
Easy ConditionsAlternative (cardinality focused) restrictions view for OWL classesp4