RE: Proposed response to Hugh WInkler - allDisjoint

Looks fine to me, except the URL will change once the test is approved ...

Jeremy


>
>  [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 ***
>

Received on Monday, 27 October 2003 09:04:16 UTC