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

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb
Received on Tuesday, 6 May 2003 11:44:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT