Possibly obsolete triples with inverse properties

[mereolog]

As of f210bb0 IDMPO contains almost 300 triples that fall under the schema given by this SPARQL query:

SELECT DISTINCT *
WHERE
{
    ?resource1 ?predicate ?resource2.
    ?predicate owl:inverseOf ?inversePredicate.
    ?resource2 ?inversePredicate ?resource1.
}
ORDER BY ?predicate ?resource1 ?resource2

The full list can be accessed here: possible_obsolete_triples_with_inverse_properties.xlsx

Given our problems with reasoning performance we may want to review them to verify that all of them are indeed needed as examples of the class-level descriptions.

[tw-osthus]

The reasoner must infer the inverted properties anyway. So I expect that an explicit assertion should not have an impact on reasoning performance.

Not asserting them explicitly may lead to some hygiene test warnings.

---

Von: Pawel Garbacz @.> Gesendet: Montag, 15. April 2024 17:27 An: edmcouncil/idmp @.> Cc: Thomas Weber @.>; Assign @.> Betreff: [edmcouncil/idmp] Possibly obsolete triples with inverse properties (Issue #576)

As of f210bb0https://github.com/edmcouncil/idmp/commit/f210bb016f82fcac83485812b2b2f643f892c871 IDMPO contains almost 300 triples that fall under the schema given by this SPARQL query:

SELECT DISTINCT * WHERE { ?resource1 ?predicate ?resource2. ?predicate owl:inverseOf ?inversePredicate. ?resource2 ?inversePredicate ?resource1. } ORDER BY ?predicate ?resource1 ?resource2

The full list can be accessed here: possible_obsolete_triples_with_inverse_properties.xlsxhttps://github.com/edmcouncil/idmp/files/14981091/possible_obsolete_triples_with_inverse_properties.xlsx

Given our problems with reasoning performance we may want to review them to verify that all of them are indeed needed as examples of the class-level descriptions.

— Reply to this email directly, view it on GitHubhttps://github.com/edmcouncil/idmp/issues/576, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AOYDGFCW2VWDJV5TNG4WXZ3Y5PWXVAVCNFSM6AAAAABGHS4VVSVHI2DSMVQWIX3LMV43ASLTON2WKOZSGI2DGOJXGQZTAMI. You are receiving this because you were assigned.Message ID: @.***>