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

Re: owl:allValuesFrom inference

From: Pat Hayes <phayes@ihmc.us>
Date: Thu, 25 Jun 2009 09:32:41 -0500
Cc: Owl Dev <public-owl-dev@w3.org>
Message-Id: <532F430B-91F8-4CB9-AEC9-21AB5D6D3628@ihmc.us>
To: Bernhard Schandl <bernhard.schandl@univie.ac.at>

On Jun 25, 2009, at 4:38 AM, Bernhard Schandl wrote:

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

That does not follow from what you have written. Here's a  
counterexample:

Something madeBy Bart
Something madeBy Jane

with Jane not in the class Man. This satisfies all your assumptions,  
but Something is not in the class ThingMadeByMan.

There are several ways you could extend your axioms to fix this. One  
way would be to rule out Janes by saying that madeBy was functional,  
It would then follow, in this example, that Jane sameAs Bart. Or you  
could change allValuesFrom to someValuesFrom in your definition of  
ThingMadeByMan.

Pat Hayes


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

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Thursday, 25 June 2009 14:33:54 GMT

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