Re: symbol space short names

Michael Kifer wrote:
> I just became aware of the existence of "short names" for symbol spaces in DTB,
> which was added without discussion and makes no sense. What is it, what is the
> logical status of that beast, and why were they introduced?

It was discussed.

The short names are just a vehicle for the naming-convention of the 
guard and negative predicates, because we cannot "encode" the full 
datatype-IRI in the guard predicate name.

An earlier version of DTB didn't use shortnames, but was trying to 
define the nameing convention for guards in terms of the "trailing 
NCNAME" of the datatype-IRI.

In fact, this naming convention was discussed at the last f2f (browse ab 
bit down after
http://www.w3.org/2005/rules/wg/meeting/2009-04-16#datatype_IRIs_etc_break__2d_in)


I had proposed a different naming convention for guards, i.e. using a 
binfary predicate that uses the datatype itself as pred. name i.e.:

DATAYPEIRI( value, true)

for the positive guard and

DATAYPEIRI( value, false)

for the negative guard.

That isn't as readable, but doesn require shortnames for the datatypes.
Anyways, this proposal didn;t find a majority.

the short names aren't used for anything else but for the guards.

Axel



-- 
Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland, 
Galway
email: axel.polleres@deri.org  url: http://www.polleres.net/

Received on Monday, 18 May 2009 00:44:45 UTC