Re: some x has only y

>> However, while this gets arround the problems with the a-box
>> approach, this
>> has introduced a new named class with a necesarily ugly name.
>
> Is it? Do you need the name? Not in OWL. You can write:
>
> 	causes some "karaoke singing experience < "beer drinking experience"
>
> directly.

Doesn't this imply that every "karaoke singing experience" is caused by a
"beer drinking experience"? So, let's say that sometimes karaoke is caused
by being polite to visitors. Something more like this would seem to be
closer:

  intersection(causes some "karaoke singing experience" "beer drinking
experience") < OWL:Thing

I don't know how to get statements like this into Protege, although the
xml encoding is obvious.

> Cheers,
> Bijan.


Matthew