idmp
idmp copied to clipboard
Potentially vicious "circular" restrictions
As of f210bb0 IDMPO contains 17 OWL restrictions patterns like the one below:
- SPOR data classification rdfs:subClassOf SPORControlledVocabularyTerm
- SPORControlledVocabularyTerm has SPOR visibility exactly 1 SPOR data classification
[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.