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.>
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

  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.

Received on Thursday, 13 March 2008 13:54:54 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:16 UTC