PROPOSAL to close ISSUE-68

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Thu, 13 Dec 2007 11:27:22 -0500 (EST)
• To: public-owl-wg@w3.org
• Message-Id: <20071213.112722.157384801.pfps@research.bell-labs.com>

ISSUE-68 has to do with a nonmonotonicity in the mapping rules for
qualified cardinality restrictions.  As pointed out in several places
this can be alleviated by using the DAML+OIL solution of having a
different property for qualified cardinalities.

I thus propose using 

owl:minCardinalityQ
owl:maxCardinalityQ
owl:cardinalityQ

just as in DAML+OIL and close the issue with this change.  

Peter F. Patel-Schneider
Bell Labs Research

PS:  Just about any name could be used, but this one has historical
     antecedents. 

Received on Thursday, 13 December 2007 16:47:07 UTC