From Protege Wiki
Topic - Inference
|Algernon performs forward and backward rule-based processing of frame-based knowledge bases, and efficiently stores and retrieves information in ontologies and knowledge bases.|
| A plug-in to generate a Bayesian Network from an Ontology, loosely based on BNTab and works with the JSMILE API. One of the main goals is to make it easy to use.
Development is currently ongoing for the first version to be released.
|Bayesian Network Tab (BNTab)|
|The BNTab plug-in enables users to efficiently generate Bayesian networks based on existing ontologies. The Norsys Netica API is required.|
| 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 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é.|
| DROOLS BASED SPATIAL SCENARIO SIMULATION PLUG-IN
The DroolsTab uses the open source geo-information system Java library OpenMap and the open source Java RETE rule engine Drools to facilitate visual authoring of complex spatial process simulation scenarios and general rule-based authoring. The Groovy and Clojure languages can be used for authoring auxiliary pieces of code and scripts. The distribution includes several demos of spatial simulation in the sea, air, and ground environments, including one example using Edvin Boehn's KML Framework.
|ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.|
|Facilitate acquisition of Protege Axiom Language (PAL) based constraints without having to understand the language itself.|
|FuzzyOWL2 (Fuzzy OWL 2) is a plugin for Protege 4.1 that allows users to edit, save Fuzzy OWL 2 ontologies, and submit queries to the underlying inference engine FuzzyDL.|
|The HERAKLES plug-in provides an extension to Protégé 4 to use the HERAKLES reasoning broker framework.|
|HermiT is a reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.|
|JessTab provides a Jess console window where you can interact with Jess while running Protégé.|
|OWL2Query is a conjunctive query and metaquery engine (for SPARQL-DL and negation as failure), and visualization plug-in. It facilitates creation of queries using SPARQL or intuitive graph-based syntax, and evaluates them using any OWL API-compliant reasoner.|
|A tool for comparing OWL ontologies.|
|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|
|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.|
|SWRL-IQ (Semantic Web Rule Language Inference and Query tool) is a plugin for Protege 3.4.x that allows users to edit, save, and submit queries to an underlying inference engine based on XSB Prolog.|
|An extension to Protege-OWL that supports editing and execution of SWRL rules.|