Az OWL Web Ontologia Nyelv -- �ttekint�s (original) (raw)

Az OWL Web Ontol�gia Nyelv – �ttekint�s

(Ez a ford�t�s a W3C Magyar Irod�j�nak megb�z�s�b�l, az
Informatikai �s H�rk�zl�si Miniszt�rium
t�mogat�s�val k�sz�lt)

Az eredeti dokumentum:

OWL Web Ontology Languaguage Overview
http://www.w3.org/TR/2004/REC-owl-features-20040210/

A leford�tott dokumentum:

http://www.w3c.hu/forditasok/OWL/REC-owl-features-20040210.html

Magyar ford�t�s (Hungarian translation):

Pataki, Ern� 2004 (pataki.erno@w3c.hu)

A ford�t�s st�tusa:

K�zirat. Lez�rva: 2004.09.19.
Utolj�ra m�dos�tva: 2005.04.25.

Ez a ford�t�s a W3C enged�ly�vel, a ford�t�sokra el��rt formai szab�lyok szerint, lelkiismeretes szakford�t�i munk�val k�sz�lt. Ennek ellen�re nem lehet kiz�rni, hogy hib�k maradtak a ford�t�sban. Emellett a magyar ford�t�s nem is k�veti felt�tlen�l az eredeti angol nyelv� dokumentumon v�grehajtott j�v�beli v�ltoztat�sokat. Ez�rt a ford�t�s nem tekinthet� normat�v W3C dokumentumnak. A dokumentum normat�v, mindenkori leg�jabb, hivatalos, angol nyelv� v�ltozat�t l�sd a W3C megfelel� weblapj�n: http://www.w3.org/TR/owl-features/ .

Megjegyz�sek a ford�t�shoz:

1.) A ford�t�ssal kapcsolatos olvas�i �szrev�teleket a ford�t� e-mail c�m�re k�rj�k.
2.) A ford�t� a saj�t megjegyz�seit felt�n�en elk�l�n�ti a dokumentum sz�veg�ben.
3.) A ford�t�ssal kapcsolatos tov�bbi inform�ci�kat, valamint a terminol�giai k�rd�sek diszkusszi�j�t l�sd a K�sz�netnyilv�n�t�s �s megjegyz�sek a magyar ford�t�shoz c. mell�kletben.
4.) A W3C Magyar Irod�ja a lehet�s�gek szerint leford�ttatja az OWL-ra �s az RDF-re vonatkoz� W3C aj�nl�sok legt�bb dokumentum�t. Ha teh�t egy leford�tott dokumentumb�l olyan OWL/RDF dokumentumra t�rt�nik hipertext-hivatkoz�s, mely magyar v�ltozatban is rendelkez�sre �ll, a megfelel� link �ltal�ban a magyar v�ltozatra mutat. A kiv�telt azok a hivatkoz�sok k�pezik, amelyeknek a W3C sz�nd�kai szerint mindenk�ppen az eredeti dokumentumra kell mutatniuk.

W3C

Az OWL Web Ontol�gia Nyelv – �ttekint�s

W3C Aj�nl�s, 2004. febru�r 10.

Jelen verzi� (angol eredeti):

http://www.w3.org/TR/2004/REC-owl-features-20040210/

Legutols� verzi� (angol eredeti):

http://www.w3.org/TR/owl-features/

El�z� verzi� (angol eredeti):

http://www.w3.org/TR/2003/PR-owl-features-20031215/

Szerkeszt�k:

Deborah L. McGuinness (Knowledge Systems Laboratory, Stanford University) d l m at k s l dot stanford dot edu

Frank van Harmelen (Vrije Universiteit, Amsterdam) Frank.van.Harmelen@cs.vu.nl

K�rj�k, k�vesse figyelemmel a dokumentum eredeti angol nyelv� v�ltozat�ra vonatkoz� hibajegyz�ket, mert ez normat�v korrekci�kat is tartalmazhat.

A dokumentumr�l tov�bbi ford�t�sokis rendelkez�sre �llnak.

Copyright© 2004 W3C®(MIT, ERCIM,Keio), Minden jog fenntartva. Alkalmazand�k a W3C felel�ss�gi,v�djegyoltalmi,dokumentumhaszn�lati�s szoftverlicencel��r�sai.


Absztrakt

Az OWL Web Ontol�gia Nyelvet olyan alkalmaz�sok sz�m�ra fejlesztett�k ki, amelyek c�lja m�r nem az inform�ci� ember sz�m�ra t�rt�n� puszta bemutat�sa, hanem az inform�ci� tartalm�nak g�pi feldolgoz�sa. Az OWL nyelv nagyobb m�rt�kben seg�ti a webtartalom g�pi �rtelmez�s�t, mint az XML, az RDF �s az RDF S�ma (RDF-S), mert b�v�tett sz�k�szletet, illetve form�lis szemantik�t k�n�l. Az OWL h�rom alnyelvb�l �ll: OWL Lite, OWL DL �s OWL Full, amelyek kifejez� ereje ebben a sorrendben n�vekszik.

