refined taxonomy of flow, added relational quality voltage

[cmllezr]

Refined flow rates taxonomy

[github-actions]

PMDco Quality Check

Auto-added annotations

No annotations were auto-added.

Hygiene issues

No issues found — all terms conform.

[joergwa]

Thanks for the update!

The OWL DL profile validator has detected an issue related to the use of cardinality restrictions.

In short: cardinality restrictions can only be applied to simple properties. But, has part is not a simple property because it is transitive.

The problem is that cardinalities on transitive properties become ambiguous after reasoning. For example, if:

A has part B
B has part C

then, due to transitivity, a reasoner will infer that A also has part C.

As a result, an axiom such as A max 1 has_part is no longer valid, because after reasoning A has both B and C as parts, violating the maximum cardinality restriction.

[cmllezr]

@joergwa I have just fixed it by changing "has part" to "has member". In the axiom, it is important to differentiate between these two parts/members, so I didn't want to simplify it too much. Funny enough, running Hermit in Protege didn't complain about cardinality :)