W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2010

Re: All humans love (all) cats

From: Pavel Klinov <pklinov@cs.man.ac.uk>
Date: Sat, 2 Oct 2010 16:02:01 +0100
Message-ID: <AANLkTin60C80owWhgsZqpXTFrVpR+NMdmna46CGJV9og@mail.gmail.com>
To: Cristian Cocos <cristi@ieee.org>
Cc: public-owl-dev@w3.org
On Sat, Oct 2, 2010 at 3:27 PM, Cristian Cocos <cristi@ieee.org> wrote:
>> SubObjectPropertyOf( ObjectPropertyChain( ex:pHuman owl:topObjectProperty
>> ex:pCat ) ex:love)
> "Loves" would now be a sub-relation of the composite "pHuman o ThingxThing o
> pCat," is that so?

It is a *super* relation of the chain. The whole idea is to connect an
*arbitrary* human to an *arbitrary* cat by some, possible composite,
role (which in this case is "pHuman o ThingxThing o pCat," and in the
Markus' solution is "pHuman o inverse of pCat"). Once it's done OWL 2
allows you to say that such a chain implies role you need (in this
case "loves").

> It certainly makes sense, though I feel rather miffed by the fact that such
> a simple and mundane-looking FOL statement requires such an excruciatingly
> complicated workaround in order to be represented in OWL2.

I'll leave it to others to comment on :)

>Would I not run
> into problems with a reasoner such as Pellet, now that I've resorted to this
> type of rendering?

It depends on what you mean by problems. Pellet will certainly handle
it but will have to use an appropriate completion strategy (which may
have an impact of performance but it depends on what else you have in
your KB).


> Many thanks,
> C

Received on Saturday, 2 October 2010 15:02:34 UTC

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