Ez a dokumentum azok sz�m�ra k�sz�lt, akik egy els� benyom�st k�v�nnak szerezni az OWL k�pess�geir�l. Ez egy bevezet�s az OWL nyelvbe, mely k�tetlen st�lusban ismerteti az OWL mindh�rom alnyelv�nek jellegzetess�geit. Az anyag meg�rt�s�t seg�theti n�mi RDF S�ma-ismeret, de ez nem felt�tlen�l sz�ks�ges. E bevezet� dokumentum elolvas�sa ut�n az �rdekl�d�k az OWL �tmutat� c�m� anyaggal m�ly�thetik tov�bb ismereteiket, mely m�r r�szletes le�r�sok �s terjedelmes p�ld�k seg�ts�g�vel mutatja be az OWL lehet�s�geit. Az OWL normat�v, form�lis difin�ci�j�t pedig az OWL Szemantika �s absztrakt szintaxis c�m� dokumentum tartalmazza.


A dokumentum st�tusa

Ezt a dokumentumot a W3C Tagjai �s m�s �rdekelt r�sztvev�k ellen�rizt�k, �s az Igazgat� W3C Aj�nl�sk�nt hiteles�tette. Az Aj�nl�s elk�sz�t�s�vel a W3C c�lja �s szerepe az, hogy r�ir�ny�tsa a figyelmet a specifik�ci�ra, �s el�seg�tse annak sz�les k�r� alkalmaz�s�t. Ez megn�veli a Web haszn�lhat�s�g�t, �s jav�tja az egy�ttm�k�d�st a Weben.

Az OWL konstrukci�j�nak a dokumentumok kor�bbi verzi�j�ban le�rt v�ltozat�t jelent�sen �tdolgozt�k, s ez a konstrukci� kiel�g�ti a Munkacsoport technikai k�vetelm�nyeit. A Munkacsoport megvizsg�lta az �sszes be�rkezett �szrev�telt, �s elv�gezte a sz�ks�ges jav�t�sokat. Az Aj�nl�stervezet�ta a jelen Aj�nl�s megsz�let�s�ig a dokumentumon v�grehajtott m�dos�t�sokat a V�ltoztat�si napl� r�szletezi.

Tartalomjegyz�k

  1. Bevezet�s
    1. A javasolt olvas�si sorrend
    2. Mi�rt van sz�ks�g az OWL-ra?
    3. Az OWL h�rom alnyelve
    4. A dokumentum szerkezete
  2. A nyelv szinopszisa
    1. Az OWL Lite szinopszisa
    2. Az OWL DL �s az OWL Full szinopszisa
  3. Az OWL Lite nyelv le�r�sa
    1. OWL Lite RDF S�ma-elemek
    2. OWL Lite egyenl�s�g �s k�l�nb�z�s�g
    3. OWL Lite tulajdons�gjellemz�k
    4. OWL Lite tulajdons�gkorl�toz�sok
    5. OWL Lite korl�tozott kardinalit�s
    6. OWL Lite oszt�lyok metszete
    7. OWL adatt�pusok
    8. OWL Lite header-inform�ci�k
    9. OWL Lite annotaci�tulajdons�gok
    10. OWL Lite verzi�kezel�s
  4. Az OWL DL �s az OWL Full inkrement�lis nyelvle�r�sa
  5. �sszefoglal�s
  6. A hivatkoz�sok list�ja
  7. K�sz�netnyilv�n�t�s
  8. V�ltoztat�si napl�

1. Bevezet�s.

Ez a dokumentum az OWL Web Ontol�gia Nyelvet �rja le. Ezt a nyelvet olyan alkalmaz�sok c�ljaira dolgozt�k ki, amelyeknek az a feladatuk, hogy a dokumentumokban t�rolt inform�ci�t feldolgozz�k ahelyett, hogy azt egyszer�en csak bemutatn�k az ember sz�m�ra. Az OWL lehet�v� teszi, hogy explicit m�don �br�zoljuk egy meghat�rozott sz�k�szlet kifejez�seinek jelent�s�t, valamint ezek �sszef�gg�seit. A fogalmak �s a k�zt�k l�v� kapcsolatok ilyen �br�zol�s�t h�vjuk ontol�gi�nak. Az OWL szemantikai kifejez�k�pess�ge j�val nagyobb, mint az XML, RDF �s RDF-S nyelvek�, ez�rt fel�lm�lja ezek lehetõs�geit a g�ppel �rtelmezhet� webtartalom �br�zol�s�ban. Az OWL tulajdonk�ppen a DAML+OIL web ontol�gia nyelvtov�bbfejlesztett v�ltozata, mely m�r mag�ba �p�ti a DAML+OIL tervez�s�ben �s alkalmaz�s�ban szerzett tapasztalatokat is.

