Re: Inverse roles

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
>