negative object properties assertions

[A B]

Hello

I try to use HermiT in Protégé for a simple case.

I have define two Object Properties which are the Inverse Of each other : R1 and R2.

I have an instance C which is NOT related to T with R1.

I am surprized that HermiT does not infere that T is NOT related to C with R2.

Did I miss something ? Thanks for your help.

[Ignazio Palmisano]

On Tue, 4 Jan 2022, 16:16 A B, <kourl...@gmail.com> wrote:

Hello

I try to use HermiT in Protégé for a simple case.

I have define two Object Properties which are the Inverse Of each other : R1 and R2.

I have an instance C which is NOT related to T with R1.

I am surprized that HermiT does not infere that T is NOT related to C with R2.

Hi, 

If T and C aren't asserted to be related but do not belong to classes outside the domain/range of R1/R2, open world assumption means the reasoner cannot know if a relationship exists but wasn't asserted in the ontology.

Cheers,

Ignazio

Did I miss something ? Thanks for your help.

--
You received this message because you are subscribed to the Google Groups "HermiT Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to hermit-users...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/hermit-users/eb4f70da-51b3-4b74-a13e-adc24c25adabn%40googlegroups.com.

[A B]

Hi. Thanks for your answer. I understand that my question was not clear enough. Actually, there is an assertion in the ontology :  C is NOT related to T with R1. So I expected that  HermiT inferes that T is NOT related to C with R2. I don't see it in Protege.  Thanks for your help.