1.1 A javasolt olvas�si sorrend

Az OWL nyelvet t�bb dokumentum �rja le, amelyek k�l�nb�z� c�lokra k�sz�ltek, �s m�s-m�s olvas�k�z�ns�g ig�nyeit el�g�tik ki. Ezek al�bbi felsorol�sa �s bemutat�sa seg�theti az olvas�t a t�j�koz�d�sban:

Az els� n�gy dokumentum javasolt olvas�si sorrendje megegyezik a felsorol�suk sorrendj�vel, mert ez a technikai tartalom egyre m�lyebb �s konkr�tabb kifejt�s�t jelzi. A k�t utols� dokumentum pedig kieg�sz�ti a nyelv dokument�ci�j�t.

A ford�t� megjegyz�se:

Azok az olvas�k, akik csak most kezdenek ismerkedni a Web ontol�gi�kkal, �s �gy nem rendelkeznek RDF vagy DAML+OIL el�ismeretekkel, val�sz�n�leg sz�vesebben olvasn�k "nulladik" bevezet�sk�nt az OWL Alkalmaz�si esetek �s k�vetelm�nyek le�r�s�t, miel�tt az OWL �ttekint�s olvas�s�ra r�t�rn�nek. Az el�bbi dokumentum ugyanis bevezeti az olvas�t az ontol�gi�k vil�g�ba, �s_�ltal�nosan_ ismerteti az OWL nyelv c�ljait, alapelveit, elv�rt k�pess�geit �s tipikus alkalmaz�sait. Az OWL �ttekint�s dokumentum ink�bb azok sz�m�ra lehet a legjobb bevezet� anyag, akik m�r ismernek valamilyen ontol�giafejleszt� nyelvet, �s gyorsan szeretn�k �ttekinteni az OWL �ltal k�n�lt (t�bblet)lehet�s�geket.

1.2 Mi�rt van sz�ks�g az OWL-ra?

A Szemantikus Web v�zi�ja egy olyan j�v�beli Web, amelyen az inform�ci�knak explicit jelent�st adunk, megk�nny�tve ez�ltal a g�peink sz�m�ra a Weben t�rolt inform�ci�k automatikus feldolgoz�s�t �s integr�l�s�t. A Szemantikus Web az XML egy�ni tegeket defini�l� lehet�s�geire, valamint az RDF flexibilis adat�br�zol� k�pess�geire �p�t. Az RDF feletti els� szint, ami sz�ks�ges a Szemantikus Webhez, egy ontol�gia nyelv, amellyel form�lisan le tudjuk �rni a webdokumentumokban haszn�lt terminol�gia jelent�s�t. Ha elv�rjuk a g�peinkt�l, hogy k�pesek legyenek hasznos k�vetkeztet�seket levonni e dokumentumok tartalm�b�l, akkor a le�r� nyelv szemantik�j�nak meg kell haladnia az RDF S�ma alapvet� szemantik�j�t. Az OWL Alkalmaz�si esetek �s k�vetelm�nyek c�m� dokumentum tov�bbi r�szleteket k�z�l az ontol�gi�kr�l. Ez hat alkalmaz�si eset elemz�s�n kereszt�l indokolja egy Web-ontol�gia nyelv sz�ks�gess�g�t, majd r�szletezi az OWL �ltal�nos tervez�si c�ljait, a nyelvvel szemben t�masztott k�vetelm�nyeket, valamint azokat a speci�lis c�lokat, amelyeket csak bizonyos alkalmaz�sok ig�nyei miatt kell megval�s�tani.

Az OWL nyelvet �gy tervezt�k meg, hogy bet�ltse egy ilyen Web-ontol�gia nyelv szerep�t. Az OWL r�sze annak az egyre vastagod� W3C aj�nl�sk�tegnek, amelyik a Szemantikus Webhez kapcsol�dik:

1.3 Az OWL h�rom alnyelve

Az OWL h�rom, rendre n�vekv� kifejez� erej� alnyelvb�l �ll, amelyeket specifikus fejleszt�i �s felhaszn�l�i k�z�ss�gek c�ljaira terveztek.

