semantics new edit

A new version of the Semantics is now available, incorporating some extended prose and discussion, using lots of pretty pictures, to motivate the handling of entailment involving shared blank nodes, and to clarify the treatment of datatype entailments. 

In addition, a number of minor edits and corrections have been made, and the overall section organization revized, following Antoine's suggestions. 

The actual technical content has not been changed, so reviewers of the previous draft need only approve the cosmetic and explanatory sections. 

It is possible that some of this material should be in Concepts rather than Semantics. 

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, 17 June 2013 08:29:02 UTC