owl:allValuesFrom inference

From: Bernhard Schandl <bernhard.schandl@univie.ac.at> Date: Thu, 25 Jun 2009 11:38:47 +0200 Message-Id: <BD5DE47F-BE02-4E33-9B5D-2654F255F471@univie.ac.at> To: public-owl-dev@w3.org · This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:57 GMT

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