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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT