Difference between revisions of "Protege Axiom Language (PAL) Tabs"
(incremental save of new work) |
(migrated page from old wiki) |
||
| Line 39: | Line 39: | ||
Screenshot of the PAL Constraints Tab: | Screenshot of the PAL Constraints Tab: | ||
| + | |||
| + | [[Image:Pal-queries-tab.gif]] | ||
| + | |||
Screenshot of the PAL Queries Tab: | Screenshot of the PAL Queries Tab: | ||
| + | |||
| + | [[Image:Pal-queries-tab.gif]] | ||
| + | |||
== Level of Support == | == Level of Support == | ||
| Line 48: | Line 54: | ||
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/. | 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/. | + | Older versions of the source code can be found under the "tags" subdirectory: http://smi-protege.stanford.edu/svn/pal/tags/. |
| + | <br /><br /> | ||
</div> | </div> | ||
Revision as of 15:50, July 7, 2008
Protege Axiom Language (PAL) Tabs
Express constraints about a knowledge base and make logical queries about the contents of a knowledge base
Contents
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/.
