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

Thanks, Dave (and Hassan, again). I answer below through the
revised and expanded example.

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/Number_6:

<Con type="http://en.wikipedia.org/wiki/Perfect_number"
     iri="http://en.wikipedia.org/wiki/Number_6">6</Con>

or (using an empty Con element)

<Con type="http://en.wikipedia.org/wiki/Perfect_number"
     iri="http://en.wikipedia.org/wiki/Number_6"/>

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

<Con type="http://www.w3.org/2001/XMLSchema#integer">6</Con>

Omitting the 'type' attribute can be regarded as specifying the
appropriate 'root' type: a "primitive", arrow, or boolean sort
(http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive,
section "Multisorted Extensions of the RIF Core").

The "primitive" sort is the root as used in order-sorted logics
(often called Any) and description logics (in OWL called Thing).

So, the untyped

<Con>6</Con>

can be regarded as specifying the owl:Thing root type
(cf. http://www.w3.org/TR/owl-semantics/rdfs.html#5.2)

<Con type="http://...owl#Thing">6</Con>

This default type can also be assumed for IRI'zed individuals.

So, the untyped, webized

<Con iri="http://en.wikipedia.org/wiki/Number_6"/>

can be regarded as specifying

<Con type="http://...owl#Thing"
     iri="http://en.wikipedia.org/wiki/Number_6"/>

-- Harold
 

-----Original Message-----
From: Dave Reynolds [mailto:der@hplb.hpl.hp.com] 
Sent: Monday, December 11, 2006 5:05 AM
To: Boley, Harold
Cc: RIF WG
Subject: 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

Received on Monday, 11 December 2006 16:16:38 UTC