Handling Nominals and Inverse Roles using Algebraic Reasoning

Open in new window