A nyelvi bagoly leírása
Az OWL (Ontológia Web Language) a Szemantikus Web irányára épülő nyelv, amely a helyszíni ontológiák képviseletére szolgál. amelyet a W 3 C. konzorcium hagy jóvá. Az ontológián keresztül értjük a tárgykör bizonyos feltételeit és az ezek közötti kapcsolatokat.
Az OWL három különböző méretű részletet kínál:
- Az OWL Lite olyan felhasználók vagy alkalmazások számára készült, amelyek csak az entitások osztályozási hierarchiáját igénylik, és az egyszerűség kedvéért az entitások egységességét.
- OWL DL (Description Logic) olyan felhasználók számára készült, akik igénylik a legnagyobb fokú kifejező lehetőségeit nyelv elvesztése nélkül számítási teljesség veszteség nélkül a szemantikai inkarnációja - értelmes értelmezik a megállapítások a formális-logikai úton és fizetőképesség, ami azt jelenti, hogy a számítások kitölteni végső idő. Az OWL DL szintje a meglévő tudásleírási és logikai programozási rendszerekhez igazodik.
- Az OWL Full olyan felhasználók számára készült, akiknek maximálisan kifejező nyelvi lehetőségeik vannak, és szabadon választhatják meg az erőforrás-leírás keretrendszer (RDF) végső formátumát, de a számítógépes teljesség és megoldhatóság garantálása nélkül. Az OWL Full lehetővé teszi, hogy meghosszabbítsuk az adott szótár szótárából vett kifejezés jelentését, és hozzáadjuk az ontológiához.
Szintaxisaként az OWL az XML nyelvet használja. A nyelv fő elemei a tulajdonságok, osztályok és korlátok. Ezek az elemek lehetővé teszik a világ fogalmának olyan tulajdonságok (tárgyak) csoportjának megvalósítását, amelyet bizonyos tulajdonságok jellemeznek. Ezek az egységek bizonyos szempontokból kölcsönösen függenek egymástól, és bizonyos jellemzők (tulajdonságok és korlátok) szerint csoportosulnak (osztályok).
Az OWL-ben a tulajdonságok kétféleképpen oszlanak meg: tulajdonság-jellemzők (DatatypeProperty) és tulajdonság-kapcsolatok (ObjectProperty). Az első jellemzi az objektumokat (osztályokat), és bizonyos értékeket fogad el értékeiként. A második társítja tárgyakat (osztályokat) egymással, és ennek megfelelően elfogadja az objektumokat (osztályokat) értékeiként.
Ezenkívül a tulajdonságok korlátozhatók. A korlátozások kétféleképpen oszlanak meg: globális és helyi. A globális korlátok közé tartoznak a domainek (osztályok, amelyek objektumai rendelkezhetnek ezekkel a tulajdonságokkal) és tartományok (osztályok, amelyek objektuma értékekként szolgálhat ezekhez a tulajdonságokhoz). A helyi megszorítások egy bizonyos osztályon belüli tulajdonságokra vannak felosztva, és tovább szűkíthetik az ezen osztályon belüli tulajdonságok tartományait, meghatározhatják a tulajdonságok és típusuk erejét.
Emellett az OWL nyelv mechanizmusokat tartalmaz az ontológia változatainak és az ontológiákban található adatok aggregálására szolgáló mechanizmusok leírására.