PrF UG classes constraints - Revision history

RichMorin at 00:26, November 14, 2008

2008-11-14T00:26:31Z

RichMorin at 20:32, October 21, 2008

2008-10-21T20:32:15Z

RichMorin at 20:28, October 21, 2008

2008-10-21T20:28:13Z

RichMorin at 20:27, October 21, 2008

2008-10-21T20:27:27Z

RichMorin at 20:24, October 21, 2008

2008-10-21T20:24:21Z

RichMorin at 20:23, October 21, 2008

2008-10-21T20:23:42Z

RichMorin at 20:22, October 21, 2008

2008-10-21T20:22:50Z

RichMorin at 20:22, October 21, 2008

2008-10-21T20:22:27Z

RichMorin at 19:13, October 15, 2008

2008-10-15T19:13:13Z

RichMorin at 19:12, October 15, 2008

2008-10-15T19:12:54Z

@@ Line 2: / Line 2: @@
 == Constraints ==
-{{PrF_UG_TOC_classes}}<div id='prf_ug'>
+<noinclude>{{PrF_UG_TOC_classes}}<div id='prf_ug'></noinclude>
 {{#var:PrF}} builds relationships
@@ Line 34: / Line 34: @@
-</div>
+<noinclude></div></noinclude>

@@ Line 28: / Line 28: @@
 Information about constraints can be found
-in the [{{#var:PrP}}/paltabs/PAL_tabs.html PAL section]
+in the [{{#var:P_P}}/paltabs/PAL_tabs.html PAL section]
 of the Plugins Library, including a
-[{{#var:PrP}}/paltabs/pal-quickguide/index.html quick reference guide] and
+[{{#var:P_P}}/paltabs/pal-quickguide/index.html quick reference guide] and
-[{{#var:PrP}}/paltabs/pal-documentation/index.htm comprehensive documentation].
+[{{#var:P_P}}/paltabs/pal-documentation/index.htm comprehensive documentation].
 </div>

@@ Line 28: / Line 28: @@
 Information about constraints can be found
-in the [http://protege.stanford.edu/plugins/paltabs/PAL_tabs.html PAL section]
+in the [{{#var:PrP}}/paltabs/PAL_tabs.html PAL section]
 of the Plugins Library, including a
 [{{#var:PrP}}/paltabs/pal-quickguide/index.html quick reference guide] and
-[http://protege.stanford.edu/plugins/paltabs/pal-documentation/index.htm comprehensive documentation].
+[{{#var:PrP}}/paltabs/pal-documentation/index.htm comprehensive documentation].
 </div>

@@ Line 30: / Line 30: @@
 in the [http://protege.stanford.edu/plugins/paltabs/PAL_tabs.html PAL section]
 of the Plugins Library, including a
-[http://protege.stanford.edu/plugins/paltabs/pal-quickguide/index.html quick reference guide] and
+[{{#var:PrP}}/paltabs/pal-quickguide/index.html quick reference guide] and
 [http://protege.stanford.edu/plugins/paltabs/pal-documentation/index.htm comprehensive documentation].
 </div>

@@ Line 28: / Line 28: @@
 Information about constraints can be found
-in the [http://protege.stanford.edu/plugins/paltabs/PAL_tabs.html|PAL section]
+in the [http://protege.stanford.edu/plugins/paltabs/PAL_tabs.html PAL section]
 of the Plugins Library, including a
-[http://protege.stanford.edu/plugins/paltabs/pal-quickguide/index.html|quick reference guide] and
+[http://protege.stanford.edu/plugins/paltabs/pal-quickguide/index.html quick reference guide] and
-[http://protege.stanford.edu/plugins/paltabs/pal-documentation/index.htm|comprehensive documentation].
+[http://protege.stanford.edu/plugins/paltabs/pal-documentation/index.htm comprehensive documentation].
 </div>

@@ Line 31: / Line 31: @@
 of the Plugins Library,
 including a [http://protege.stanford.edu/plugins/paltabs/pal-quickguide/index.html|
-              quick reference guide]]
+              quick reference guide]
 and [http://protege.stanford.edu/plugins/paltabs/pal-documentation/index.htm|
       comprehensive documentation].

@@ Line 12: / Line 12: @@
 nor does it help in relating the slot values of different instances of a class.
-For example,
+For example, in the newspaper project,
 one might want to state that editors should have a higher salary
 than the employees for whom they are responsible

@@ Line 4: / Line 4: @@
 {{PrF_UG_TOC_classes}}<div id='prf_ug'>
-{{#var:PrF}} builds relationships (e.g.,
+{{#var:PrF}} builds relationships
-between classes and instances,
+(e.g., between classes and instances, slots and slot facets).
-slots and slot facets).
+However, these relationships may be insufficient to capture all the constraints
-However,
+that hold among the frames of the knowledge base.
-these relationships may be insufficient to capture all the constraints that hold among the frames of the knowledge base.
+Typically, {{#var:PrF}} does not offer a way of relating the values
-Typically, {{#var:PrF}} does not offer a way of relating the values of different slots attached to a given class,
+of different slots attached to a given class,
 nor does it help in relating the slot values of different instances of a class.
 For example,
 in the newspaper project,
-one might want to state that editors should have a higher salary than the employees for whom they are responsible (i.e.,
+one might want to state that editors should have a higher salary
-a constraint that involves the <b>Editor</b> and <b>Employee</b> classes and the <b>salary</b> and <b>responsible_for</b> slots).
+than the employees for whom they are responsible
-The {{#var:Pr}} Axiom Language
+The {{#var:Pr}} Axiom Language (PAL)
-(PAL)
+extends the {{#var:PrF}} knowledge modeling environment with support
-extends the {{#var:PrF}} knowledge modeling environment with support for writing and storing logical constraints and queries about frames in a knowledge base.
+for writing and storing logical constraints and queries about frames in a knowledge base.
-PAL is a plugin toolset that comprises engines for checking constraints and running queries on knowledge bases,
+PAL is a plugin toolset that comprises engines for checking constraints
 as well as a set of useful user interface components.
-PAL's primary purpose is to support the definition of arbitrary logical constraints on the frames of a knowledge base.
+PAL's primary purpose is to support the definition of arbitrary logical constraints
-Information about constraints can be found in the
+Information about constraints can be found
-[[PrF_UG_|PAL section]]
+in the [[PrF_UG_|PAL section]] of the Plugins Library,
-of the Plugins Library,
+including a [[PrF_UG_|quick reference guide]]
-including a
+and [[PrF_UG_|comprehensive documentation]].
 </div>