owl:allValuesFrom inference

• From: Bernhard Schandl <bernhard.schandl@univie.ac.at>
• Date: Thu, 25 Jun 2009 11:38:47 +0200
• To: public-owl-dev@w3.org
• Message-Id: <BD5DE47F-BE02-4E33-9B5D-2654F255F471@univie.ac.at>

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