Closed NicolasRouquette closed 2 months ago
The description bundle closure is incorrect in case we have link assertions involving the inverse of relations like base:isContainedBy.
base:isContainedBy
Such links need to be taken into account for computing accurate max cardinality restrictions.
A proper fix should use the reasoner to calculate such restrictions. This PR involves a simple fix that accounts for inverse relation link assertions.
The description bundle closure is incorrect in case we have link assertions involving the inverse of relations like
base:isContainedBy.Such links need to be taken into account for computing accurate max cardinality restrictions.
A proper fix should use the reasoner to calculate such restrictions. This PR involves a simple fix that accounts for inverse relation link assertions.