PAL Documentation Table of Contents   

Introduction

• The Protégé Axiom Language
• PAL Constraints
• PAL Queries
• Enabling PAL Queries
• Enabling the PAL Constraints and PAL Queries Tabs

The PAL Language and Frames

• The PAL Language
• Variable Range Definitions
• Constraint Statements
• Query Statements
• PAL Conceptual Framework
• Supported Predicates and Functions in PAL

The User Interface

PAL Constraints User Interface

• The PAL Constraints Tab
  • The Choose Constraints Pane
  • The Constraint Attachments Pane
  • The Constraint Tracing Controls Pane
  • The Constraint Warnings and Errors Pane
  • The Query Response Pane for Constraints
• Displaying Constraints at the Instances Tab
• Displaying Constraints at the PAL Constraints Tab
• Displaying Attached Constraints at a Class
• Creating a Blank Constraint
• Viewing a Constraint
• Deleting a Constraint
• Attaching a Constraint to a Class
• Removing an Attached Constraint from a Class
• Verifying Constraint Syntax
• Evaluating Constraints
• Tracing Constraint Functions and Predicates

PAL Queries User Interface

• The PAL Queries Tab
  • The Choose Queries Pane
  • The Query Attachments Pane
  • The Query Tracing Controls Pane
  • The Query Warnings and Errors Pane
  • The Query Response Pane for Queries
• Displaying Queries at the Instances Tab
• Displaying Queries at the PAL Queries Tab
• Displaying Attached Queries at a Class
• Creating a Blank Query
• Viewing a Query
• Deleting a Query
• Making a Class Queriable
• Attaching a Query to a Class
• Removing an Attached Query from a Class
• Verifying Query Syntax
• Evaluating Queries
• Tracing Query Functions and Predicates

The PAL Expression Editor

• Configuring the PAL Expression Editor
• The PAL Expression Editor
  • The Range Editor
  • The Statement Editor
• Creating a Sample Constraint

Known Problems

• Known Problems

The PAL Engine

• A sample JAVA code file that illustrates how the PAL constraint-checking engine and the PAL querying engine can be invoked programmatically to evaluate PAL constraints.

The EZPAL Plug-in

• A plug-in which provides template-based guidance to writing PAL constraints.  To access this plug-in, go to the Protégé Plug-In library, click on the Inference and Reasoning link, and then click on the EZPAL Tab Widget link.

Example Projects and Resources

Documents

• The original design rationale document, by Bill Grosso, by Bill Grosso.
• A discussion on defining ranges and sets in PAL, by Bill Grosso.
• A PAL tutorial and a sample project, by Samson Tu.
• A presentation of the PAL structured editor, by Anton An.

Example projects that use PAL

• The Unified Problem-solving Method development Language UPML.
• The Malaria project.