E h�rom alnyelv mindegyike az egyszer�bb el�dj�nek kiterjeszt�se abban a tekintetben, hogy mit lehet vele leg�lisan kifejezni, �s abban a tekintetben is, hogy a vel�k �br�zolt ontol�gi�b�l mit lehet �rv�nyesen kik�vetkeztetni. E nyelvekre vonatkoz�an az al�bbi kijelent�sek �rv�nyesek (a ford�tottjuk azonban nem):

Azok az ontol�giafejleszt�k, akik haszn�lni akarj�k az OWL nyelvet, j� ha megfontolj�k, melyik alnyelv a legalkalmasabb a c�ljaikra. Az OWL Lite �s az OWL DL k�z�tti v�laszt�s att�l f�gg, hogy a felhaszn�l�nak milyen m�rt�kben van sz�ks�ge az OWL DL nagyobb kifejez� erej� nyelvi konstrukci�ira. Az OWL DL �s az OWL Full k�z�tti d�nt�s krit�riuma pedig az, hogy a felhaszn�l� milyen m�rt�kben ig�nyli az RDF S�ma meta-modellez� eszk�zeit (p�ld�ul oszt�lyok oszt�ly�nak defini�l�sa, vagy tulajdons�gok kapcsol�sa oszt�lyokhoz). Amikor OWL Full-t haszn�lunk, a k�vetkeztet�s szoftvert�mogat�sa az OWL DL eset�hez k�pest kev�sb� val�sz�n�, mivel komplett OWL Full implement�ci�k jelenleg m�g nem ismeretesek.

Az OWL Full teh�t az RDF kiterjeszt�s�nek tekinthet�, m�g az OWL Lite �s DL ink�bb az RDF egy korl�tozott n�zet�nek a kiterjeszt�sek�nt foghat�k fel. Minden OWL (Lite, DL, Full) dokumentum egyben RDF dokumentum is, �s minden RDF dokumentum egyben OWL Full dokumentum is, ugyanakkor nem minden RDF dokumentum tekinthet� leg�lis OWL Lite vagy OWL DL dokumentumnak. Ez�rt bizonyos �vatoss�gra van sz�ks�g, amikor a felhaszn�l� egy RDF dokumentumot k�v�n OWL k�rnyezetbe �tvinni. Amikor az OWL DL vagy az OWL Lite kifejez�k�pess�g�t megfelel�nek tal�ljuk, �gyeln�nk kell arra is, hogy az eredeti RDF dokumentum megfeleljen azoknak a korl�toz�soknak, amelyeket az OWL Lite �s az OWL DL t�maszt a dokumentummal szemben. Egyebek k�z�tt explicit m�don biztos�tanunk kell, hogy minden URI, amely egy oszt�ly nevek�nt szerepel, owl:Class t�pus� legyen (�s ugyanez �ll a tulajdons�gokra is), tov�bb� garant�lnunk kell, hogy minden egyed legal�bb egy OWL oszt�lyhoz tartozik (minimum az owl:Thing oszt�lyhoz), �s m�g azt is biztos�tanunk kell, hogy az oszt�lyokhoz, a tulajdons�gokhoz �s az egyedekhez tartoz� URI-k diszjunkt halmazokat alkossanak. Az OWL DL-re �s az OWL Lite-ra vonatkoz� ilyen, �s egy�b korl�toz�sok r�szleteit az OWL Referencia dokumentum E. f�ggel�ke tartalmazza.

1.4 A dokumentum szerkezete

Ez az anyag el�sz�r az OWL Lite jellemz�it t�rgyalja, majd pedig az OWL DL-ben �s az OWL Full-ban rendelkez�sre �ll� tov�bbi lehet�s�geket ismerteti. (Ez ut�bbi kett� l�nyeg�ben ugyanazokat a t�bbletlehet�s�geket ny�jtja, de ezek kombin�l�sa tekintetben az OWL Full j�val enged�kenyebb.)

2. A nyelv szinopszisa

Ez a szekci� az OWL Lite, az OWL DL �s az OWL Full nyelvi lehet�s�geinek v�zlat�t �s gyorsindex�t tartalmazza. Az ebben a dokumentumban d�lt bet�vel szedett kifejez�sek mind OWL kifejez�sek. Az rdf: �s rdfs: prefixek arra utalnak, hogy az ut�nuk k�vetkez� kifejez�sek m�r az RDF-ben, illetve az RDF S�m�ban is szerepelnek. A t�bbi kifejez�st az OWL vezette be. �gy teh�t az_rdfs:subPropertyOf_ pl. azt jelzi, hogy a subPropertyOf kifejez�s m�r szerepel az RDF-S sz�k�szletben (azaz gyakorlatilag az rdfs n�vt�r r�sze). Hasonl�k�ppen, az "Oszt�ly" fogalomnak owl:Class form�ban t�rt�n� felt�ntet�se azt jelenti, hogy ezt a kifejez�st az OWL a maga sz�m�ra pontos�totta.

