TopBraid Composer 6.1.1 provides by default the owl:differentFrom built-in property in the context menu for properties on individuals. owl:differentFrom is defined as a symmetric property but isn't fired during reasoning with the OWL 2 RL profile. Is that a limitation of the FE edition or do we have to enable another option in the inference pipeline to create the corresponding statements?
Marco -- --- Marco Neumann KONA -- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CABWJn4Sp4At2kXAs23y4e%3DHcb3pStsoAGTfuq6jfN5LYo%2BuV4g%40mail.gmail.com.
