Protege Axiom Language (PAL) Tabs - Revision history

JenniferVendetti: added screenshot

2008-07-08T00:07:22Z

added screenshot

JenniferVendetti at 23:51, July 7, 2008

2008-07-07T23:51:36Z

JenniferVendetti: migrated page from old wiki

2008-07-07T23:50:32Z

migrated page from old wiki

JenniferVendetti: incremental save of new work

2008-07-07T23:46:00Z

incremental save of new work

JenniferVendetti: added homepage url

2008-07-07T23:38:30Z

added homepage url

JenniferVendetti: New page: {{Plugin |Description=Express constraints about a knowledge base and make logical queries about the contents of a knowledge base |PluginType=Tab Widget |ForApplication1=Protege-Frames |Dev...

2008-07-07T23:37:56Z

New page: {{Plugin |Description=Express constraints about a knowledge base and make logical queries about the contents of a knowledge base |PluginType=Tab Widget |ForApplication1=Protege-Frames |Dev...

New page

{{Plugin
|Description=Express constraints about a knowledge base and make logical queries about the contents of a knowledge base
|PluginType=Tab Widget
|ForApplication1=Protege-Frames
|DeveloperID1=William Grosso
|DeveloperID2=Monica Crubezy
|LastUpdated=September 12, 2006
|Topic1=Inference
|Topic2=Reasoning
|License=Mozilla Public License.
|Affiliation1=Stanford University
|Affiliation2=Stanford Center for Biomedical Informatics Research
}}

@@ Line 39: / Line 39: @@
 Screenshot of the PAL Constraints Tab:
 Screenshot of the PAL Queries Tab:
 == 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/.
 Older versions of the source code can be found under the "tags" subdirectory: http://smi-protege.stanford.edu/svn/pal/tags/.
 </div>

← Older revision		Revision as of 23:46, July 7, 2008
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>

@@ Line 3: / Line 3: @@
 |PluginType=Tab Widget
 |ForApplication1=Protege-Frames
 |HomepageURL=http://protegewiki.stanford.edu/index.php/Protege_Axiom_Language_%28PAL%29_Tabs
 |DeveloperID1=William Grosso

@@ Line 9: / Line 9: @@
 |Topic1=Inference
 |Topic2=Reasoning
-|License=Mozilla Public License.
+|License=Mozilla Public License
 |Affiliation1=Stanford University
 |Affiliation2=Stanford Center for Biomedical Informatics Research
 }}
 <div style="float:left; width:100%;">
 == Detailed Description ==