2.1 Az OWL Lite szinopszisa

Az al�bbi lista az OWL Lite nyelvi konstrukci�it foglalja �ssze.

RDF S�ma-elemek: Class (Thing, Nothing) rdfs:subClassOf rdf:Property rdfs:subPropertyOf rdfs:domain rdfs:range Individual Egyenl�s�g/K�l�nb�z�s�g: equivalentClass equivalentProperty sameAs differentFrom AllDifferent distinctMembers Tulajdons�gjellemz�k: ObjectProperty DatatypeProperty inverseOf TransitiveProperty SymmetricProperty FunctionalProperty InverseFunctionalProperty
Tulajdons�g- korl�toz�sok: Restriction onProperty allValuesFrom someValuesFrom Korl�tozott kardinalit�s: minCardinality (csak 0 v. 1) maxCardinality (csak 0 v. 1) cardinality (csak 0 vagy 1) Header-inform�ci�k: Ontology imports
Oszt�lyok metszete: intersectionOf Verzi�kezel�s: versionInfo priorVersion backwardCompatibleWith incompatibleWith DeprecatedClass DeprecatedProperty Annot�ci�tulajdons�gok: rdfs:label rdfs:comment rdfs:seeAlso rdfs:isDefinedBy AnnotationProperty OntologyProperty
Adatt�pusok: xsd datatypes

2.2 Az OWL DL �s az OWL Full szinopszisa

Az al�bbi lista az OWL DL �s az OWL Full azon nyelvi konstrukci�it sorolja fel, amelyek az OWL Lite-hoz k�pest �jak, vagy kiterjesztett jelent�s�ek.

Oszt�lyaxi�m�k: oneOf, dataRange disjointWith equivalentClass (Oszt�lykifejez�sekn�l) rdfs:subClassOf (Oszt�lykifejez�sekn�l) Oszt�lykifejez�sek Boole-algebrai kombin�ci�i: unionOf complementOf intersectionOf
Tetsz�leges kardinalit�s: minCardinality maxCardinality cardinality �rt�kad�s: hasValue

3. Az OWL Lite nyelv le�r�sa

Ez a szekci� az OWL Lite nyelvi lehet�s�geinek k�tetlen le�r�s�t tartalmazza. Itt nem t�rgyaljuk a nyelvi elemek specifikus szintaxis�t (a defin�ci�kat l�sd az OWL Referenciaanyagban). Minden nyelvi elem le�r�sa tartalmaz egy-egy hiperlinket az OWL �tmutat� megfelel� szakasz�ra, ahol tov�bbi p�ld�k �s alkalmaz�si tan�csok is tal�lhat�k.

A ford�t� megjegyz�se:

Az al�bbi le�r�sokban egyes ford�tott sz�rend�, angol nyelv� OWL �ll�tm�nyokat csak �gy lehet – az OWL nyelv szintaxis�t is figyelembe v�ve – �rtelmesen magyarra ford�tani, hogy a magyar sz�vegben valamilyen jellel el�reutalunk az �ll�tm�nyhoz tartoz� t�rgyra. Erre a c�lra itt a tilde (~) karaktert haszn�ljuk (ez puszt�n csak ford�t�si seg�dlet, nem leg�lis OWL szintaxis-elem!). Ha ennek a hely�re k�pzelj�k az �ll�tm�nyt k�vet� t�rgyat, akkor a kijelent�s (triplet) OWL �rtelemben helyes lesz, �s magyarul is viszonylag j�l olvashat�. P�ld�ul: az "X isSubclassOf_Y_" OWL/RDF kifejez�st �gy ford�tjuk: "X aloszt�lya ~nak_Y_", �s �gy olvassuk: X aloszt�lya az _Y_-nak . (L�sda tilde haszn�lat�nak r�szletes diszkusszi�j�t egy m�sik dokumentum ford�t�i megjegyz�sben)

Az OWL Lite az OWL nyelvnek csup�n n�h�ny lehet�s�g�t alkalmazza, �s t�bb megk�t�st tartalmaz ezek haszn�lat�ra is, mint az OWL DL vagy az OWL Full. P�ld�ul az OWL Lite oszt�lyai csak n�vvel rendelkez� (r�viden: neves�tett) f�oszt�lyk�nt (named superclasses) defini�lhat�k, vagyis egy f�oszt�ly nem lehet tetsz�leges kifejez�s. Emellett az oszt�lykorl�toz�soknak is csak bizonyos t�pusai haszn�lhat�k. Egyen�rt�k�s�gi, valamint aloszt�lyi rel�ci�k szint�n csak neves�tett oszt�lyok k�z�tt megengedettek, tetsz�leges oszt�lykifejez�sek k�z�tt teh�t nem. Hasonl�k�ppen, az OWL Lite-ban a korl�toz�sok is csak neves�tett oszt�lyokat haszn�lhatnak. Az OWL Lite a kardinalit�s fogalm�t is sz�k�ti: a kardinalit�s �rt�ke itt kifejezetten csak 0 vagy 1 lehet.

