Issue: Feature decision for compliance level 1: local range
restrictions
Description:
Compliance level 1 – a subset of the full owl language – needs a
decision concerning local range restrictions. The last proposal
included no local range construct.
The choices as detailed in [4] below are:
The choices are (for Level 1 compliance)
1 - no kind of local range restriction. the rationale for this is
because choosing 2 or 3 below makes adding the other one hard and it is
not clear which is most useful. Putting both in violated the goal of
maintaining simplicity. I had more to say on this in [1] and the
embedded message and so did Frank in [2]. This is representationally
impoverished choice.
2 - Universally qualified local range restrictions. (this allows me to
say that all my children are doctors). This alone is not hard to
explain or implement but makes adding 3 harder to implement. Ian has
more to say on this in [3] and I have more to say on this in [1] (to
which Ian responded with [3]). This is a choice that some limited
expressive power systems have made such as CLASSIC.
3 - Existentially qualified local range restrictions. (this allows me
to say that some of my children are doctors). This alone is not hard
to explain or implement but makes adding 2 harder to implement. More
details in [1, 2, 3].
4 - both universally qualified and existentially qualified local range
restrictions. (this allows me to say that all my children are persons
and I have some child who is a doctor and some child who is a
lawyer). This is harder to implement and thus could mean some tool
developers will not do it. Most expressive DLs make this choice.
One note, if cardinality is to be added, some kind of local range
restriction would be important to add.
Raised by: Deborah McGuinness
Date: May 22, 2002
Status: Raised
Reference:
[1] http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0351.html
[2] http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0380.html
[3] http://lists.w3.org/Archives/Public/www-webont-wg/2002Apr/0357.html
[4] http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0006.html
--
Deborah L. McGuinness
Knowledge Systems Laboratory
Gates Computer Science Building, 2A Room 241
Stanford University, Stanford, CA 94305-9020
email: dlm@ksl.stanford.edu
URL: http://ksl.stanford.edu/people/dlm
(voice) 650 723 9770 (stanford fax) 650 725 5850 (computer fax)
801 705 0941