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]
<mailto:[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.
