W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

RE: Proposed response to Hugh WInkler - allDisjoint

From: Jim Hendler <hendler@cs.umd.edu>
Date: Mon, 27 Oct 2003 18:06:29 -0500
Message-Id: <p05200f2abbc354a28e3c@[129.2.177.83]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, "Smith, Michael K" <michael.smith@eds.com>, <www-webont-wg@w3.org>

At 15:03 +0100 10/27/03, Jeremy Carroll wrote:
>Looks fine to me, except the URL will change once the test is approved ...
>
>Jeremy

OK, I've been thinking about this for a bit, and I'm still not happy. 
We had 3 LC comments about all Disjoint, a long discussion about it, 
aand it arose again during CR -- and all we ended up doing is not 
much.  The problem is this -- we refer people to a test case -- but 
can anyone reading that test case see how to apply the solution to 
their own problem?    let me make that a real, instead of rhetorical, 
comments -- Guide Editors -- take a look at the proposed test case 
and see if you feel comfortable that someone reading the Guide, who 
gets directed to this as the solution to allDisjoint would see how to 
apply it to some other problem (i.e. would be able to cut and paste 
and get it right)??   If you feel in good conscience that this test 
is enough, than I'm okay sending this response --- otherwise, I'd 
sure like someone to write up a description of how to do this (a 
paragraph or two would be fine) and include that with a pointer to 
the example -- would strengthen Guide on what is clearly an important 
issue (since it has come up 4 times).
  thanks
  JH


>
>
>>
>>   [EXISTING] As the number of mutually disjoint classes
>>   grows, the number of disjointness assertions grows proportionally to
>>   n<sup>2</sup>.  However, in the use cases we have seen, n is typically
>>   small.
>>
>>   [ADD] When n is large, alternate approaches can be used to avoid
>>   an exponential growth in the number of assertions.
>>   One such method is illustrated in the
>>   <a
>>  href="http://www.w3.org/TR/2003/CR-owl-test-20030818/proposedByIss
>>  ue#I5.21-0
>>  02">
>>   OWL test suite</a>.
>>
>>  - Mike
>>
>>  Michael K. Smith, Ph.D., P.E.
>>  EDS - Austin Innovation Centre
>>  98 San Jacinto, #500
>>  Austin, TX  78701
>>
>>  phone: +01-512-404-6683
>>  email: michael.smith@eds.com
>>
>>
>>  -----Original Message-----
>>  From: Smith, Michael K
>>  Sent: Monday, September 22, 2003 4:47 PM
>>  To: 'Jim Hendler'; Jeremy Carroll; www-webont-wg@w3.org
>>  Subject: RE: Proposed response to Hugh WInkler - allDisjoint
>>
>>
>>  Will do.  But not for a few days.
>>
>>  ACTION: Add text to Guide re disjoint classes and pointer to test.
>>
>>  - Mike
>>
>>  Michael K. Smith, Ph.D., P.E.
>>  EDS - Austin Innovation Centre
>>  98 San Jacinto, #500
>>  Austin, TX  78701
>>
>>  phone: +01-512-404-6683
>>  email: michael.smith@eds.com
>>
>>
>>  -----Original Message-----
>>  From: Jim Hendler [mailto:hendler@cs.umd.edu]
>>  Sent: Monday, September 22, 2003 6:35 AM
>>  To: Jeremy Carroll; www-webont-wg@w3.org
>>  Subject: Re: Proposed response to Hugh WInkler - allDisjoint
>>
>>
>>
>>  At 12:40 PM +0300 9/22/03, Jeremy Carroll wrote:
>>  >Mike Smith
>>  >>  1. There is problem with the Guide text as it is.  It notes the most
>>  >>  na´ve approach to creating disjoint classes, which is O(n^2).
>>  >
>>  >How about simply pointing to the test case. e.g.
>>  >
>>  >After:
>>  >  "However, in the use cases we have seen, n is typically small. "
>>  >
>>  >Add:
>>  >[[
>>  >When n is large,
>>  >an <a href="??">example</a> in [OWL Test Cases] shows a
>>  >possible more efficient encoding.
>>  >]]
>>  >
>>  >The current URI for the example is:
>>  >http://www.w3.org/TR/2003/CR-owl-test-20030818/proposedByIssue#I5.21-002
>>  >
>>  >on approval this will become
>>  >
>>  >http://www.w3.org/TR/owl-test/byIssue#I5.21-002
>>  >
>>  >Jeremy
>>
>>
>>  I still think we need to actually describe the solution, not just
>>  point at the test -- Mike, how about putting a paragraph of
>>  description (take it from Ian's email or work with him to get it
>>  written) describing what to do - something like
>>
>>  "When n is large, an alternate encoding can be used.  In this case, ..."
>>  etc.
>>
>>  For some reason I thought we had agreed to do this when I withdrew my
>>  objection to not adding allDisjoint, but I cannot find the record of
>>  that - so now I ask again.  Also, we should have something in Ref
>>  that points back to this section of Guide or has a discussion there.
>>    -JH
>>
>>
>>
>>  --
>>  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 ***
>>

-- 
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 Monday, 27 October 2003 18:06:33 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT