- From: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
- Date: Fri, 18 Jan 2008 16:41:46 +0100 (CET)
- To: Conrad Bock <conrad.bock@nist.gov>
- Cc: 'Bijan Parsia' <bparsia@cs.man.ac.uk>, 'Uli Sattler' <sattler@cs.man.ac.uk>, "'Web Ontology Language ((OWL)) Working Group WG'" <public-owl-wg@w3.org>
On Fri, 18 Jan 2008, Conrad Bock wrote: > > 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. It is in SQOIQ, but didn't make it into OWL 1.1. No idea, why. greetings, Carsten -- * Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden * * Office phone:++49 351 46339171 mailto:lutz@tcs.inf.tu-dresden.de *
Received on Friday, 18 January 2008 15:41:58 UTC