PAL Constraints and Queries Tabs

PAL, the Protégé 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).

For more information, please refer to the PALTabs page on the Protégé Wiki.