Re: Modeling large scale ontologies in OWL: Unmet needs

Hello David,

I think you are referring to the lack of qualified cardinality  
restrictions (http://www.w3.org/2001/sw/BestPractices/OEP/QCR/)

The proposed OWL 1.1 includes them and  should shortly (in the next  
few months) be supported by the major OWL reasoners, including  
Pellet, and FaCT++ (and hence Protege).

OWL 1.1 is described at http://owl1_1.cs.manchester.ac.uk/. In the  
overview search for SROIQ.

There is an OWL workshop coming up: http://owl-workshop.man.ac.uk/ 
OWLWorkshop06.html
Perhaps you should consider attending.

Let me know if I've misunderstood.

Regards,
Alan