3.1 OWL Lite RDF S�ma-elemek

Az RDF S�m�val kapcsolatos OWL Lite komponensek a k�vetkez�k:

3.2 OWL Lite egyenl�s�g �s k�l�nb�z�s�g

Az al�bbi OWL Lite elemek az Egyenl�s�g �s a K�l�nb�z�s�g fogalomk�r�hez kapcsol�dnak:

3.3 OWL Lite tulajdons�gjellemz�k

Az OWL Lite speci�lis jellemz�ket tartalmaz, amelyekkel inform�ci�kat adhatunk meg a tulajdons�gokr�l �s ezek �rt�keir�l. Az ObjectProperty �s a DatatypeProperty k�z�tti k�l�nbs�gekr�l fentebb, a Tulajdons�g le�r�s�n�l m�r sz�ltunk.

3.4 OWL Lite tulajdons�gkorl�toz�sok

Az OWL Lite lehet�v� teszi, hogy korl�toz�sokat alkalmazzunk arra vonatkoz�lag, hogy egy oszt�ly egyedei hogyan haszn�lhatj�k a tulajdons�gokat. Ezeket a korl�toz�sokat (�s a k�vetkez� alszekci�ban szerepl� kardinalit�skorl�toz�sokat) az owl:Restrictionkontextuson bel�l haszn�ljuk. Az owl:onProperty (~ Tulajdons�gra) elem jel�li meg a korl�tozand� tulajdons�got. Az al�bbi k�t korl�toz�s azt deklar�lja, hogy mely �rt�kek haszn�lhat�k a jellemzett tulajdons�g eset�ben, a k�vetkez� szekci�ban szerepl� korl�toz�sok pedig azt, hogy h�ny �rt�k haszn�lhat�.

3.5 OWL Lite korl�tozott kardinalit�s

Az OWL Lite tartalmazza a kardinalit�s�rt�k korl�toz�s�nak egy limit�lt form�j�t. Az OWL (�s OWL Lite) kardinalit�skorl�toz�sait helyi korl�toz�soknak nevezz�k, minthogy ezeket mindig csak egy adott oszt�ly viszonylat�ban alkalmazzuk egy tulajdons�gra. M�s sz�val, az ilyen korl�toz�sok csak azon egyedek valamely tulajdons�g�nak kardinalit�s�t korl�tozz�k, amelyek a megnevezett oszt�lyhoz tartoznak. Az OWL Lite kardinalit�skorl�toz�sa az�rt limit�lt, mert csak olyan kijelent�seket tehet�nk a kardinalit�s �rt�k�re, hogy az 0 vagy 1. (Az OWL Lite teh�t nem enged�lyezi a tetsz�leges kardinalit�st, szemben OWL DL �s az OWL Full alnyelvvel).

3.6 OWL Lite oszt�lyok metszete

Az OWL Lite tartalmaz egy halmazmetszet k�pz� konstrukci�t, de korl�tozza ennek haszn�lat�t.

3.7 OWL adatt�pusok

Az OWL az RDF mechanizmusait haszn�lja az adatok le�r�s�ra. Az OWL be�p�tett adatt�pusait r�szletesebben az OWL �tmutat� dokumentum adatt�pusokkal foglalkoz� szakasza ismerteti, mely nagym�rt�kben az XML S�ma adatt�pusait veszi �t.

3.8 OWL Lite header-inform�ci�k

Az OWL Lite t�mogatja az olyan fogalmakat, mint ontol�giabe�gyaz�s, ontol�giakapcsolatok �s inform�ci� csatol�sa ontol�gi�khoz. L�sd az OWL Referencia anyagot a r�szletek, az OWL �tmutat�t pedig az alkalmaz�si p�ld�k �ttekint�se c�lj�b�l.

3.9 OWL Lite annotaci�tulajdons�gok

Az OWL Lite lehet�v� teszi, hogy megjegyz�seket (annot�ci�kat) f�zz�nk oszt�lyokhoz, tulajdons�gokhoz, egyedekhez, �s ontol�gia-headerekhez. Az annot�ci�k haszn�lat�ra vonatkoz�an bizonyos korl�toz�sok �rv�nyesek. A r�szletekkel kapcsolatban l�sd az annot�l�sr�l sz�l� szekci�t az OWL Referencia dokumentumban.

