W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2009

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
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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:57 GMT