W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2009

Rationales for OWL 2 new features

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 29 Apr 2009 14:57:32 -0400 (EDT)
Message-Id: <20090429.145732.146478625.pfps@research.bell-labs.com>
To: cgolbrei@gmail.com
Cc: public-owl-wg@w3.org, ewallace@cme.nist.gov
Several new features that were not in the initial list of new features
have been added to NF&R recently to make NF&R comprehensive.
Unfortunately, this highlights the fact that these new features do not
have the same level of rationale as the other new features.

These new features are:
- data range boolean combinations
- datatype definitions
- annotation property axioms (subproperty, domain, range)
- top and bottom properties
- anonymous individuals
- inverse properties

None of these features have the same level of rationale as the initial
list of new features but some of them have some rationale in NF&R.  The
WG should probably ensure that each of these features does have an
adequate rationale in NF&R.

My suggestion is that whoever was behind each of these features (You
should remember who you are!) should be responsible for determining
whether the rationale in NF&R is adequate and producing a message to the
WG so indicating or producing some rationale to put in NF&R.  It would
be best if these rationales were not technical rationales.


PS:  Here are my initial thoughts on which of these features have
adequate rationale:

 data range boolean combinations	no - no rationale or example
 datatype definitions			no - no rationale or example
 annotation property axioms		no - except for subproperty
 top and bottom properties		no - no rationale or example
 anonymous individuals			maybe - technical argument
 inverse properties			maybe - technical argument
Received on Wednesday, 29 April 2009 18:57:36 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:58 UTC