Has Key Constraint Component

A key violation - two distinct named instances of a class, or of its subclasses, share a value for every property in the class's owl.hasKey, within the evaluated scope. The focus node is one instance and the value the other; no shape is named, since a key is a class axiom. OWL 2 would infer that the two are the same individual, but two declared instances are distinct under a closed-world check, so it is a violation. SHACL has no counterpart.