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

Another URI nitpick :-), the URI for xsd integer is:

    http://www.w3.org/2001/XMLSchema#integer

More seriously, in your proposal can you have a Con:

    <Con iri="http://jena.hpl.hp.com/example/myiri" />

i.e. an IRI but no type attribute?

Dave