New draft of Semantics

The latest draft has some editorial changes which I hope are improvements. The most significant is that the rather rebarbative "-D-" terminology, such as "rdfs-D-entailment", has been replaced by wording using the word "recognize", so it speaks of for example "RDFS entailment recognizing D", where the qualification is optional. I think this is less technojargonish, and it fits with the 'recognized datatype IRI' terminology.

Thanks to Markus Lanthaler, the bibliography is now complete. 

Pat

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Monday, 20 May 2013 08:05:37 UTC