Re: class-specific inverse

On Tue, Jun 2, 2009 at 8:47 AM, Ivan Herman <ivan@...> 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.

Cheers,
Evren