Removed all the universal restrictions linking units to quantities via their dimensionality (as well as all subclasses under PhysicsDimension) to save time for the reasoner.
With this, we can no longer use the reasoner to check if the right unit is used as a measure of a quantity. Such checking is now left to external tools. To aid them, we provide the dimensionality information via the new physicalDimension annotation property.
Summary of changes:
removed all restrictions from quantities and units with hasPhysicsDimension
removed all subclasses under PhysicsDimension
added new annotation property physicalDimension
added physicalDimension annotations to all quantities and units
added an extra comment to PhysicsDimension explaining the former solution and why it was removed
I converted this pull request to a draft, since the emmocheck tool now fails, since it check for the dimensionality restrictions that are now gone. I will updated the tool...
Removed all the universal restrictions linking units to quantities via their dimensionality (as well as all subclasses under PhysicsDimension) to save time for the reasoner.
With this, we can no longer use the reasoner to check if the right unit is used as a measure of a quantity. Such checking is now left to external tools. To aid them, we provide the dimensionality information via the new physicalDimension annotation property.
Summary of changes: