What steps will reproduce the problem? ReasoningKernel k; TDLObjectRoleExpression* role1 = k.getExpressionManager()->ObjectRole("role1"); TDLObjectRoleExpression* role2 = k.getExpressionManager()->ObjectRoleTop(); k.impliesORoles(role1, role2); k.isKBConsistent(); //throws exception

What is the expected output? What do you see instead? Declaring that a role is a sub-role of a top object role should be a noop, instead, it causes an exception later during reasoning.

What version of the product are you using? On what operating system? 1.6.1 (previous versions behave the same), Ubuntu x64

Please provide any additional information below. Thank you