Re: owl:allValuesFrom inference

On 25 Jun 2009, at 11:12, Bernhard Schandl wrote:

> Hi,
>
>> 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.
>
> exactly.
>
>> 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):
>
> ex:ThingMadeByMan
>    a owl:Restriction ;
>    owl:onProperty ex:madeBy ;
>    owl:someValuesFrom ex:Man ;
> .

No. The N3 above is only asserting *subclass* here. In M/cr syntax,  
it's saying:

Class: ThingMadeByMan
   SubClassOf:
     madeBy some Man

So any instance of ThingMadeByMan must be madeBy some Man, but there  
could be things which are madeBy some Man which are *not* instances  
of ThingMadeByMan. So the inference that you want to draw doesn't  
follow (and the reasoner is behaving itself :-).

	Sean

--
Sean Bechhofer
School of Computer Science
University of Manchester
sean.bechhofer@manchester.ac.uk
http://www.cs.manchester.ac.uk/people/bechhofer