search

HefesT / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

sub-role of object top role causes exception #52

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
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

Original issue reported on code.google.com by mlevin@svarnetics.org on 3 Dec 2012 at 9:21