Syntax Question

Folks,

If Qualified Cardinality Constraints were part of OWL, what would they look like in the Abstract Syntax?  Something like this, maybe?

class(Human partial
   restriction(hasParent cardinality(2) Human))

(Don't ask).

--- Stephen

Received on Thursday, 2 December 2004 21:30:36 UTC