- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 8 May 2003 18:36:59 +0100
- 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 UTC