Reasoning
From Protege Wiki
Topic - Reasoning
 | Algernon |
| Algernon performs forward and backward rule-based processing of frame-based knowledge bases, and efficiently stores and retrieves information in ontologies and knowledge bases. |
 | DL-Learner |
| The Protégé 4 DL-Learner plugin allows to learn equivalence and super class axioms based on the instance data in the ontologies loaded in Protégé. |
 | EZPal |
| Facilitate acquisition of Protege Axiom Language (PAL) based constraints without having to understand the language itself. |
 | HERAKLES |
| The HERAKLES plug-in provides an extension to Protégé 4 to use the HERAKLES reasoning broker framework. |
 | JessTab |
| JessTab provides a Jess console window where you can interact with Jess while running Protégé. |
 | MESAM |
| The protégé MESAM plugin is a semi-automatic tool for defining a consistant OWL merged model composed of a generic model, a specific model and mapping between them. |
| [[Image:|thumb|170px|center]] | Owl2Cool |
 | PSM Librarian |
| Supports users in building knowledge-based applications out of reusable knowledge components known as Problem-Solving Methods (PSMs). |
 | Protege Axiom Language (PAL) Tabs |
| Express constraints about a knowledge base and make logical queries about the contents of a knowledge base |
 | SWRLTab |
| An extension to Protege-OWL that supports editing and execution of SWRL rules. |
