idmp icon indicating copy to clipboard operation
idmp copied to clipboard

Potentially vicious "circular" restrictions

Open mereolog opened this issue 10 months ago • 3 comments

As of f210bb0 IDMPO contains 17 OWL restrictions patterns like the one below:

[see: possibly_vicous_circular_restrictions.xlsx]

Since such circularity may "confuse" a reasoner and given our problems with reasoning performance we may want to review them to verify that all of them correspond to an adequate conceptualisation of the domain.

mereolog avatar Apr 15 '24 15:04 mereolog