sub-role of object top role causes exception

[Dmitry Tsarkov]

Original issue 52 created by dtsarkov on 2012-12-03T21:21:55.000Z:

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

<b>What is the expected output? What do you see instead?</b> 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.

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

<b>Please provide any additional information below.</b> Thank you