very good Holger, that's it. works for me. thank you Marco
On Mon, Aug 5, 2019 at 12:54 AM Holger Knublauch <[email protected]> wrote: > Yes, there is a configuration. The issue here is that owl:differentFrom is > only declared to be owl:SymmetricProperty in the RDF/OWL system triples, > and those are not included in the inferences by default. You can include > those into the inferencing process if you go to Inference > Configure > Inferencing and then add the RDF/OWL system triples as shown. You will then > see various additional inferences. > > Alternatively, add the owl:differentFrom rdf:type owl:SymmetricProperty > triple into your ontologies. > > HTH > Holger > > > On 4/08/2019 19:18, Marco Neumann wrote: > > 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 > <https://groups.google.com/d/msgid/topbraid-users/CABWJn4Sp4At2kXAs23y4e%3DHcb3pStsoAGTfuq6jfN5LYo%2BuV4g%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > -- > 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/4dbe2d1b-eb6f-f511-4b3e-fadba592e9f9%40topquadrant.com > <https://groups.google.com/d/msgid/topbraid-users/4dbe2d1b-eb6f-f511-4b3e-fadba592e9f9%40topquadrant.com?utm_medium=email&utm_source=footer> > . > -- --- 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/CABWJn4Qz5Y7_s07deLKF%3DLi3Xcmho04jh95an5scVthXbG8RNA%40mail.gmail.com.
