Hello, everyone. I tested this with TBC versions 2.5.3 & 2.6.2, and the behavior is the same.
There are 2 classes: Male and Female. Male is asserted to be disjoint with Female. Once I assert the Male to Female disjointedness relation, TBC automatically infers a Female to Male disjointedness relation, as expected. It does not yet appear in the Inference panel, which is also expected. After I run the Pellet inference engine, the Female to Male disjointedness relation appears in the Inference panel, as expected. Here's where it becomes problematic. Once I reset the inferences, the inferred Female to Male disjointedness relation disappears both from the Female Class Form and the Inference panel, as expected. Unfortunately, when I re-run the Pellet inference engine the Female to Male disjointedness relation appears neither in the Female Class Form nor the Inference panel, which is not expected. The aforementioned inferrence is "lost". I'd appreciate your feedback. Regards, Anthony --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
