[TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192

I updated the CORE document for the multisorted approach,
also creating a fresh CORE directory for the four sections,
employing shorter names for the wiki files (Action 192):

http://www.w3.org/2005/rules/wg/wiki/CORE

This multisorted approach deals with uniform constants (Con),
which can, e.g., be refined to what was called Ind and Data in

http://www.w3.org/2005/rules/wg/wiki/A.1.1_Basis%3A_Positive_Conditions_
over_Bipartitioned_Constants

Individuals (which may themselves be webized) and data can be
typed using webized sorts.

A base dialect using only the unattributed Con can be extended
to a dialect differentiating individuals and data with a 'type'
attribute as illustrated by the following example (Action 186):

The untyped

<Con>6</Con>

can be typed in an Ind-like manner, where '6' is regarded as
the individual with IRI http://en.wikipedia.org/wiki/6_(number):

<Con type="http://en.wikipedia.org/wiki/Perfect_number"
     iri="http://en.wikipedia.org/wiki/6_(number)">6</Con>

or (using an empty Con element)

<Con type="http://en.wikipedia.org/wiki/Perfect_number"
     iri="http://en.wikipedia.org/wiki/6_(number)"/>

It can also be typed in a Data-like manner:

<Con type="http://www.w3.org/TR/xmlschema-2/#integer">6</Con>

-- Harold

Received on Monday, 11 December 2006 00:48:15 UTC