Az OWL Web Ontolgia Nyelv –
Szemantika s absztrakt szintaxis
(Ez a fordts a W3C Magyar Irodjnak megbzsbl, az
Informatikai s Hrkzlsi Minisztrium
tmogatsval kszlt)
- Az eredeti dokumentum:
- OWL Web Ontology Language
Semantics and Abstract Syntax
- http://www.w3.org/TR/2004/REC-owl-semantics-20040210/
- A lefordtott dokumentum:
- http://www.w3c.hu/forditasok/OWL/REC-owl-semantics-20040210/main.html
- Magyar fordts (Hungarian translation):
- © Pataki, Ern 2004 ([email protected])
- A fordts sttusa:
- Kzirat. Lezrva: 2004.12.10.
Utoljra mdostva: 2005.04.25.
- Ez a fordts a W3C engedlyvel, a fordtsokra elrt formai szablyok szerint, lelkiismeretes szakfordti munkval kszlt. Ennek ellenre nem lehet kizrni, hogy hibk maradtak a fordtsban. Emellett a magyar fordts nem is kveti felttlenl az eredeti angol nyelv dokumentumon vgrehajtott jvbeli vltoztatsokat. Ezrt a fordts nem tekinthet normatv W3C dokumentumnak. A dokumentum normatv, mindenkori legjabb, hivatalos, angol nyelv vltozatt lsd a W3C megfelel weblapjn: http://www.w3.org/TR/owl-semantics/
- Megjegyzsek a fordtshoz:
- 1.) A fordtssal kapcsolatos olvasi szrevteleket a fordt e-mail cmre krjk.
2.) A fordt a sajt megjegyzseit feltnen elklnti a dokumentum szvegben.
3.) A fordtssal kapcsolatos tovbbi informcikat, valamint a terminolgiai krdsek diszkusszijt lsd a Ksznetnyilvnts s megjegyzsek a magyar fordtshoz c. mellkletben.
4.) A W3C Magyar Irodja a lehetsgek szerint lefordttatja az OWL-ra s az RDF-re vonatkoz W3C ajnlsok legtbb dokumentumt. Ha teht egy lefordtott dokumentumbl olyan OWL/RDF dokumentumra trtnik hipertext-hivatkozs, mely magyar vltozatban is rendelkezsre ll, akkor a megfelel link ltalban a magyar vltozatra mutat. A kivtelt azok a hivatkozsok kpezik, amelyeknek a W3C szndkai szerint mindenkppen az eredeti dokumentumra kell mutatniuk.
5.) E dokumentum egyes fejezeteiben halmazalgebrai kifejezsek tmege szerepel. Ezek opertor-szimblumait azonban egyes browserek (vagy ezek egyes verzii) nem tudjk megjelenteni, s ez lehetetlenn teheti a dokumentum teljes megrtst. Ha az olvas kis ngyszg-szimblumokat lt a matematikai opertorok helyett, akkor prblja meg ms bngszvel olvasni a dokumentumot. (Tapasztalataink szerint, pl. a W3C Amaya browser-editora s a Mozilla bngsz a matematikai szimblumokat is kifogstalanul megjelenti.)
Az OWL Web Ontolgia Nyelv –
Szemantika s absztrakt szintaxis
W3C Ajnls, 2004. Februr 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/
- Elz verzi (angol eredeti):
- http://www.w3.org/TR/2003/PR-owl-semantics-20031215/
- Szerkesztk:
- 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
Krjk, kvesse figyelemmel a dokumentum eredeti angol nyelv vltozatra vonatkoz hibajegyzket, mert ez normatv korrekcikat is tartalmazhat.
Ez a tbb weblapbl ll dokumentum elrhet egy nem normative, egyetlen weblapbl ll, sszevont formban is (egyelre csak angol vltozatban).
A dokumentumrl tovbbi fordtsok is rendelkezsre llnak.
Copyright © 2004 W3C® (MIT, ERCIM, Keio), Minden jog fenntartva. Alkalmazandk a W3C felelssgi, vdjegyoltalmi, dokumentumhasznlati s szoftverlicenc elrsai.
Ez a dokumentum a W3C Web Ontolgia Munkacsoportja ltal tervezett OWL Web Ontolgia Nyelv formlis lersa, mely megadja az OWL DL-nek s az OWL Lite-nak, az OWL e kt alnyelvnek magas szint, absztrakt szintaxist. A lers tartalmaz egy olyan modell-elmleti szemantikt is, mely ezen absztrakt szintaxis segtsgvel definilja az OWL ontolgik formlis jelentst. A lersban szerepel egy msodik modell-elmleti szemantika is, mely az RDF szemantika kiterjesztse, s arra szolgl, hogy RDF grfok segtsgvel definilja az (OWL Full szint) ontolgik formlis szemantikai jelentst. A lers vgl tblzatosan sszefoglalja az absztrakt szintaxis RDF grfokra trtn lekpezsnek szablyait, majd kimutatja e kt modell-elmletrl, hogy azonosak a kvetkezmnyeik azokra az OWL ontolgikra nzve, amelyek az absztrakt szintaxissal kzvetlenl lerhatk.
A dokumentum sttusa
Ezt a dokumentumot a W3C Tagjai s ms rdekelt rsztvevk ellenriztk, s az Igazgat W3C Ajnlsknt hitelestette. Az Ajnls elksztsvel a W3C clja s szerepe az, hogy rirnytsa a figyelmet a specifikcira, s elsegtse annak szles kr alkalmazst. Ez megnveli a Web hasznlhatsgt, s javtja a Weben trtn egyttmkdst.
Ez a dokumentum annak a hat rszbl ll W3C Ajnlsnak egyik rsze, mely az OWL Web Ontolgia Nyelvet szabvnyostja. Ezt az Ajnlst a W3C Szemantikus Web Munkaprogramja keretben a Web Ontolgia Munkacsoport dolgozta ki, s 2004. februr 10. dtummal publiklta. (Lsd a Munkaprogram-nyilatkozatot s a, Munkacsoport Alapszablyt).
Az OWL konstrukcijnak a dokumentumok korbbi verzijban lert vltozatt jelentsen tdolgoztk, s ez a konstrukci kielgti a Munkacsoport technikai kvetelmnyeit. A Munkacsoport megvizsglta az sszes berkezett szrevtelt, s elvgezte a szksges javtsokat. Az Ajnlstervezet ta a jelen Ajnls megszletsig a dokumentumon vgrehajtott mdostsokat a Vltoztatsi napl rszletezi.
A Munkacsoport szvesen fogadja az szrevteleket a [email protected] (E-mail archvum) cmn, az idevg technolgik ltalnos vitjt pedig a [email protected] (E-mail archvum) cmn folytatja.
Rendelkezsre ll egy konszignci az ismert alkalmazsokrl.
A W3C listt vezet tovbb azokrl a felfedett szabadalmi ignyekrl is, amelyek ehhez a munkhoz kapcsoldnak.
Ez a szekci a dokumentumnak a publiklskor rvnyes sttust rgzti. Ms dokumentumok hatlytalanthatjk ezt a dokumentumot. A legjabb W3C publikcik listja, valamint e technikai riport utols kiadsa megtallhat a W3C technikai riportok indexben, a http://www.w3.org/TR/ alatt.
Fontos megjegyzsek e dokumentum magyar vltozatrl
A dokumentum fordtsnak els kiadsban – kltsgkmls s a gyorsabb megjelentets rdekben – nem fordtjuk le a dokumentum nhny olyan rszt, amelyekrl tudhat, hogy az angolul nem olvasknak csak egy nagyon elenysz kisebbsgt rdekelhetik. Nem fordtjuk le, tovbb a dokumentumhoz tartoz olyan, hipertext hivatkozssal elrhet kls dokumentumokat sem, amelyek lnyegben olyan kdszvegeket tartalmaznak, amelyeket nem lehet, s nem is szabad lefordtani. Mindenesetre, a nem fordtott rszeket – szerzi jogi okokbl – megtartjuk a szvegben, s a tartalomjegyzkben "[Ang.]" jelzssel jelljk meg. Egy kvetkez kiadsban a lefordthat rszek esetleg mr magyarul fognak megjelenni, most azonban az erfesztseket s a pnzgyi tmogatst a magyar olvas szmra fontosabb informcik kzreadsra kell fordtanunk.
A jelen dokumentumban mg nem fordtott, n. "nem normatv" rszek a kvetkezk:
A. fggelk: Matematikai bizonytsok (informatv). Olyan informcikat tartalmaz, amelyekre mg a nyelvet konkrtan implementlknak sincs felttlenl szksgk. Ez a fggelk ugyanis a megadott lekpezsek helyessgnek matematikai bizonytst adja.
C. fggelk: Vltoztatsok a dokumentum korbbi vltozatain (informatv). Ez a terjedelmes fggelk a vltoztatsok historikus jegyzke, mely lnyegben a W3C bels hasznlatra kszlt, s gy valsznleg rdektelen a magyar olvask szmra, akik mr a dokumentum legjabb vltozatrl kszlt fordts alapjn kezdhetik meg az OWL-lal val ismerkedst.
1. Bevezets (Informatv)
Ez a dokumentum az OWL Web Ontolgia Nyelv specifikcijnak egyik darabja. Az OWL ttekints lerja a nyelv specifikcijnak egyes dokumentumait, valamint azt, hogy ezek miknt illeszkednek egymshoz.
A dokumentum az OWL Web Ontolgia Nyelv klnbz dialektusainak egymssal sszefgg, normatv specifikciit tartalmazza. (Az OWL nyelvet a W3C Web Ontolgia Munkacsoport (WebOnt) fejleszti). A Bevezetst kvet 2. fejezet az OWL Lite s az OWL DL magas szint, absztrakt szintaxist specifiklja. Az OWL Lite az OWL nyelvnek egy rszhalmaza, az OWL DL pedig a nyelvnek egy teljesebb dialektusa, amely azonban tartalmaz nhny korltozst az ontolgik konstrukcijra. E korltok megszntetsvel vgl a teljes OWL nyelvhez jutunk, amelyet OWL Full-nak neveznk. Ennek azonos a szintaxisa az RDF-vel. Az OWL normatv adatcsere-szintaxisa az RDF/XML [RDF Szintaxis]. Az OWL Referencia dokumentum azt mutatja be, hogy miknt hasznljuk az RDF szintaxist az OWL-ban, az OWL absztrakt szintaxisnak RDF grfokra [RDF Fogalmak] trtn lekpezst pedig a jelen dokumentum 4. fejezete tartalmazza.
Ez a dokumentum kt formlis szemantikt specifikl az OWL szmra. Ezek egyike, amelyet a 3. fejezetben, absztrakt szintaxis segtsgvel runk le, az OWL ontolgik kzvetlen, szabvnyos, modell-elmleti szemantikja. A msik, amelyet az 5. fejezetben tallhat meg az olvas, az RDF Szemantika szkszleti kiterjesztse, mely RDF grfok formjban adja meg az OWL ontolgik szemantikjt. Ez utbbi szemantika kt vltozatban ll rendelkezsre: az egyik kzelebb ll a kzvetlen szemantikhoz (s gy az OWL DL szemantikjhoz), a msik pedig olyan esetekben hasznlhat, ahol osztlyokat egyedekknt is kezelnnk kell, vagy ms olyan esetekben, amelyeket nem lehet absztrakt szintaxissal kzvetlenl brzolni (s emiatt mr az OWL Full szemantikjhoz tartoznak). Ez a kt vltozat egybknt nagyon kzel ll egymshoz, s csak abban trnek el, hogy miknt osztjk fel az univerzumot, vagy ms szval: a tmaterletet (domain of discourse).
Az A. fggelk annak bizonytst tartalmazza, hogy a kzvetlen, s az RDFS-kompatibilis szemantiknak ugyanazok a kvetkezmnyei azokra OWL ontolgikra, amelyek megfelelnek egy olyan az absztrakt ontolginak, ahol diszjunkt halmazokat alkotnak az OWL egyedek, az OWL osztlyok, az OWL tulajdonsgok, valamint az RDF, az RDFS s az OWL strukturlis szkszletei. Az A. fggelk tbbek kztt felvzol egy bizonytst arra a ttelre is, hogy az OWL Full nyelv RDF-kompatibilis szemantikja ltal produklt kvetkezmny (entailment) magban foglalja az OWL DL alnyelv RDFS-kompatibilis szemantikja ltal produklt sszes kvetkezmnyt. s vgl, a B. fggelk bemutat nhny pldt a lekpezsre (mapping) s a kvetkezmnyre (entailment).
Ezt a dokumentumot olyan olvask szmra terveztk, akik rdekldnek az OWL technikai rszletei irnt. Ezt a lerst teht nem a tipikus olvasknak szntk; nekik valsznleg elbb az [OWL tmutat] dokumentumot kellene elolvasniuk. Az OWL szintaxiselemzk s ms szintaktikai eszkzk fejlesztit elssorban a 2. s a 4. fejezet tartalma rdekelheti, mg az OWL kvetkeztetgpek s egyb szemantikai eszkzk fejlesztinek tjkozdst feltehetleg a 3. s az 5. fejezet fogja leginkbb segteni.
C. fggelk: Vltoztatsok az els kzirat publiklsa ta (Informatv)
Ez a fggelk informatv mdon felsorolja azokat a vltoztatsokat, amelyeket ezen a dokumentumon az els kzirat vitra bocstsa ta vgrehajtottak. Minden olyan lnyegi vltoztatst, amelyet a vita lezrsa utn akr a szerzk, akr a szerkesztk eszkzltek a dokumentumon, megjelltk ebben a fggelkben. [E fggelk magyar fordtst (olvasi igny esetn) esetleg egy ksbbi kiadsban kzljk. Lsd az errl szl fenti megjegyzst – 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 albbi tblzat hipertext linkeket tartalmaz az OWL szkszlet sszes elemeinek, valamint az RDF s RDFS szkszletek egyes elemeinek, klnbz szempont definciira, illetve ezek magyarzataira. Az els oszlop linkjei az OWL DL elemeit definil fbb absztrakt szintaxis tmbk lersaira mutatnak, amelyek a 2. fejezetben tallhatk, a msodik oszlop linkjei pedig az OWL Lite szkszlet hasonl definciit clozzk meg. A harmadik oszlop linkjei a szkszlet elemeinek kzvetlen-szemantikai definciira mutatnak, amelyek a 3. fejezetben tallhatk. A negyedik oszlop hipertext hivatkozsain keresztl a 4. fejezetben szerepl lekpezsi tblzat azon soraihoz juthatunk el, amelyekben az adott szkszleti elem absztrakt szintaxisnak tripletekre trtn lefordtsa lthat. Az tdik oszlopban lv hivatkozsokat kvetve pedig a szkszlet-kvetkezmny elemeinek RDFS-kompatibilis szemantikai definciinl landolhatunk, amelyeket az 5. fejezet tartalmaz.
A DAML+OIL nyelvet, mely az OWL kzvetlen elfutra volt, egy gens jellnyelv kidolgozsra ltrehozott kzs, eurpai-amerikai ad hoc bizottsg, 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, korbban mr megvolt az OIL (Ontology Inference Layer) rendszerben is.
Ez a dokumentum azoknak a szles kr eszmecserknek s egyeztetseknek az eredmnye, melyeket a Web Ontolgia Munkacsoporton mint egszen bell folytattunk. A rsztvevk ebben a munkacsoportban: Yasser alSafadi, Jean-Franois 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, Jrme 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, Rdiger 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 Erforrs Ler Keretrendszer alapfogalmai s absztrakt szintaxisa, W3C Ajnls, 2004. februr 10. Szerkesztk: Graham Klyne s Jeremy J. Carroll. A mindenkori legutols (angol nyelv) vltozat: http://www.w3.org/TR/rdf-concepts/ .
- [RDF Szemantika]
- Az RDF Szemantikja, W3C Ajnls, 2004. februr 10. Szerkeszt: Patrick Hayes. A mindenkori legutols (angol nyelv) vltozat: http://www.w3.org/TR/rdf-mt/ .
- [RDF Szintaxis]
- Az RDF/XML Szintaxis Specifikcija (tdolgozott kiads), W3C Ajnls, 2004. februr 10. Szerkesztõ: Dave Beckett. A mindenkori legutols (angol nyelv) vltozat: http://www.w3.org/TR/rdf-syntax-grammar/ .
- [RDF Tesztsorozat]
- Az RDF Tesztsorozata, W3C Ajnls, 2004. februr 10. Szerkesztk: Jan Grant s Dave Beckett. A mindenkori legutols (angol nyelv) vltozat: 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 Sma adattpusok]
- 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 Ontolgia Nyelv – tmutat, W3C Ajnls, 2004. februr 10. Szerkesztk: Michael K. Smith, Chris Welty, s Deborah L. McGuinness. A mindenkori legutols (angol nyelv) vltozat: http://www.w3.org/TR/owl-guide/
- [OWL Issues]
- Web Ontology Issue Status. Michael K. Smith, ed. 27 June 2003.
- [OWL ttekints]
- Az OWL Web Ontolgia Nyelv – ttekints, W3C Ajnls, 2004. februr 10. Szerkesztk: Deborah L. McGuinness s Frank van Harmelen. A mindenkori legutols (angol nyelv) vltozat: http://www.w3.org/TR/owl-features/ .
- [OWL Referencia]
- Az OWL Web Ontolgia Nyelv – Referencia, W3C Ajnls, 2004. februr 10. Szerkesztk: Mike Dean s Guus Schreiber. A mindenkori legutols (angol nyelv) vltozat: http://www.w3.org/TR/owl-ref/ .
- [RDF Szkszlet]
- Az RDF Szkszlet Ler Nyelv 1.0: RDF Sma, W3C Ajnls, 2004. februr 10. Szerkesztk: Dan Brickley s R. V. Guha. A mindenkori legutols (angol nyelv) vltozat: //www.w3.org/TR/rdf-schema/ .