- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 6 Nov 2003 15:17:49 +0000
- To: Jim Hendler <hendler@cs.umd.edu>
- Cc: webont <www-webont-wg@w3.org>
On November 6, Jim Hendler writes:
> 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/
>
I added a pointer to the proposal. There were already pointers to
sections 3.1 and 5.2 where the changes have been made (and where they
are highlighted in red).
Ian
> 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 ***<!doctype html public "-//W3C//DTD W3 HTML//EN">
> <html><head><style type="text/css"><!--
> blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
> --></style><title>Re: MINUES: Teleconference revised Oct 30,
> 2003.</title></head><body>
> <div>At 11:54 +0000 11/6/03, Ian Horrocks wrote:</div>
> <div>>On November 1, Smith, Michael K writes:<br>
> >><br>
> >> MINUTES: Teleconference Web Ontology Working Group<br>
> >> Oct 30, 2003, 1200 (East US), 0900 (West US). 1700
> (London)<br>
> >> Revised 1 Nov 2003.<br>
> >><br>
> ><br>
> >...<br>
> ><br>
> >> ACTION IanH: to write up proposal/rationale for change in<br>
> >> semantics of
> ontology consistency<br>
> ><br>
> >Done. See [1].<br>
> ><br>
> >Ian<br>
> ><br>
> >[1] http://www.cs.man.ac.uk/~horrocks/owl/semantics/</div>
> <div><br></div>
> <div>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</div>
> <div><br></div>
> <div># [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.</div>
> <div><br></div>
> <div>as the only recent change, but that doesn't seem to be a
> proposal/rationale</div>
> <div><br></div>
> <x-sigsep><pre>--
> </pre></x-sigsep>
> <div>Professor James Hendler<x-tab>
> </x-tab><x-tab>
> </x-tab><x-tab>
> </x-tab><x-tab> </x-tab>
> hendler@cs.umd.edu<br>
> Director, Semantic Web and Agent
> Technologies<x-tab> </x-tab>
> 301-405-2696<br>
> Maryland Information and Network Dynamics Lab.<x-tab>
> </x-tab> 301-405-6707 (Fax)<br>
> Univ of Maryland, College Park, MD 20742<x-tab>
> </x-tab> *** 240-277-3388 (Cell)<br>
> http://www.cs.umd.edu/users/hendler ***
> NOTE CHANGED CELL NUMBER ***</div>
> </body>
> </html>
Received on Thursday, 6 November 2003 10:21:04 UTC