Inference

Revision as of 20:49, March 14, 2007 by Markus (Talk)

(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)

Topic - Inference

	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é.

	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.