Základy ontologií 17 - Primitivní, definované a komplexní třídy

Třídy v ontologiích je možné definovat pomocí operací, které využívají vlastností nebo vztahům k jiným třídám a individuálům. Na základě použití těchto operací a charakteru omezení (definovaného těmito operacemi) se rozlišují dva základní typy tříd

• třídy definované, pro které jsou specifikovány podmínky nutnosti¹ i postačitelnosti²,
  
• třídy primitivní (popsané), u kterých jsou definovány jen nutné podmínky. Primitivní třídy tvoří tzv. primitivní kostru ontologie (primitive skeleton).
  

Tzv. komplexní třídy (mohou být popsané i definované) vznikají pomocí základních množinových operací – průnik (intersection), sjednocení (union) a doplněk (complement). Operace je možné různě kombinovat, propojovat a aplikovat také na individuály .

Průnik

<owl:Class
rdf:about="Ski_resort">

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf
rdf:parseType="Collection">

<rdf:Description
rdf:about="Place_with_skiing_activities"/>

<rdf:Description
rdf:about="Resort"/>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

Sjednocení

<owl:Class rdf:about="Resort">

<owl:equivalentClass>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="Summer_resort"/>

<rdf:Description rdf:about="Winter_resort"/>

</owl:unionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

Kombinace doplňku a průniku

<owl:Class
rdf:about="Summer_resort">

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf
rdf:parseType="Collection">

<rdf:Description
rdf:about="Resort"/>

<owl:Class>

<owl:complementOf
rdf:resource="Place_with_skiing_activities"/>

</owl:Class>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

</owl:Class>

1Tvrzení A je nutnou podmínkou pro jiné tvrzení B, jestliže B platí jen tehdy, pokud platí A. Jinými slovy B implikuje A. Pouze postačující podmínka se vyjadřuje opačnou implikací (A implikuje B).

2Nutná i postačující podmínka se vyjadřuje ekvivalencí – A a B jsou ekvivalentní (A implikuje B a B implikuje A).