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

Boley, Harold wrote:

> 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):

You mean http://en.wikipedia.org/wiki/Number_6 (same below),
correct?

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


-- 
Hassan Aït-Kaci
ILOG, Inc. - Product Division R&D
tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com