Az OWL Web Ontol�gia
Nyelv –
Szemantika �s absztrakt szintaxis
(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 Language
Semantics and Abstract Syntax
- http://www.w3.org/TR/2004/REC-owl-semantics-20040210/
- A leford�tott dokumentum:
- http://www.w3c.hu/forditasok/OWL/REC-owl-semantics-20040210/main.html
- Magyar ford�t�s (Hungarian translation):
- © Pataki, Ern� 2004 ([email protected])
- A ford�t�s st�tusa:
- K�zirat. Lez�rva: 2004.12.10.
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-semantics/
- 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,
akkor 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.
5.) E dokumentum egyes fejezeteiben halmazalgebrai kifejez�sek t�mege
szerepel. Ezek oper�tor-szimb�lumait azonban egyes browserek (vagy ezek
egyes verzi�i) nem tudj�k megjelen�teni, �s ez lehetetlenn� teheti a
dokumentum teljes meg�rt�s�t. Ha az olvas� kis n�gysz�g-szimb�lumokat
l�t a matematikai oper�torok helyett, akkor pr�b�lja meg m�s
b�ng�sz�vel olvasni a dokumentumot. (Tapasztalataink szerint, pl. a W3C Amaya
browser-editora �s a Mozilla b�ng�sz� a matematikai szimb�lumokat
is kifog�stalanul megjelen�ti.)
Az OWL Web Ontol�gia Nyelv –
Szemantika �s absztrakt szintaxis
W3C Aj�nl�s, 2004. Febru�r 10.
- Jelen verzi� (angol eredeti):
- http://www.w3.org/TR/2004/REC-owl-semantics-20040210/
- Legutols� verzi� (angol eredeti):
- http://www.w3.org/TR/owl-semantics/
- El�z� verzi� (angol eredeti):
- http://www.w3.org/TR/2003/PR-owl-semantics-20031215/
- Szerkeszt�k:
- Peter F.
Patel-Schneider, Bell Labs Research, Lucent Technologies
Patrick Hayes, IHMC,
University of West Florida
Ian Horrocks,
Department of Computer Science, University of Manchester
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.
Ez a t�bb weblapb�l �ll� dokumentum el�rhet� egy nem normative,
egyetlen
weblapb�l �ll�, �sszevont form�ban is (egyel�re csak angol
v�ltozatban).
A dokumentumr�l tov�bbi ford�t�sok
is rendelkez�sre �llnak.
Copyright
© 2004 W3C® (MIT, ERCIM,
Keio), Minden jog fenntartva.
Alkalmazand�k a W3C felel�ss�gi,
v�djegyoltalmi,
dokumentumhaszn�lati
�s szoftverlicenc
el��r�sai.
Ez a dokumentum a W3C Web Ontol�gia Munkacsoportja �ltal tervezett OWL Web
Ontol�gia Nyelv form�lis le�r�sa, mely megadja az OWL DL-nek �s az OWL
Lite-nak, az OWL e k�t alnyelv�nek magas szint�, absztrakt szintaxis�t. A
le�r�s tartalmaz egy olyan modell-elm�leti szemantik�t is, mely ezen
absztrakt szintaxis seg�ts�g�vel defini�lja az OWL ontol�gi�k form�lis
jelent�s�t. A le�r�sban szerepel egy m�sodik modell-elm�leti szemantika is,
mely az RDF szemantika kiterjeszt�se, �s arra szolg�l, hogy RDF gr�fok
seg�ts�g�vel defini�lja az (OWL Full szint�) ontol�gi�k form�lis szemantikai
jelent�s�t. A le�r�s v�g�l t�bl�zatosan �sszefoglalja az absztrakt szintaxis
RDF gr�fokra t�rt�n� lek�pez�s�nek szab�lyait, majd kimutatja e k�t
modell-elm�letr�l, hogy azonosak a k�vetkezm�nyeik azokra az OWL ontol�gi�kra
n�zve, amelyek az absztrakt szintaxissal k�zvetlen�l le�rhat�k.
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 a Weben t�rt�n� egy�ttm�k�d�st.
Ez a dokumentum annak a hat
r�szb�l �ll� W3C Aj�nl�snak egyik r�sze, mely az OWL Web Ontol�gia
Nyelvet szabv�nyos�tja. Ezt az Aj�nl�st a W3C Szemantikus Web Munkaprogramja
keret�ben a Web Ontol�gia
Munkacsoport dolgozta ki, �s 2004. febru�r 10. d�tummal publik�lta. (L�sd
a Munkaprogram-nyilatkozatot
�s a, Munkacsoport
Alapszab�ly�t).
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.
A Munkacsoport sz�vesen fogadja az �szrev�teleket a [email protected]
(E-mail
arch�vum) c�m�n, az idev�g� technol�gi�k �ltal�nos vit�j�t pedig a [email protected] (E-mail
arch�vum) c�m�n folytatja.
Rendelkez�sre �ll egy konszign�ci� az ismert
alkalmaz�sokr�l.
A W3C list�t vezet tov�bb� azokr�l a felfedett
szabadalmi ig�nyekr�l is, amelyek ehhez a munk�hoz kapcsol�dnak.
Ez a szekci� a dokumentumnak a publik�l�skor �rv�nyes st�tus�t
r�gz�ti. M�s dokumentumok hat�lytalan�thatj�k ezt a dokumentumot. A leg�jabb
W3C publik�ci�k list�ja, valamint e technikai riport utols� kiad�sa
megtal�lhat� a W3C technikai riportok
index�ben, a http://www.w3.org/TR/ alatt.
Fontos megjegyz�sek e dokumentum magyar v�ltozat�r�l
A dokumentum ford�t�s�nak els� kiad�s�ban – k�lts�gk�m�l�s �s a
gyorsabb megjelentet�s �rdek�ben – nem ford�tjuk le a dokumentum
n�h�ny olyan r�sz�t, amelyekr�l tudhat�, hogy az angolul nem olvas�knak csak
egy nagyon eleny�sz� kisebbs�g�t �rdekelhetik. Nem ford�tjuk le, tov�bb� a
dokumentumhoz tartoz� olyan, hipertext hivatkoz�ssal el�rhet� k�ls�
dokumentumokat sem, amelyek l�nyeg�ben olyan k�dsz�vegeket tartalmaznak,
amelyeket nem lehet, �s nem is szabad leford�tani. Mindenesetre, a nem
ford�tott r�szeket – szerz�i jogi okokb�l – megtartjuk a
sz�vegben, �s a tartalomjegyz�kben "[Ang.]" jelz�ssel jel�lj�k meg. Egy
k�vetkez� kiad�sban a leford�that� r�szek esetleg m�r magyarul fognak
megjelenni, most azonban az er�fesz�t�seket �s a p�nz�gyi t�mogat�st a magyar
olvas� sz�m�ra fontosabb inform�ci�k k�zread�s�ra kell ford�tanunk.
A jelen dokumentumban m�g nem ford�tott, �n. "nem normat�v" r�szek a
k�vetkez�k:
A. f�ggel�k: Matematikai bizony�t�sok
(informat�v). Olyan inform�ci�kat tartalmaz, amelyekre m�g a nyelvet
konkr�tan implement�l�knak sincs felt�tlen�l sz�ks�g�k. Ez a f�ggel�k ugyanis
a megadott lek�pez�sek helyess�g�nek matematikai bizony�t�s�t adja.
C. f�ggel�k: V�ltoztat�sok a dokumentum kor�bbi v�ltozatain
(informat�v). Ez a terjedelmes f�ggel�k a v�ltoztat�sok historikus
jegyz�ke, mely l�nyeg�ben a W3C bels� haszn�lat�ra k�sz�lt, �s �gy
val�sz�n�leg �rdektelen a magyar olvas�k sz�m�ra, akik m�r a dokumentum
leg�jabb v�ltozat�r�l k�sz�lt ford�t�s alapj�n kezdhetik meg az
OWL-lal val� ismerked�st.
1. Bevezet�s (Informat�v)
Ez a dokumentum az OWL Web Ontol�gia Nyelv
specifik�ci�j�nak egyik darabja. Az OWL
�ttekint�s le�rja a nyelv specifik�ci�j�nak egyes dokumentumait,
valamint azt, hogy ezek mik�nt illeszkednek egym�shoz.
A dokumentum az OWL Web Ontol�gia Nyelv k�l�nb�z� dialektusainak egym�ssal
�sszef�gg�, normat�v specifik�ci�it tartalmazza. (Az OWL nyelvet a W3C Web Ontol�gia Munkacsoport
(WebOnt) fejleszti). A Bevezet�st k�vet� 2.
fejezet az OWL Lite �s az OWL DL magas szint�, absztrakt szintaxis�t
specifik�lja. Az OWL Lite az OWL nyelvnek egy r�szhalmaza, az OWL DL pedig a
nyelvnek egy teljesebb dialektusa, amely azonban tartalmaz n�h�ny korl�toz�st
az ontol�gi�k konstrukci�j�ra. E korl�tok megsz�ntet�s�vel v�g�l a teljes OWL
nyelvhez jutunk, amelyet OWL Full-nak
nevez�nk. Ennek azonos a szintaxisa az RDF-�vel. Az OWL normat�v
adatcsere-szintaxisa az RDF/XML [RDF
Szintaxis]. Az OWL Referencia
dokumentum azt mutatja be, hogy mik�nt haszn�ljuk az RDF szintaxist
az OWL-ban, az OWL absztrakt szintaxis�nak RDF
gr�fokra [RDF Fogalmak]
t�rt�n� lek�pez�s�t pedig a jelen dokumentum 4. fejezete tartalmazza.
Ez a dokumentum k�t form�lis szemantik�t specifik�l az OWL sz�m�ra. Ezek
egyike, amelyet a 3. fejezetben, absztrakt
szintaxis seg�ts�g�vel �runk le, az OWL ontol�gi�k k�zvetlen,
szabv�nyos, modell-elm�leti szemantik�ja. A m�sik, amelyet az 5. fejezetben tal�lhat meg az olvas�, az RDF Szemantika sz�k�szleti kiterjeszt�se, mely
RDF gr�fok form�j�ban adja meg az OWL ontol�gi�k szemantik�j�t. Ez
ut�bbi szemantika k�t v�ltozatban �ll rendelkez�sre: az egyik k�zelebb �ll a
k�zvetlen szemantik�hoz (�s �gy az OWL DL szemantik�j�hoz), a m�sik
pedig olyan esetekben haszn�lhat�, ahol oszt�lyokat egyedekk�nt is kezeln�nk
kell, vagy m�s olyan esetekben, amelyeket nem lehet absztrakt szintaxissal
k�zvetlen�l �br�zolni (�s emiatt m�r az OWL Full szemantik�j�hoz tartoznak).
Ez a k�t v�ltozat egy�bk�nt nagyon k�zel �ll egym�shoz, �s csak abban t�rnek
el, hogy mik�nt osztj�k fel az univerzumot, vagy m�s sz�val: a t�mater�letet
(domain of discourse).
Az A. f�ggel�k annak bizony�t�s�t tartalmazza,
hogy a k�zvetlen, �s az RDFS-kompatibilis szemantik�nak
ugyanazok a k�vetkezm�nyei azokra OWL ontol�gi�kra, amelyek megfelelnek egy
olyan az absztrakt ontol�gi�nak, ahol diszjunkt halmazokat alkotnak az OWL
egyedek, az OWL oszt�lyok, az OWL tulajdons�gok, valamint az RDF, az RDFS �s
az OWL struktur�lis sz�k�szletei. Az A. f�ggel�k
t�bbek k�z�tt felv�zol egy bizony�t�st arra a t�telre is, hogy az OWL Full
nyelv RDF-kompatibilis szemantik�ja �ltal produk�lt k�vetkezm�ny (entailment)
mag�ban foglalja az OWL DL alnyelv RDFS-kompatibilis szemantik�ja �ltal
produk�lt �sszes k�vetkezm�nyt. �s v�g�l, a B.
f�ggel�k bemutat n�h�ny p�ld�t a lek�pez�sre (mapping) �s a
k�vetkezm�nyre (entailment).
Ezt a dokumentumot olyan olvas�k sz�m�ra tervezt�k, akik �rdekl�dnek az
OWL technikai r�szletei ir�nt. Ezt a le�r�st teh�t nem a tipikus olvas�knak
sz�nt�k; nekik val�sz�n�leg el�bb az [OWL
�tmutat�] dokumentumot kellene elolvasniuk. Az OWL
szintaxiselemz�k �s m�s szintaktikai eszk�z�k fejleszt�it els�sorban a 2. �s a 4. fejezet
tartalma �rdekelheti, m�g az OWL k�vetkeztet�g�pek �s egy�b szemantikai
eszk�z�k fejleszt�inek t�j�koz�d�s�t feltehet�leg a 3. �s az 5. fejezet fogja
legink�bb seg�teni.
C. f�ggel�k: V�ltoztat�sok az els� k�zirat publik�l�sa
�ta (Informat�v)
Ez a f�ggel�k informat�v m�don felsorolja azokat a v�ltoztat�sokat,
amelyeket ezen a dokumentumon az els� k�zirat vit�ra bocs�t�sa �ta
v�grehajtottak. Minden olyan l�nyegi v�ltoztat�st, amelyet a vita lez�r�sa
ut�n ak�r a szerz�k, ak�r a szerkeszt�k eszk�z�ltek a dokumentumon,
megjel�lt�k ebben a f�ggel�kben. [E
f�ggel�k magyar ford�t�s�t (olvas�i ig�ny eset�n) esetleg egy k�s�bbi
kiad�sban k�z�lj�k. L�sd az err�l sz�l� fenti megjegyz�st – a ford.]
C.1 Substantive changes after Last Call
This section provides information on the post Last Call changes to the
document that make changes to the specification of OWL.
- [10 April 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0046.html,
added owl:Class, owl:Restriction, owl:ObjectProperty, owl:DatatypeProperty, owl:AnnotationProperty, owl:OntologyProperty, owl:Ontology, owl:AllDifferent, owl:FunctionalProperty, owl:InverseFunctionalProperty, owl:SymmetricProperty, and owl:TransitiveProperty to CI in Section 5.2. Some of these were inferrable
already.
- [10 April 2003] Related to http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0046.html,
added owl:distinctMembers to RI in
Section 5.2.
- [15 April 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0064.html,
added owl:OntologyProperty to the disallowed
vocabulary in disallowed
OWL vocabulary in Section 4.2.
- [5 May 2003] Per a decision of the Web Ontology working group on 1 May
2003 to add owl:Nothing to OWL Lite, recorded
in http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017.html,
changed the introduction of
owl:Nothing to so indicate. The index for
owl:Nothing was also updated.
- [9 May 2003] To improve internal consistency, added optional rdf:Property types for Annotation Properties in Section 4.1.
- [30 May 2003] Per a decision of the Web Ontology working group on 29
May 2003 to modify the mapping of EquivalentClasses, recorded in http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0402.html
and in response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Apr/0003.html
and http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0052.html,
changed the mapping rule for EquivalentClasses(d1 ... dn) to T(di)
owl:equivalentTo T(dj) . for all <i,j> in G where G is a set of
pairs over {1,...,n} that if interpreted as an undirected graph forms a
connected graph for {1,...,n}.
- [30 May 2003] Per a decision of the Web Ontology working group on 29
May 2003 to add axioms for ontology properties, recorded in http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0402.html,
added axioms for ontology properties to the OWL Lite and OWL DL abstract
syntax in Sections 2.3.1.3. and Section 2.3.2.4; added direct semantics
conditions for ontology property axioms in Section 3.3; and added a mapping for ontology
property axioms in Section 4.1. Fixed the
proofs of Lemma 2 and Lemma 3.
- [30 May 2003] Per a decision of the Web Ontology working group on 29
May 2003 to change the semantics for owl:intersectionOf and related resources from an
intensional semantics to an extensional semantics, recorded in http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0402.html,
modified the semantic conditions for owl:intersectionOf, owl:unionOf, owl:complementOf, and owl:oneOf in Section
5.2. No change needed to be made to the proof of Lemma 1. Fixed the proofs of Lemma 4 and Lemma 2.
- [2 June 2003] In response to an observation by Jeremy Carroll in http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0004.html,
changed the mapping rule for anonymous individuals with no types slightly
in Section 4.1.
- [4 June 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0011.html,
the treatment of datatypes and rdfs:Literal has been slightly changed in
Section 2.3.1.3, Section 2.3.2.3, and Section 4.1.
- [4 June 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0050.html,
point owlsas-rdf-equivalent-class, modified the treatment of ontology
annotations in Section 3.4.
- [5 June 2003] In response to a comment by Jeremy Carroll in http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0004.html,
the direct semantics has been modified to allow for domain elements that
are not OWL individuals. These domain elements are used to provide
meaning for annotations on classes, properties, and ontologies. Changes
have been made in Section 3.1, Section 3.2, Section
3.3, and Appendix A.1.
- [6 June 2003] Changed the treatment of datatypes to correspond with the
substantive post-last-call fixes and changes to the treatment of
datatypes in RDF.
Changes have been made in Section 3.1 and
Appendix A.1.
- [26 June 2003] Per a decision of the Web Ontology working group on 26
June 2003 to replace owl:sameIndividualAs
with owl:sameAs, recorded in http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0364.html,
made changes to Section 2.2, Section 3.3, Section 4.1, Section 4.2, Section
5.2, and Appendix A.1.
- [30 June 2003] Fixed a bug in the semantic conditions for owl:hasValue noticed by Jeremy Carroll, changing
the conditions for the value from a property to an individual or a data
value in Section 5.2.
- [23 July 2003] In response to a substantive post-last-call change to
the RDF semantics, changing the if-and-only-if conditions for rdfs:subClassOf and rdfs:subPropertyOf to only-if conditions, added
if-and-only-if conditions for rdfs:subClassOf, over OWL classes, and rdfs:subPropertyOf, over OWL individual-valued
properties and over OWL datatype properties, to Section 5.2.
- [23 July 2003] In response to a substantive change to the RDF syntax
mapping to triples, removing the typing triples for collections,
[applicable document unknown], made typing of list resources optional in
Section 4.1. Also modified an example in
Appendix B.1.
C.2 Editorial changes after Last Call
This section provides information on post Last Call editorial changes to
the document, i.e., changes that do not affect the specification of OWL.
- [9 April 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0023.html,
point 2, changed ``most information about properties'' to ``most
information concerning properties'' in Section
2.3.
- [14 April 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0029.html,
point 1, added ``Because there is no standard way to go from a URI
reference to an XML Schema datatype in an XML Schema, there is no
standard way to use user-defined XML Schema datatypes in OWL.'' to the
discussion of allowable XML Schema datatypes in Section 2.
- [14 April 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0029.html,
point 2.1, added ``(The property rdf:type is added to the annotation
properties so as to provide a meaning for deprecation, see below.)'' after ``ER
provides meaning for URI references that are used as OWL properties.'' in
Section 3.1.
- [14 April 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0029.html,
point 2.3, added ``A datatype theory must contain datatypes for xsd:string and xsd:integer. It may contain datatypes for the other
built-in XML Schema
datatypes that are suitable for use in OWL. It may also contain other
datatypes, but there is no provision in the OWL syntax for conveying what
these datatypes are.'' just after the definition of a datatype theory in
Section 3.1.
- [14 April 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0029.html,
point 2.5, added ``annotations'' the the list of things that EC is
extended to in Section 3.2.
- [9 May 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0050.html,
point owlsas-rdf-datatype-denotation, removed the phrase ``as in RDF''
from Section 2.1.
- [9 May 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0050.html,
point owlsas-rdf-equivalent-class, added an explanation of why one might
admit EquivalentClasses with only one
description in Section 2.3.2.1.
- [9 May 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0050.html,
added ``, for n>=1 '' in the semantic condition for multi-restrictions
in Section 3.2.
- [9 May 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0050.html,
changed to ``include class identifiers and restrictions'' in Section 2.3.2.2 and ``Elements of the OWL
vocabulary that construct descriptions'' in Section 5.2.
- [13 May 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0180.html,
the links in the table of contents for in Appendix
A were fixed.
- [14 May 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0030.html,
added a new paragraph to the beginning of Section
4.
- [14 May 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0057.html,
made some changes to the wording on OWL ontologies in the abstract syntax
near the beginning of Section 2.1.
- [14 May 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0057.html,
added anchors to the transformations in Section 4.1.
- [14 May 2003] In response to some discussion about ontology names
changed the discussion of the purpose of ontology names in Section 2.1.
- [22 May 2003] In response to a message from Jeff Heflin, http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0302.html,
added a comment to the effect tools should determine entailment between
imports closures in Section 5.3 and Section 5.4. (Removed on 27 May 2003.)
- [22 May 2003] Changed ``consistent with the Web'' to ``imports closed''
Section 5.3 and Appendix A.
- [26 May 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0335.html,
changed several `if' to `iff' in definitions in Section 3.4, Section
5.3, and Section 5.4. This is editorial
as complete definitions are often written using `if'.
- [30 May 2003] Fixed a typographical error in the proof of Lemma 4.
- [4 June 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0029.html,
points 2.2 and 2.3, the status of rdfs:Literal and rdf:XMLLiteral has been clarified in Section 2, Section
2.1, and Section 4.2.
- [19 June 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0257.html,
changed to note after the proof of Theorem
2 in Appendix A.2 to note that the
converse of the theorem is not true.
- [19 June 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0055.html,
changed some explanatory text concerning the transformation to triples in
Section 4.1.
- [19 June 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0264.html,
added introductory material about the other WebOnt documents to Section 1.
- [24 June 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0069.html,
added note about correspondence to existing DLs to Section 2.
- [22 July 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Jul/0011.html
and http://lists.w3.org/Archives/Public/public-webont-comments/2003Jul/0041.html,
changed several uses of ``object'' to ``individual'' or
``individual-valued'' in Section 2 and Section 5.2 and made other editorial changes to
Section 5.2.
- [23 July 2003] To remove any reference to tools, made wording changes
in Section 3.1 and Section 2.1, concerning the treatment of
datatypes.
- [25 July 2003] In response to http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0064.html,
added explicit tagging of the informative or normative nature of all
sections.
- [25 July 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Jul/0296.html,
removed a comment about the relationship between the two model theories
from Section 1.
- [6 August 2003] In response to http://lists.w3.org/Archives/Public/www-webont-wg/2003Jul/0015.html,
changed owl:IndividualProperty to owl:ObjectProperty in Appendix
A.2.
- [6 August 2003] In response to Section
2.1, concerning the treatment http://lists.w3.org/Archives/Public/public-webont-comments/2003Apr/0064.html,
added quotes around rdfs:Literal to indicate
that it is a terminal, not a non-terminal, in Section 2.3.1.3 and Section 2.3.2.3.
C.3 Substantive changes after Candidate
Recommendation
This section provides information on the post Candidate Recommendation
changes to the document that make changes to the specification of OWL.
C.4 Editorial changes after Candidate
Recommendation
This section provides information on post Candidate Recommendation
editorial changes to the document, i.e., changes that do not affect the
specification of OWL.
C.5 Changes since Proposed
Recommendation
This section provides information on post Proposed Recommendation changes
to the document.
Az al�bbi t�bl�zat hipertext linkeket tartalmaz az OWL sz�k�szlet
�sszes elemeinek, valamint az RDF �s RDFS sz�k�szletek
egyes elemeinek, k�l�nb�z� szempont� defin�ci�ira, illetve ezek
magyar�zataira. Az els� oszlop linkjei az OWL DL elemeit defini�l� f�bb
absztrakt szintaxis t�mb�k le�r�saira mutatnak, amelyek a 2. fejezetben tal�lhat�k, a m�sodik oszlop linkjei
pedig az OWL Lite sz�k�szlet hasonl� defin�ci�it c�lozz�k meg. A harmadik
oszlop linkjei a sz�k�szlet elemeinek k�zvetlen-szemantikai
defin�ci�ira mutatnak, amelyek a 3. fejezetben
tal�lhat�k. A negyedik oszlop hipertext hivatkoz�sain kereszt�l a 4. fejezetben szerepl� lek�pez�si t�bl�zat azon
soraihoz juthatunk el, amelyekben az adott sz�k�szleti elem absztrakt
szintaxis�nak tripletekre t�rt�n� leford�t�sa l�that�. Az �t�dik oszlopban
l�v� hivatkoz�sokat k�vetve pedig a sz�k�szlet-k�vetkezm�ny elemeinek
RDFS-kompatibilis szemantikai defin�ci�in�l landolhatunk, amelyeket az 5. fejezet tartalmaz.
A DAML+OIL nyelvet, mely az OWL k�zvetlen el�fut�ra volt, egy �gens
jel�l�nyelv kidolgoz�s�ra l�trehozott k�z�s, eur�pai-amerikai ad hoc
bizotts�g, a Joint US/EU ad hoc
Agent Markup Language Committee fejlesztette ki. Sok olyan elv, mely a
DAML+OIL-ban, �s �gy az OWL-ban is megjelenik, kor�bban m�r megvolt az OIL (Ontology Inference
Layer) rendszerben is.
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.
- [RDF Fogalmak]
- Az RDF
Er�forr�s Le�r� Keretrendszer alapfogalmai �s absztrakt
szintaxisa, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k:
Graham Klyne �s Jeremy J. Carroll. A mindenkori legutols� (angol
nyelv�) v�ltozat: http://www.w3.org/TR/rdf-concepts/ .
- [RDF Szemantika]
- Az RDF
Szemantik�ja, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�:
Patrick Hayes. A mindenkori
legutols� (angol nyelv�) v�ltozat: http://www.w3.org/TR/rdf-mt/
.
- [RDF Szintaxis]
- Az
RDF/XML Szintaxis Specifik�ci�ja (�tdolgozott kiad�s), W3C
Aj�nl�s, 2004. febru�r 10. Szerkesztõ: Dave Beckett. A mindenkori legutols�
(angol nyelv�) v�ltozat: http://www.w3.org/TR/rdf-syntax-grammar/
.
- [RDF
Tesztsorozat]
- Az RDF
Tesztsorozata, W3C Aj�nl�s, 2004. febru�r 10. Szerkeszt�k:
Jan Grant �s Dave Beckett. A mindenkori legutols�
(angol nyelv�) v�ltozat: http://www.w3.org/TR/rdf-testcases/ .
- [XML]
- Extensible
Markup Language (XML) 1.0 (Second Edition). Tim Bray, Jean
Paoli, C. M. Sperberg-McQueen, and Eve Maler, eds. W3C Recommendation 6
October 2000. Latest version is available at http://www.w3.org/TR/REC-xml.
- [XML S�ma adatt�pusok]
- XML Schema
Part 2: Datatypes.. Paul V. Biron and Ashok Malhotra, eds.
W3C Recommendation 02 May 2001. Latest version is available at http://www.w3.org/TR/xmlschema-2/.
- [DAML+OIL]
- DAML+OIL
(March 2001) 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.
Latest version is available at http://www.w3.org/TR/daml+oil-reference.
- [OWL �tmutat�]
- Az OWL Web Ontol�gia
Nyelv – �tmutat�, W3C Aj�nl�s, 2004. febru�r 10.
Szerkeszt�k: Michael K. Smith, Chris Welty, �s Deborah L. McGuinness.
A mindenkori legutols� (angol
nyelv�) v�ltozat: http://www.w3.org/TR/owl-guide/
- [OWL Issues]
- Web Ontology
Issue Status. Michael K. Smith, ed. 27 June 2003.
- [OWL �ttekint�s]
- Az OWL Web
Ontol�gia Nyelv – �ttekint�s, W3C Aj�nl�s, 2004.
febru�r 10. Szerkeszt�k: Deborah L. McGuinness �s Frank van Harmelen.
A mindenkori legutols�
(angol nyelv�) v�ltozat: http://www.w3.org/TR/owl-features/ .
- [OWL Referencia]
- Az OWL Web Ontol�gia
Nyelv – Referencia, W3C Aj�nl�s, 2004. febru�r 10.
Szerkeszt�k: Mike Dean �s Guus Schreiber. A mindenkori legutols� (angol
nyelv�) v�ltozat: http://www.w3.org/TR/owl-ref/ .
- [RDF
Sz�k�szlet]
- 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 �s R. V. Guha. A mindenkori legutols� (angol
nyelv�) v�ltozat: //www.w3.org/TR/rdf-schema/ .