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

Inverse roles

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Tue, 6 May 2003 16:41:03 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
Message-ID: <Pine.WNT.4.44.0305061634510.2084-100000@potato>

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 Bechhofer
Received on Tuesday, 6 May 2003 11:44:31 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC