Základy ontologií 21 - Kardinalita

Ontologické systémy jsou schopné pracovat také s kardinalitou (mohutností) jednotlivých prvků. Jinými slovy kromě existence (kvantifikátory) je možné uvádět také počet prvků vyskytujících se v rámci nějaké vlastnosti.
Ontologie využívají tři základní typy omezení kardinality:

• Minimální počet prvků – příkladem může být tvrzení, že lyžařské středisko musí ležet minimálně v jednom státu. Toto omezení, které umožňuje zápis i přeshraničních resortů je možné zapsat pomocí následujícího kódu
  

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

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:onClass rdf:resource="Country"/>

<owl:minQualifiedCardinality
rdf:datatype="&xsd;nonNegativeInteger">1</owl:minQualifiedCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

• Maximální počet prvků – na druhou stranu třída Region (myšleno správní celek konkrétní stylu ve smyslu krajů České republiky) nemůže být přeshraniční. Proto by jeho přítomnost v ontologii měla být omezena seshora.
  

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

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:onClass rdf:resource="Country"/>

<owl:maxQualifiedCardinality
rdf:datatype="&xsd;nonNegativeInteger">1</owl:maxQualifiedCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>

• Přesný počet prvků – předchozí příklad není zcela korektní, protože region leží sice maximálně v jednom státě, ale zároveň musí ležet i minimálně v jednom státě. Toto omezení by se dalo vyřešit kombinací obou výše zmíněných restrikcí počtu prvků. Tato technika se používá například v případech, kdy je zapotřebí zajistit, aby hodnota byla v nějakém intervalu. Předchozí příklad však můžeme popsat pomocí podmínky – region leží právě v jednom státu.
  

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

<owl:equivalentClass>

<owl:Restriction>

<owl:onProperty
rdf:resource="is_located_in"/>

<owl:onClass rdf:resource="Country"/>

<owl:qualifiedCardinality
rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>

</owl:Restriction>

</owl:equivalentClass>

</owl:Class>