Sémantika OWL DL

Syntaxe a sémantika popisů OWL DL, datových oborů, vlastností, individuí a datových hodnot jsou shrnuty v první tabulce níže, axiomy a fakta OWL DL jsou shrnuty ve druhé tabulce níže. Jak vidíme, OWL DL je deskripční logika SHOIN s podporou datových hodnot, datových typů a vlastností datových typů, tj. SHOIN(D), ale protože je OWL založeno na RDF(S), terminologie se mírně liší. Koncept z DL se v OWL označuje jako třída a role z DL se v OWL označuje jako vlastnost. Pro popis ontologie OWL nebo znalostní báze lze použít syntaxi DL. Existuje definovaná "abstraktní" syntaxe podobná LISP, kterou je snazší zapisovat ve znakové sadě ASCII (viz také první a druhou tabulku níže). Protože je OWL syntakticky vloženo do RDF, lze použít všechny serializace RDF. Normativní syntaxí je RDF/XML, které by mělo být používáno pro výměnu informací mezi systémy.

Syntaxe a sémantika popisů OWL DL, datových oborů, vlastností, individuí a datových hodnot

Axiomy a fakta OWL DL