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

Re: owl:allValuesFrom inference

From: Sean Bechhofer <sean.bechhofer@manchester.ac.uk>
Date: Mon, 29 Jun 2009 13:05:48 +0100
Cc: Bernhard Schandl <bernhard.schandl@univie.ac.at>, Uli Sattler <sattler@cs.man.ac.uk>, Owl Dev <public-owl-dev@w3.org>
Message-Id: <6BE44DF7-B12A-4D19-9967-F46D30C7004A@manchester.ac.uk>
To: Rinke Hoekstra <hoekstra@uva.nl>

On 29 Jun 2009, at 12:53, Rinke Hoekstra wrote:

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

Thanks for the plug Rinke! There is also a slightly updated version  
[2]. Note that is all OWL 1 -- I will hopefully get round to including  
some OWL 2 content......

And not a triple in sight :-)

	Sean

[2] http://owl.cs.manchester.ac.uk/2008/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
>
>
>
>
>
>

--
Sean Bechhofer
School of Computer Science
University of Manchester
sean.bechhofer@manchester.ac.uk
http://www.cs.manchester.ac.uk/people/bechhofer
Received on Monday, 29 June 2009 12:06:25 GMT

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