3.10 OWL Lite verzi�kezel�s

Az RDF m�r tartalmaz egy kisebb sz�k�szletet a verzi�k adminisztr�l�s�val kapcsolatos inform�ci�k le�r�s�ra. Az OWL jelent�sen kiterjeszti ezt a sz�k�szletet. A r�szleteket l�sd az OWL Referenci�n�l.

4. Az OWL DL �s az OWL Full inkrement�lis nyelvle�r�sa

Az OWL DL �s az OWL Full ugyanazt a sz�k�szletet haszn�lja, hab�r az OWL DL bizonyos korl�toz�s al� esik. Nagyj�b�l arr�l van sz�, hogy az OWL DL szigor� t�pus-elk�l�n�t�st ig�nyel. Enn�l egy oszt�ly nem lehet egyidej�leg egyed vagy tulajdons�g is, �s egy tulajdons�g nem lehet egyidej�leg egyed vagy oszt�ly is. Ez azt jelenti p�ld�ul, hogy nem alkalmazhatunk korl�toz�sokat az OWL saj�t nyelvi elemeire (ami az OWL Full eset�ben megengedett). Tov�bb�: az OWL DL megk�veteli, hogy a tulajdons�gok vagy objektumtulajdons�gok, vagy adatt�pus-tulajdons�gok legyenek. Az adatt�pus-tulajdons�gok (DatatypeProperties) l�nyeg�ben rel�ci�k oszt�lyok egyedei �s RDF liter�lok, vagy XML adatt�pusok k�z�tt. Az objektumtulajdons�gok (ObjectProperties) pedig olyan rel�ci�k, amelyek k�t oszt�ly egyedeit kapcsolj�k �ssze. Az OWL Szemantika �s absztrakt szintaxis dokumentum b�vebben kifejti ezeket a megk�l�nb�ztet�seket �s korl�tokat. Az al�bbiakban bemutatjuk az OWL DL �s az OWL Full sz�k�szlet�t, amellyel ezek az alnyelvek kib�v�tik az OWL Lite konstrukci�it.

5. �sszefoglal�s

Ez a dokumentum a Web Ontol�gia Nyelv �ttekint�se, mely r�viden bemutatja, hogy mi�rt van sz�ks�g egy Web-ontol�gia nyelvre, �s hogy az OWL hogyan viszonyul a t�bbi W3C nyelvhez. Ezt k�vet�en �sszefoglal� le�r�s�t adja az OWL nyelv h�rom alnyelv�nek: az OWL Lite, OWL DL �s OWL Full nyelveknek, majd v�zlatosan felsorolja ezek nyelvi konstrukci�it. Ez a dokumentum a "Feature Synopsis Document" kieg�sz�tett v�ltozata, mely t�m�ren defini�lja, �s egyszer� p�ld�kkal szeml�lteti az egyes nyelvi konstrukci�kat. Ebb�l a dokumentumb�l gyakran t�rt�nik hivatkoz�s az OWL referencia, az OWL �tmutat� �s az OWL Szemantika �s absztrakt szintaxis c�m� dokumentumokra, amelyek a r�szleteket t�rgyalj�k. A dokumentum el�z� verzi�i (2003. december 15, 2003. szeptember 5, 2003. augusztus 18, 2003. j�lius 30, 2003. m�jus 1, 2003. m�rcius 20, 2003. Janu�r 2, 2002. j�lius 29, 2002. j�lius 8, 2002. j�nius 23, 2002. m�jus 26, �s 2002. m�jus 15) lehet�s�get adnak arra, hogy t�rt�netileg �ttekints�k az OWL Lite fejl�d�s�t, �s mindazokat a k�rd�seket, amelyek ennek sor�n felmer�ltek �s megvitat�sra ker�ltek.

A hivatkoz�sok list�ja

[OWL �tmutat�]

Az OWL Web Ontol�gia Nyelv – �tmutat�, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k: Michael K. Smith, Chris Welty, and Deborah L. McGuinness. A mindenkori leg�jabb verzi� angol eredetiben: OWL Web Ontology Language Guide http://www.w3.org/TR/owl-guide/ .

[OWL Referencia]

Az OWL Web Ontol�gia Nyelv – Referencia, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k: Mike Dean and Guus Schreiber. A mindenkori legutols� verzi�angol eredetiben: OWL Web Ontology Language Reference http://www.w3.org/TR/owl-ref/ .

[OWL Szemantika �s absztrakt szintaxis]

