Closed stap-m closed 1 month ago
I can confirm this bug and found a second, related one:
Both classes have has role
axioms and we extended the domain of has role
to energy or 'independent continuant'
. Does that cause the problem?
That would also be my guess.
I think, we can solve it by the import of #1794 , adding the inverse object properties and giving 'role of' the domain 'role' and range 'continuant' (model is a continuant). Thus, we can specify which bearer each role has.
waits for #1838
Description of the issue
mathematical model
is currently inferred as subclass ofenergy
, which is a bug, obviously.Ideas of solution
tbd
Workflow checklist
I am aware that