Closed Classes

Created on March 11, 2013, 11:30 p.m. by Hevok & updated by Hevok on May 2, 2013, 5:33 p.m.

The Closed Classes or Nominals are defined by enumerating their Members. owl:oneOf is used to denote this. For example one has AI defined as a Class and one has two Artificial Intelligences. One is EVA which is an AI and the other is Cabal which is also an AI. Then one defines another Class which is AI Online and one states which AIs are online.

With Description Logic this simple Fact can be stated by saying that AIOnline is a Class which is a Subclass of enumerated Class or Nominal where one enumerates all the Individuals that belong to this Class and they are in curly braces.

:AI a owl:Class ;
:EVA a :AI .
:Cabal a :AI .
:AIOnline a owl:Class :
    owl:oneOf
    (:EVA,
     :Cabal) .

DL:

AIOnline ⊑ {EVA, Cabal}

• This says that there are only two AIs available online.

Tags: enumeration, members, nominals
Categories: Concept
Parent: OWL Class

Update entry (Admin) | See changes

---

Back to top

---