[DTB] Action 681 completed

In completion of Action 681,
   http://www.w3.org/2005/rules/wg/track/actions/681
I drafted two new predicates

isLiteralOfType

and

isLiteralOfType


Note (also an editor's note in the document):
  I assumed the second argument of isLiteralOfType to be a rif:iri at 
the moment. As we defined a datatype identifier just as a unicode string 
representing an IRI in the definition of symbol spaces, it might be 
better to restrict the domain of the second argument to strings, yes? 
Moreover, I think by dropping the specific guard predicates, we can get 
rid of the definition of short names for symbol spaces as well.


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, 2 February 2009 11:17:29 UTC