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 ***Received on Thursday, 6 November 2003 07:44:57 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT