More general cardinalities
I first read this as (1) supporting a richer set of cardinalities for template parameters (not just 1
, +
, ?
, *
), but now I understand it as (2) additional syntax for cardinality restrictions for OWL class axioms?
I think (1) is a valid request: We could allow template parameter cardinalities to be specified as a range, and define the existing set (listed above) as just abbreviations for 1..1
, 1..*
, 0..1
and 0..*
.