[Pellet-users] Pellet doesn't respect non-simple roles in number restriction prohibition

[Bijan Parsia]

Only noticed because FaCT++ does :)

This was using Protege 4, build 63(?).

Easy to test:

Make P transitive.

A = P exactly 2.

Cheers,
Bijan.