Inferred Data Property showing in DL Query but not as Yellow Cell on Editor

[danielbakas]

Description

Declaring a data property EquivalentTo assertion with a literal explicit value not working as expected.

Context

This is a gist of a very simple ontology that can be loaded to test the issue: https://gist.github.com/danielbakas/b9142873d1ca8c4f4b987c53a6e918c4

In this ontology I declare:

• Test: A class
• data_value: A data property
• object_value: An object property
• One: An individual instance of Test
• Two: An empty individual

In this ontology I also declare:

• Test EquivalentTo data_value value 1
• Test EquivalentTo object_value value Two
• One rdf:type Test
• data_value rdf:range owl:real

Specs

• OS: macOS Ventura 13.1
• Protegé: v5.6.0
• HermiT: v1.4.3.456

Expected

When running HermiT reasoner, two inferred assertions should be visible in yellow for the One instance:

• object_value value Two
• data_value value 1

Also, DL Query should show the instance One for the query data_value value 1.

Actual

When running HermiT reasoner, only one inferred assertion is visible in yellow for the One instance:

• object_value value Two

Curiously enough, the DL Query query shows that the instance One has the assertion data_value value 1.

The issue seems to be related directly with the editor not showing the data property inferred assertion.

Additional Information

I first discovered this on a larger ontology and I tried with different datatypes, and many different approaches without luck.

Conclusion

Thank you so very much for reading thus far, and I really look forward to your response 🥳🙏🏽🌱