S&AS typo hasValue

The rule for hasValue in section 5 of S&AS has a typo.

specifically
<x,y>in EXTI(SI(owl:hasValue))) 

 y in IOC union IDC

is incorrect.

Jeremy

Received on Monday, 30 June 2003 02:53:25 UTC