Az OWL Web Ontol�gia Nyelv – Szemantika �s absztrakt szintaxis, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k: Peter F. Patel-Schneider, Pat Hayes, and Ian Horrocks. A mindenkori leg�jabb verzi� angol eredetiben: OWL Web Ontology Language Semantics and Abstract Syntax http://www.w3.org/TR/owl-semantics/ .

[OWL Tesztsorozat]

Az OWL Web Ontol�gia Nyelv – Tesztsorozat, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k: Jeremy J. Carroll and Jos De Roo. A mindenkori leg�jabb verzi� angol eredetiben: OWL Web Ontology Language Test Cases http://www.w3.org/TR/owl-test/ .

[OWL Alkalmaz�sok �s k�vetelm�nyek]

Az OWL Web Ontol�gia Nyelv – Alkalmaz�si esetek �s k�vetelm�nyek, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k: Jeff Heflin. A mindenkori leg�jabb verzi� angol eredetiben: OWL Web Ontology Language Use Cases and Requirements http://www.w3.org/TR/webont-req/ .

[OWL Nyitott k�rd�sek]

Web Ontology Issue Status. Szerkeszt�: Michael K. Smith, 2003. november 1.

[DAML+OIL Referencia]

DAML+OIL Reference Description . Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. W3C Note 18 December 2001.

[XML]

Extensible Markup Language (XML).

[XML S�ma]

XML Schema .

[XML S�ma 2]

XML Schema Part 2: Datatypes - W3C Recommendation, World Wide Web Consortium, 2 May 2001.

[RDF/XML Szintaxis]

Az RDF/XML Syntaxis Specifik�ci�ja (�tdolgozott kiad�s), W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�: Dave Beckett. A mindenkori leg�jabb verzi� angol eredetiben: RDF/XML Syntax Specification (Revised) http://www.w3.org/TR/rdf-syntax-grammar/ .

[RDF Alapfogalmak]

Az RDF Er�forr�s Le�r� Keretrendszer alapfogalmai �s absztrakt szintaxisa, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k: Graham Klyne and Jeremy J. Carroll. A mindenkori leg�jabb verzi� angol eredetiben: Resource Description Framework (RDF): Concepts and Abstract Syntax http://www.w3.org/TR/rdf-concepts/ .

[RDF S�ma]

Az RDF Sz�k�szlet Le�r� Nyelv 1.0: RDF S�ma, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k: Dan Brickley and R. V. Guha. A mindenkori leg�jabb verzi� angol eredetiben:RDF Vocabulary Description Language 1.0: RDF Schema http://www.w3.org/TR/rdf-schema/ .

[RDF Szemantika]

Az RDF Szemantik�ja, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�: Patrick Hayes. A mindenkori leg�jabb verzi� angol eredetiben: RDF Semantics http://www.w3.org/TR/rdf-mt/ .

[Le�r� Logika]

The Description Logic Handbook. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider, editors. Cambridge University Press, 2003; and Description Logics Home Page.

K�sz�netnyilv�n�t�s

Ez a dokumentum azoknak a sz�les k�r� eszmecser�knek �s egyeztet�seknek az eredm�nye, melyeket a Web Ontol�gia Munkacsoporton mint eg�szen bel�l folytattunk. A r�sztvev�k ebben a munkacsoportban: Yasser alSafadi, Jean-Fran�ois Baget, James Barnette, Sean Bechhofer, Jonathan Borden, Frederik Brysse, Stephen Buswell, Jeremy Carroll, Dan Connolly, Peter Crowther, Jonathan Dale, Jos De Roo, David De Roure, Mike Dean, Larry Eshelman, J�r�me Euzenat, Tim Finin, Nicholas Gibbins, Sandro Hawke, Patrick Hayes, Jeff Heflin, Ziv Hellman, James Hendler, Bernard Horan, Masahiro Hori, Ian Horrocks, Jane Hunter, Francesco Iannuzzelli, R�diger Klein, Natasha Kravtsova, Ora Lassila, Massimo Marchiori, Deborah McGuinness, Enrico Motta, Leo Obrst, Mehrdad Omidvari, Martin Pike, Marwan Sabbouh, Guus Schreiber, Noboru Shimizu, Michael Sintek, Michael K. Smith, John Stanton, Lynn Andrea Stein, Herman ter Horst, David Trastour, Frank van Harmelen, Bernard Vatant, Raphael Volz, Evan Wallace, Christopher Welty, Charles White, and John Yanosy.

V�ltoztat�si napl� az els� publik�lt munkaanyaghoz k�pest

V�ltoztat�sok az Elõzetes aj�nl�stervezet dokumentumhoz k�pest

V�ltoztat�sok az Aj�nl�stervezet dokumentumhoz k�pest


Valid XHTML 1.0! Valid CSS!