Link to current text
F.7:9.1 - (a) Class-order comparison
| Comparison or use | Exact source-local entries | Obtaining relations | Loss and boundary | Basis | Conclusion |
| Explain two class-order notations | OWL 2 SubClassOf; FPF U.SubtypeRelation claim | An explicit representation or semantic relation, if established for the selected expressions | OWL profile semantics and FPF kind criteria may differ | C.3, C.29, A.6.3.RT, and cited sources | Use one didactic gloss only within the stated notation comparison; do not include FCA order by resemblance. |