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@...
http://www.cs.manchester.ac.uk/people/bechhofer
