From Protege Wiki
Topic - Validation
|The plugin provides different views for exploring the annotation/change ontology associated with a project that uses the Change Management plugin. Changes and annotations can be explored based on authors, ontology terms, and visualized with respect to the life cycle of the project.|
| USEFUL TOOL FOR KNOWLEDGE PROCESSING IN PROTEGE.
The ClojureTab uses the Clojure programming language for simple programming in the Protege environment, on-the-fly debugging, and storing programs in Protege projects.
|The OWL Lint framework is designed to be a flexible way to define and run tests against a set of OWL ontologies for quality control, debugging, best practices, and many other purposes.|
| The OntoCheck P4 plugin allows to define clean-up checks on a generated owl ontology - e.g. to be stored and carried out before each ontology release. Found test violations can be corrected to foster consistency in entity naming and meta-annotation. Once specified, check-constraints like name patterns can be stored and exchanged for later re-use. The plugin allows the user to specify checks on certain properties of an active ontology (OntoCheck) and allows for improvements (OntoCure) in the areas of
a) Metadata completeness, e.g. via cardinality checks on mandatory and optional annotation properties
b) Naming Conventions, e.g. via lexical analysis and labeling enforcement for representational units (RU) names and IDs.
Thereby this plugin fosters lexical harmonization as e.g. demanded by the OBO Foundry Naming Conventions at http://www.obofoundry.org/wiki/index.php/Naming
A paper describing OntoChecks functionalities in more detail can be found at
|The RacerPro Plugin for Protégé offers reasoning functionality to Protégé 4.x. Once installed the plugin downloads a special but free version of the RacerPro inference server (aka "RacerProTG") and adds RacerPro to the "Reasoner" menu.|