W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > January 2003

summary of changes to semantics doc

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 17 Jan 2003 00:33:04 -0800
Message-Id: <p05111b00ba4d6a2e34df@[10.0.100.254]>
To: w3c-rdfcore-wg@w3.org, bwm@hplb.hpl.hp.com

Peter was right in noting that a vital condition had been left out of 
the RDFS semantics, this being that ICEXT(I(rdfs:Literal)) should be 
a subset of LV. This has now been fixed; also,  any recognised 
datatype must be a subclass of rdfs:Literal.

Typed literals with language tags are now handled by the semantic equations.

Rule rdfs11 has been renamed rdfD0c and moved to the datatype 
section. Also two new rules rdfD0a/b have been added to handle 
language tags in typed literals.

The rules rdf3a/b for handling XML literals have been rewritten to 
handle the bug noticed by Jan. (The result is kind of ugly, but it is 
correct and this way I didn't need to rewrite all the recursion 
lemmas; and there is a remark to the effect that this could be 
replaced by a canonicalization operation provided that it is applied 
to antecedents and consequents; similar comments have been added to 
the discussion of datatype normalization in section 4.3)

The Lbase axioms for datatyped literal handling have been largely 
rewritten and a few other of the axioms revised in the light of 
Graham's observation. The newer ones are a little longer but more 
obviously in correspondence to the model theory. The axioms now have 
an explicit predicate for describing language tags, as suggested by 
Peter.

Ive added the term 'token' to the glossary.

------

Pat


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola               			(850)202 4440   fax
FL 32501            				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Monday, 20 January 2003 00:11:28 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:55:23 EDT