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

Re: owl:allValuesFrom inference

From: Bernhard Schandl <bernhard.schandl@univie.ac.at>
Date: Thu, 25 Jun 2009 12:12:26 +0200
Cc: Owl Dev <public-owl-dev@w3.org>
Message-Id: <6CB1BAB9-E52A-4C0C-9664-651390FBB413@univie.ac.at>
To: Uli Sattler <sattler@cs.man.ac.uk>

> What you want to say is that *if something is madeby a Man (and  
> possibly by some other things), then this something is a  
> ThingMadeByMan.


> So there direction of the implication needs to go the other way  
> round an you need existential (someValues) restriction... in  
> Manchester Syntax:
> Class: ThingMadeByMan
>   EquivalentTo:
>     madeBy some Man

I'm not too familiar with Manchester Syntax, is this equivalent to (n3):

    a owl:Restriction ;
    owl:onProperty ex:madeBy ;
    owl:someValuesFrom ex:Man ;

... because I tried this one, but stil the implication

> This axiom together with your 2 assertions above about Bart and  
> Something should then imply that Something is ThingMadeByMan

is not derived by Pellet. :-(

Also I wonder what a reasoner can actually infer from  
owl:someValuesFrom -- as far as I can tell from the spec [1] it can  
actually only be used to check the consistency of a model, but not to  
infer new facts, since the reasoner cannot decide which of the  
(possibly many) values of the property is an instance of the specified  
class. Am I missing something here?

Best, Bernhard
Received on Thursday, 25 June 2009 10:13:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:18 UTC