RE: Proposed response to Hugh WInkler - allDisjoint

> ACTION: Add text to Guide re disjoint classes and pointer to test.

So, I am cleaning up my mail and noticed that I have not
yet done this.  Assuming it is still on my TODO list,
I propose the simplest thing I can imagine, adding an additional
paragraph at the end of section 5.3:

 [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/proposedByIssue#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 ***

Received on Thursday, 23 October 2003 16:43:19 UTC