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

RE: Universal Property

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>
Message-id: <Pine.LNX.4.64.0801181641200.24427@frege.inf.tu-dresden.de>

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 GMT

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