Protege Axiom Language (PAL) Tabs

Protege Axiom Language (PAL) Tabs

by William Grosso, Monica Crubezy

Type	Tab Widget
Author(s)	William Grosso, Monica Crubezy
Last Update	September 12, 2006
License	Mozilla Public License.
Homepage	Protege Axiom Language (PAL) Tabs website
For Application	Protege-Frames
Topic(s)	Inference Reasoning
Affiliation	Stanford University Stanford Center for Biomedical Informatics Research

Edit this plugin

Express constraints about a knowledge base and make logical queries about the contents of a knowledge base

Versions & Compatibility

This section lists available versions of Protege Axiom Language (PAL) Tabs.

No version information available.

If you click on the button below to add a new version of Protege Axiom Language (PAL) Tabs, you will be asked to define a page title for the new version. Please adhere to the naming convention of Protege Axiom Language (PAL) Tabs X.X.X when you define the new page!

Add New Version

Changelog

No version information available.

Detailed Description

PAL, the Protege Axiom Language, is a superset of first-order logic which has two purposes. PAL can be used to express constraints about a knowledge base, and it can be used to make logical queries about the contents of a knowledge base. These two uses correspond to two tabs: the PAL Constraints Tab and the PAL Queries Tab.

The PAL Constraints Tab is a front-end for the constraint system. This tab allows a user to create, browse, and modify constraints in the knowledge base, and to evaluate constraints (either as a group or individually).

The PAL Queries Tab is a front-end for the query system. This tab allows a user to create, browse, and modify queries in the knowledge base, and to evaluate queries (either as a group or individually).

Installation

The PAL Constraints and Queries tabs are bundled with the "full" installation of Protege.

Documentation

Documentation for the PAL Tabs is hosted on the main Protege website:

View the Quick Reference Guide

View the Comprehensive Documentation

Screenshots

Please note: these screenshots were taken with an older version of Protege called "Protege-2000". The PAL Tabs are still working with the latest version of Protege.

Screenshot of the PAL Constraints Tab:

Screenshot of the PAL Queries Tab:

Level of Support

The PAL Constraints and Queries tabs are no longer under active development. If you have questions about either tab, please post them on the protege-discussion mailing list and someone from the user community may be able to help you.

The source code for the PAL Constraints and Queries tabs is available in the Protege Subversion repository. The URL to browse the code via a Web interface is: http://smi-protege.stanford.edu/svn/pal/trunk/. The URL to download the source code with a Subversion client is: http://smi-protege.stanford.edu/repos/protege/pal/trunk/.

Older versions of the source code can be found under the "tags" subdirectory: http://smi-protege.stanford.edu/svn/pal/tags/.