fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 106315–106320

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:05:06 UTC

F.3:12.5 - OWL 2

SubClassOf. Claim: every instance of one class is an instance of another. Counterexample: rdf:type relates an individual to a class.

EquivalentClasses. Claim: two class expressions have the same instances under the OWL semantics. Counterexample: owl:sameAs is individual identity.