The OWL 2 Full semantics of Named Individual declarations.
The class owl:NamedIndividual is new to OWL 2. It is used for declaring named (in contrast to anonymous) individuals in OWL 2 DL. In OWL 2 Full, named individual axioms simply provide an alternative way to state that a given entity is an individual.
Note: In OWL Full it cannot be avoided to have "named" individual axioms with a bNode on the LHS.
x rdf:type owl:NamedIndividual
owl:NamedIndividual has the same class extension than owl:Thing, i.e. the set of all individuals.
owl:NamedIndividual rdf:type rdfs:Class
Entry in "Parts" table:
CEXT_I(S_I(owl:NamedIndividual)) = IOT