Showing content from http://www.w3c.hu/forditasok/OWL/REC-owl-semantics-20040210/main.html below:
Az OWL Web Ontol�gia Nyelv -- Szemantika �s absztrakt szintaxis
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 (pataki.erno@w3c.hu)
-
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.
Absztrakt
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 public-webont-comments@w3.org (E-mail arch�vum) c�m�n, az idev�g� technol�gi�k �ltal�nos vit�j�t pedig a www-rdf-logic@w3.org (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.
A sz�k�szlet indexe (Informat�v)
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.
K�sz�netnyilv�n�t�s
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.
A hivatkoz�sok list�ja Normat�v hivatkoz�sok
-
[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/.
Egy�b hivatkoz�sok
-
[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/ .
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4