W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2008

Re: some x has only y

From: Matthew Pocock <matthew.pocock@ncl.ac.uk>
Date: Thu, 13 Mar 2008 13:54:03 -0000 (GMT)
Message-ID: <37483.128.240.229.3.1205416443.squirrel@webmail.ncl.ac.uk>
To: "Bijan Parsia" <bparsia@cs.man.ac.uk>
Cc: "Matthew Pocock" <matthew.pocock@ncl.ac.uk>, public-owl-dev@w3.org

>> 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
Received on Thursday, 13 March 2008 13:54:54 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT