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.