owl:allValuesFrom inference

Hi,

I have a question regarding OWL DL inference. Given the following axiom,

    ex:ThingMadeByMan
       a owl:Restriction ;
       owl:onProperty ex:madeBy ;
       owl:allValuesFrom ex:Man ;
    .

and the following assertions,

    ex:Bart a ex:Man .
    ex:Something ex:madeby ex:Bart .

is there a way to enfore a reasoner to infer the following?

    ex:Something a ex:ThingMadeByMan .


I was not able to produce this triple using the Pellet reasoner, and I  
would be thankful for any hints. Probably I am missing some  
constraints that I should add to the tbox?

Best,
Bernhard

Received on Thursday, 25 June 2009 09:39:23 UTC