Review OWL 2 MT Semantics Document

Hi all,

I've read and commented the Model-Theoretic Semantics document http://www.w3.org/2007/OWL/wiki/Semantics 
  ; please find attached a summary. I'm open for discussions.

Thomas

+ 
------------------------------------------------------------------------+
|  Dr Thomas Schneider                             
schneider@cs.man.ac.uk |
|  School of Computer Science          http://www.cs.man.ac.uk/ 
~schneidt |
|  Kilburn Building, Room 2.114                    phone +44 161  
2756136 |
|  University of  
Manchester                                              |
|  Oxford Road                                               _/// 
_       |
|  Manchester M13 9PL                                         
(o~o)       |
+-------------------------------------------------------oOOO--(_)-- 
OOOo--+

Glentaggart (n.)
A particular type of tartan hold-all, made exclusively under licence for
British Airways.
When waiting to collect your luggage from an airport conveyor belt, you
will notice that on the next conveyor belt along there is always a
single, solitary bag going round and round uncollected. This is a
glentaggart, which has been placed there by the baggage-handling staff
to take your mind off the fact that your own luggage will shortly be
landing in Murmansk.

                    Douglas Adams, John Lloyd: The Deeper Meaning of  
Liff