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

Re: Revisiting AllDisjoint (was Proposed (parital) response to Ken Laskey and questions for WG)

From: Jim Hendler <hendler@cs.umd.edu>
Date: Tue, 15 Jul 2003 19:31:43 -0400
Message-Id: <p05200f72bb3a3de60f79@[10.0.0.229]>
To: "Jonathan Borden" <jonathan@openhealth.org>, "webont" <www-webont-wg@w3.org>
At 7:04 PM -0400 7/15/03, Jonathan Borden wrote:
>Re: Revisiting AllDisjoint (was Proposed (parital) resOk, fair enough. I
>have no real opposition to AllDisjoint in any case. Its just that we've
>decided to trash other features (e.g. QCRs and structured datatypes) which
>aren't mere optimisations. But in all fairness the fact that I am concerned
>that we may not have made the ideal choice in the past doesn't mean I should
>object to our making the correct choice at this time. *

Jon-
  FWIW the reason I'm willing to consider this one is that we have 
already worked out the syntactic details and parsers/implementors 
will already need to handle something very similar -- i.e. we have

<owl:AllDifferent>   <owl:distinctMembers rdf:parseType="Collection"> 
<Opera rdf:about="#Don_Giovanni"/>     <Opera 
rdf:about="#Nozze_di_Figaro"/>     <Opera 
rdf:about="#Cosi_fan_tutte"/>     <Opera rdf:about="#Tosca"/> 
<Opera rdf:about="#Turandot"/>     <Opera rdf:about="#Salome"/> 
</owl:distinctMembers> </owl:AllDifferent>


and I would propose this one would be

<owl:AllDisjoint>
  <owl:distinctMembers rdf:parseType="Collection>
    <Taxa rdf:about="#Amphisbaenians">
    <Taxa rdf:about="#Sauria">
    <Taxa rdf:about="#Serpentes">
    <Taxa rdf:about="#Testudines">
    <Taxa rdf:about="#Crocodylia">
    <Taxa rdf:about="#Rhynchocephalia">
   </owl:distinctMembers>
</owl:AllDisjoint>

so it really is not breaking new ground or making a major semantic 
change, and we already set the precedent for worrying about the N^2 
growth of these things when we decided that we needed this for 
allDifferent (and the evidence in that case was a list of about 100 
users - so the scale is, in fact, at least similar).  We ruled out 
adding "allSame" or the like because they didn't have the n^2 growth, 
but this one does.
  -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 Tuesday, 15 July 2003 19:31:49 GMT

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