Re: oneOf (2.4)

At 1:21 PM -0500 9/11/02, Dan Connolly wrote:
>On Wed, 2002-09-11 at 11:50, Ian Horrocks wrote:
>>  On September 9, Dan Connolly writes:
>  > > On Sun, 2002-09-08 at 14:38, Ian Horrocks wrote:
>[[snip]]
>
>Yes, it's not clear that the improvement justifies the cost
>of the change... raising an issue and all that...
>
>Hmm... we already have a related issue...
>
>http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I2.4-Enumerated-Classes
>
>but we closed it. The name is ironic, no?
>
>Meanwhile, the ink isn't dry on the tests... Jim H. has
>an action to make them.
>http://lists.w3.org/Archives/Public/www-webont-wg/2002Jul/0276.html

Hmm, that ACTION fell off the list, and I'd be happy to pass it on to 
someone else - I'm falling behind in my actions...

>
>Given that we're still working out some of the details of
>this issue, I wouldn't mind changing the name while we're at it.

In fact, in passing it on, someone could suggest the name change as 
part of the closing of the issue and then write the test case -- I 
would be happy to consider this a "friendly ammendment" -

In fact,we have a real use case where the user was confused about oneOf  -

given:
<daml:Class rdf:ID="SensingMechanismType">
    <daml:oneOf rdf:parseType="daml:collection">
	<SensingMechanismType rdf:ID="ElectricMagnetic"/>
	<SensingMechanismType rdf:ID="Mechanical"/>
	<SensingMechanismType rdf:ID="Biological"/>
	<SensingMechanismType rdf:ID="Chemical"/>
	<SensingMechanismType rdf:ID="Radioactive"/>
	<SensingMechanismType rdf:ID="Cyber"/>
	<SensingMechanismType rdf:ID="Other"/>
    </daml:oneOf>
  </daml:Class>

and an objectType property called sensingMechanism that was 
restricted to SensingMechanismType (but had no cardinality 
restriction)

he assumed it was an error to have

:Sensor1 a :sensor;
    sensingMechanism :Biological;
    sensingMechanism :Chemical.

which is actually just fine - I believe

<owl:Class rdf:ID="SensingMechanismType">
    <owl:enumeration rdf:parseType="daml:collection"> ... </owl:class>

would not have caused this misconception.



-- 
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-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Wednesday, 11 September 2002 17:00:10 UTC