W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2008

RE: Universal Property

From: Conrad Bock <conrad.bock@nist.gov>
Date: Fri, 18 Jan 2008 10:34:53 -0500
To: "'Bijan Parsia'" <bparsia@cs.man.ac.uk>, "'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: <375a01c859e7$abcee6c0$b3200681@MEL.NIST.GOV> 

Bijan, et al,

 > 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.

+1.  I thought this was in SROIQ already.

Conrad
Received on Friday, 18 January 2008 15:35:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 18 January 2008 15:35:24 GMT