FullSemanticsNamedIndividuals

From OWL
Jump to: navigation, search

Goto OWL 2 Full Semantics Page


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.

Named Individuals

Syntax

 x rdf:type owl:NamedIndividual

Semantics

owl:NamedIndividual has the same class extension than owl:Thing, i.e. the set of all individuals.

Axiomatic Triples:

 owl:NamedIndividual rdf:type rdfs:Class

Entry in "Parts" table:

 CEXT_I(S_I(owl:NamedIndividual)) = IOT

Considerations


Goto OWL 2 Full Semantics Page