Re: MINUES: Teleconference revised Oct 30, 2003.

At 11:54 +0000 11/6/03, Ian Horrocks wrote:
>On November 1, Smith, Michael K writes:
>>
>>  MINUTES: Teleconference Web Ontology Working Group
>>  Oct 30, 2003, 1200 (East US), 0900 (West US). 1700 (London)
>>  Revised 1 Nov 2003.
>>
>
>...
>
>>  ACTION IanH: to write up proposal/rationale for change in
>>         semantics of ontology consistency
>
>Done. See [1].
>
>Ian
>
>[1] http://www.cs.man.ac.uk/~horrocks/owl/semantics/

Is that the right pointer?   If so, perhaps you could be a little 
more specific?  A pointer to the entire semantics document makes it 
hard to find the rationale -- I tried, but don't see it - the change 
log notes

#  [6 November 2003] In response to a decision of the working group 
http://lists.w3.org/Archives/Public/www-webont-wg/2003Nov/0000.html, 
added the condition that EC(owl:Thing) must be nonempty in Section 
3.1 and that IOT must be nonempty in Section 5.2.

as the only recent change, but that doesn't seem to be a proposal/rationale

-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***