F.16:12.1 - OWL class and FCA formal concept
Situation and claim. A product catalogue uses an OWL class named Pump and an FCA formal concept with a similar label. The example asks whether their covered products may be compared for one catalogue query.
Recover both exact local claims. State the actual relation, if any, between their extensions for this data set and the difference between OWL subclass semantics and FCA lattice order. A small comparison table may display the evidence and limits. Similar labels and table co-placement do not establish identity or class inclusion.