W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: Inverse roles

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 8 May 2003 18:36:59 +0100
Message-ID: <16058.38331.183570.644649@galahad.cs.man.ac.uk>
To: Sean Bechhofer <seanb@cs.man.ac.uk>
Cc: www-webont-wg@w3.org

On May 6, Sean Bechhofer writes:
> 
> 
> Can I confirm that I'm right in thinking that one cannot use "role
> expressions" in OWL DL/Lite, i.e. I can't say things like (playing fast
> and loose with syntax):
> 
>   Person AND all (inverseOf hasParent) Doctor
> 
> but instead would have to define a new role
> 
>   hasChild == inverseOf hasParent
> 
> and then use that role.
> 
> (Note that I'm quite happy *not* being able to do this as it makes the
> data models much simpler....).

It seems to me that this is true because there are is no inverse
property constructor in the abstract syntax. Pity.

Ian

> 
> 	Sean
> 
> -- 
> Sean Bechhofer
> seanb@cs.man.ac.uk
> http://www.cs.man.ac.uk/~seanb
> 
Received on Thursday, 8 May 2003 13:27:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT