- From: Aldo Gangemi <aldo.gangemi@cnr.it>
- Date: Sun, 16 Aug 2009 01:28:21 +0200
- To: Toby Inkster <tai@g5n.co.uk>
- Cc: Aldo Gangemi <aldo.gangemi@cnr.it>, Simon Reinhardt <simon.reinhardt@koeln.de>, public-lod@w3.org
Awesome indeed, but the two solutions are not equivalent, because
owl:propertyChainAxiom is a regular implication (a sufficient
condition to conclude barter:wants, but not its inverse), while your
N3 looks like you want an equivalence axiom (both the sufficient
condition and its inverse).
Aldo
Il giorno 14/ago/09, alle ore 18:40, Toby Inkster ha scritto:
> On Fri, 2009-08-14 at 18:12 +0200, Simon Reinhardt wrote:
>> barter:wants owl:propertyChainAxiom (gr:seeks gr:includesObject
>> gr:typeOfGood) .
>
> owl:propertyChainAxiom = awesome.
>
> I really need to take a closer look at OWL2. Without knowing
> about owl:propertyChainAxiom, I would have suggested N3:
>
> {
> ?person gr:seeks ?off .
> ?off gr:includesObject ?obj .
> ?obj gr:typeOfGood ?product .
> }
> => { ?person barter:wants ?product . } ;
> <= { ?person barter:wants ?product . } .
>
> --
> Toby A Inkster
> <mailto:mail@tobyinkster.co.uk>
> <http://tobyinkster.co.uk>
>
>
_____________________________________
Aldo Gangemi
Senior Researcher
Semantic Technology Lab (STLab)
Institute for Cognitive Science and Technology,
National Research Council (ISTC-CNR)
Via Nomentana 56, 00161, Roma, Italy
Tel: +390644161535
Fax: +390644161513
aldo.gangemi@cnr.it
http://www.stlab.istc.cnr.it
http://www.istc.cnr.it/createhtml.php?nbr=71
skype aldogangemi
Received on Saturday, 15 August 2009 23:28:06 UTC