Inverse roles

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....).

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb