WOWG: Proposed test cases for qualified cardinality constraints

I attach test cases for the qualified cardinality constraints which we have
agreed are not part of OWL.

I ask that the chairs schedule time in a telecon to discuss the following
proposal:

I propose:

[[[

The WebOnt WG:
- approves the error test cases showing that qualified cardinality
constraints are not part of OWL.
- actions Dan Connolly to arrange a test repository on the http://www.w3.org
site
- actions Dan Connolly to arrange direct CVS access for appropriate members
of the test focus area to that repository
- actions Jeremy Carroll to update the repository to include the approved
qualified cardinality constraint test cases.

Moreover, the WG assigns to the test focus area responsibility for
maintaining the approved test cases in light of future changes made to OWL
by the WG (for example, the assignment of an appropriate namespace).

]]]

Jeremy


For convenience I show error001.owl inline here, with a blow-by-blow
breakdown (in **s):

***START BOILER PLATE***





*** For now we use the DAML+OIL namespace,
   this is separated out here for easy maintenance
   when the WG agrees on the OWL namespace URI.
   Of course, this means that right now this test case
   is actually false. This is a legal DAML+OIL document!
***
http://www.daml.org/2001/03/daml+oil#">
]>

http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:eg="http://example.org/"
         xmlns:owl="&owl;"
    >

*** A minimal example, that is legal DAML+OIL but not legal OWL. ***

   
      
      
   






*** END ***

error002 is just like error001 but with a max cardinality constraint.
error003 is just like error001 but with a min cardinality constraint.