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.ukhttp://www.cs.man.ac.uk/~seanb