Re: owl:allValuesFrom inference

Hi,

Let me take this opportunity to point (again) to Sean's excellent set  
of OWL examples at [1].

Really helpful if you're new to/confused by OWL DL stuff.

-Rinke

[1] http://owl.man.ac.uk/2005/07/sssw/


On 25 jun 2009, at 15:56, Sean Bechhofer wrote:

>
> On 25 Jun 2009, at 12:30, Sean Bechhofer wrote:
>
>>
>> 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.
>
> <cough> Someone (thanks Peter :-) has pointed out to me that I'm  
> wrong here. The triples above create an owl:Restriction, and then  
> give it a name, which is not quite how I interpreted it. Note that  
> this actually pushes you into OWL Full, as you're not allowed to  
> name a restrictions in OWL DL.
>
>> In M/cr syntax, it's saying:
>>
>> Class: ThingMadeByMan
>>  SubClassOf:
>>    madeBy some Man
>
>
> The counterpart to the M/cr syntax I gave above would actually be  
> something like:
>
> ex:ThingMadeByMan
>   owl:equivalentClass [
>   a owl:Restriction ;
>   owl:onProperty ex:madeBy ;
>   owl:someValuesFrom ex:Man.].
>
> e.g. stating that ThingMadeByMan is equivalent to the appropriate  
> restriction.
>
> As an aside, this also illustrates how easy it is (well, for me at  
> least, anyway :-) to get confused by OWL represented as triples. I'd  
> say it's much easier to see what's going on in an OWL (DL) model if  
> it's presented using something like M/cr syntax.
>
> Cheers,
>
> 	Sean
>
> --
> Sean Bechhofer
> School of Computer Science
> University of Manchester
> sean.bechhofer@manchester.ac.uk
> http://www.cs.manchester.ac.uk/people/bechhofer
>
>
>



---
Drs Rinke Hoekstra

Leibniz Center for Law      |  AI Department
Faculty of Law              |  Faculty of Sciences
Universiteit van Amsterdam  |  Vrije Universiteit
Kloveniersburgwal 48        |  De Boelelaan 1081a
1012 CX  Amsterdam          |  1081 HV Amsterdam
+31-(0)20-5253499           |  +31-(0)20-5987752
hoekstra@uva.nl             |  hoekstra@few.vu.nl

Homepage: http://www.leibnizcenter.org/users/rinke

Received on Monday, 29 June 2009 11:54:26 UTC