Difference between revisions of "Protege Axiom Language (PAL) Tabs"

From Protege Wiki
Jump to: navigation, search
(added homepage url)
(incremental save of new work)
Line 13: Line 13:
 
|Affiliation2=Stanford Center for Biomedical Informatics Research
 
|Affiliation2=Stanford Center for Biomedical Informatics Research
 
}}
 
}}
 +
 +
<div style="float:left; width:100%;">
 +
== 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 [http://protege.stanford.edu/download/download.html "full" installation of Protege].
 +
 +
== Documentation ==
 +
 +
Documentation for the PAL Tabs is hosted on the main Protege website:
 +
 +
View the [http://protege.stanford.edu/plugins/paltabs/pal-quickguide/index.html Quick Reference Guide]
 +
 +
View the [http://protege.stanford.edu/plugins/paltabs/pal-documentation/index.htm 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 [http://mailman.stanford.edu/mailman/listinfo/protege-discussion 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/.
 +
</div>

Revision as of 15:46, July 7, 2008

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
Topic(s)
Affiliation

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!

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

Retrieved from "https://protegewiki.stanford.edu/index.php?title=Protege_Axiom_Language_(PAL)_Tabs&oldid=2403"