Re: Universal Property from Bijan Parsia on 2008-01-18 (public-owl-wg@w3.org from January 2008)

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Fri, 18 Jan 2008 14:29:30 +0000
To: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
Cc: Uli Sattler <sattler@cs.man.ac.uk>, "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>
Message-Id: <F991234B-F226-4BAC-A76A-3F3D99D78F96@cs.man.ac.uk>

So, would a concrete proposal that we'd introduce a "owl:RoleThing"  
that is the superrole of all other roles? If so, for symmetry we  
should introduce the owl:RoleNothing (ok, better names, please!)  
(which would be easily definable by disjointness with owl:RoleThing).

Aside from expressivity benefits, this would be really nice for  
editors, IDEs, and debugging. I've had requests for unsatisfiable  
role checking and lots of people want a "top" role, if just for JTree  
nice layoutness.

Cheers,
Bijan.

Received on Friday, 18 January 2008 14:27:47 UTC