From: Jerome Euzenat <Jerome.Euzenat@inrialpes.fr>
Date: Wed, 4 Sep 2002 10:45:54 +0200
Message-Id: <a05111b03b99b782b29fc@[194.199.20.189]>

Cc: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>, dlm@KSL.Stanford.EDU
```
Dear all,

I has just minor comments on the language itself:

2.1.4: OWL Lite cardinality

I think that this depends on the policy:
- having a minimal set of primitives (but then why cardinality and
FunctionalProperty)
- providing no-brainer restrictions for the user of OWL-Lite.

I take the second standpoint: It is very difficult to refrain
fram using (cardinality 3). If you look at the combonatorics of these
primitives, we can provide 3 values for each min and max cardinality
(NOVAL, O and 1). This generates 9 possiblities (and I do not count
cardinality).
Of these only 4 are useful:
- (maxcard 0 || maxcard 0 && mincard 0)
[0 Ø] EMPTY // alg. nothing
- (maxcard 1 && mincard 1)
[1 1] SINGLE(TON) // alg. X
- (maxcard 1 || mincard 0 && maxcard 1)
[0 1] FUNCTIONAL // alg. X?
- (mincard 1)
[1 +inf] NONEMPTY // alg. X+
- (mincard 0 || VOID)
[0 +inf] NOINFO [this is useless] // alg. X*
- (mincar 1 && maxcard 0)
INC [this is an error] // alg. does not exist

Retaining, empty, single, functional, nonempty as four primitives
replacing maxcard, mincard and card would strongly reduce the risk of
errors from the user standpoint:
- by avoiding cardinality 4
- by avoiding the use of multiple expressions (meaningful: mincard 0
&& maxcard 1 or meaningless: maxcard 0 && mincard 1).
- more generally by requiring at most one keyword for expressing any
meaningful property!
It would not put additional burden on the implementers.
Only the documentation developers will have a bit more work.

I would be greatly in favour of this solution.

3.6, DublinCore and Version info:
leave the room open to any kind of metadata here. I mean:
- not just Dublin Core;
- not just RCS id, and not just as a string but as a structured object as well.

Please if you want to yell at me, leave me in copy since I am
not recipicent of this mailing list.

--
Jérôme Euzenat                  __
/      /\
INRIA Rhône-Alpes,            _/  _   _   _ _    _
/_) | ` / ) | \ \  /_)
655, avenue de l'Europe,    (___/___(_/_/  / /_(_________________
Montbonnot St Martin,       /        http://www.inrialpes.fr/exmo
38334 Saint-Ismier cedex,  /          Jerome.Euzenat@inrialpes.fr
France____________________/                Jerome.Euzenat@free.fr
```
Received on Wednesday, 4 September 2002 04:52:04 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:28 UTC