owl:differentFrom in TopBraid Composer 6.1.1 with OWL 2 RL profile

[Marco Neumann]

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

[Holger Knublauch]

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

--
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 topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/CABWJn4Sp4At2kXAs23y4e%3DHcb3pStsoAGTfuq6jfN5LYo%2BuV4g%40mail.gmail.com.

[Marco Neumann]

very good Holger, that's it. works for me.

thank you

Marco

To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/4dbe2d1b-eb6f-f511-4b3e-fadba592e9f9%40topquadrant.com.