středa 30. dubna 2014

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 nutnosti1 i postačitelnosti2,
  • 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).

Žádné komentáře:

Okomentovat