Web Ontology Language (OWL)

Web Ontology Language OWL rozšiřuje RDF a RDFS. Jeho hlavním cílem je přinést výrazovou sílu a možnosti odvozování deskripční logiky na sémantický web. Bohužel ne vše z RDF lze vyjádřit v DL. Například třídy tříd nejsou v (zvolené) DL povoleny a některé výrazy trojic by v DL nedávaly smysl. Proto může být OWL pouze syntaktickým rozšířením RDF/RDFS (všimněte si, že RDFS je jak syntaktickým, tak sémantickým rozšířením RDF). Aby se tento problém částečně překonal a zároveň se umožnilo vrstvení v rámci OWL, jsou definovány tři varianty OWL.

OWL Lite lze použít k vyjádření taxonomie a jednoduchých omezení, jako je kardinalita 0 a 1. Je to nejjednodušší jazyk OWL a odpovídá deskripční logice SHIF. OWL DL podporuje maximální výrazovou sílu při zachování výpočetní úplnosti a rozhodnutelnosti. Zkratka DL v názvu ukazuje, že má podporovat schopnosti deskripční logiky. OWL DL odpovídá deskripční logice SHOIN. OWL Full nemá žádná omezení výrazové síly, ale zároveň negarantuje žádné výpočetní vlastnosti. Je tvořen celým slovníkem OWL, ale neukládá žádná syntaktická omezení, takže lze využít plnou syntaktickou volnost RDF.

Tyto tři jazyky jsou vrstveny v tom smyslu, že každá legální ontologie OWL Lite je legální ontologií OWL DL, každá legální ontologie OWL DL je legální ontologií OWL Full, každý platný závěr v OWL Lite je platným závěrem v OWL DL a každý platný závěr v OWL DL je platným závěrem v OWL Full. Inverze těchto vztahů obecně neplatí. Každá ontologie OWL je zároveň platným dokumentem RDF (tj. výrazy DL jsou mapovány na trojice), ale ne všechny dokumenty RDF jsou platnými dokumenty OWL Lite nebo OWL DL. V tomto textu nás zajímá především OWL DL. Pokud nebude uvedeno jinak, budeme ve zbytku textu pod pojmem OWL rozumět OWL DL.