W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2009

Re: class-specific inverse

From: Evren Sirin <evren@clarkparsia.com>
Date: Tue, 2 Jun 2009 09:25:02 -0400
Message-ID: <cbf390380906020625j2a4e5792y3029b4d42a49aa9e@mail.gmail.com>
To: Ivan Herman <ivan@w3.org>
Cc: Rinke Hoekstra <hoekstra@uva.nl>, Lee Feigenbaum <lee@thefigtrees.net>, Uli Sattler <sattler@cs.man.ac.uk>, public-owl-dev@w3.org
On Tue, Jun 2, 2009 at 8:47 AM, Ivan Herman <ivan@w3.org> wrote:
> This looks like a nice and cute solution...
> Pity it cannot be expressed in OWL 2 RL (RL does not have a self
> restriction...). Oh well, one cannot get it all...

No worries, there are more in the bag of modeling tricks :) Instead of
self restrictions, we can use a has value restriction which is allowed
in OWL 2 RL and add one more property into the property chain. So the
axioms we need to would look like this:

:Book rdfs:subClassOf [ a owl:Restriction ; owl:hasValue :book ;
owl:onProperty :isBook ] .

:publishesBook owl:propertyChainAxiom ( [owl:inverseOf :publishedBy]
:isBook [owl:inverseOf :isBook] ) .

We ended up defining an additional individual :book to make this work
in OWL 2 RL but that's it.

Received on Tuesday, 2 June 2009 13:26:01 UTC

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