- From: Sean Bechhofer <sean.bechhofer@manchester.ac.uk>
- Date: Mon, 29 Jun 2009 13:05:48 +0100
- To: Rinke Hoekstra <hoekstra@uva.nl>
- Cc: Bernhard Schandl <bernhard.schandl@univie.ac.at>, Uli Sattler <sattler@cs.man.ac.uk>, Owl Dev <public-owl-dev@w3.org>
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 UTC