OWLを導入するオントロジーの開発者は、どのサブ言語が彼らのニーズに最適であるかを考慮するべきです。DLよりも表現力がある構成子を求めるかによります。Fullかの選択は、主としてユーザがRDFスキームのメタモデリング機能を要求する程度に依存します(例えば、クラスのクラスを定義する、あるいは、クラスにプロパティーを付与する)。DLと比較して、推論のサポートが予測できません。Fullは、RDFを拡張するものとして見ることができます。DLのドキュメントです。このために、ユーザがOWLへのRDFドキュメントにマイグレートしたい場合には、いくらかの注意を払わなければなりません。Liteによって付加された制約に適合することを保証するために、いくつかの予防策を講じなければなりません。クラス名として使用されるすべてのURIは、タイプ「owl:Class」(および、同様にプロパティーに対しても)であると明示的に断言されなければならず、すべての個体は少なくとも1つのクラス(owl:Thingのみであっても)属すると断言されなければならず、クラス、プロパティおよび個体に使用されたURIは相互に素でなければなりません。Liteにおける、これらおよび他の制約の詳細は、OWLリファレンスの付録Eで説明されます。Fullはこれらの機能の組み合わせ方法に関してより自由度があります)。Fullのすべての言語機能の簡易インデックスを提供します。このドキュメントでは、イタリック体の用語はOWL言語の用語です。用語がRDFあるいはRDFスキーマに既に存在している場合には、接頭辞「rdf:」や「rdfs:」を使用しています。それ以外の場合には、用語はOWLで導入されています。namespace)に存在していることを示します。クラスという用語は、より正確にはowl:Classという形で記述され、OWLで導入された用語です。Lite言語の構成子のリストは下記の通りです。Fullの言語構成子のリストは、下記の通りです。Lite言語機能に関する非形式的な記述を提供します。これらの機能の特定の構文については論じません(定義については、OWLリファレンスを参照してください)。それぞれの言語機能は、使用に関するより多くの例とガイダンスを提供するために、OWLガイドの適所にハイパーリンクされています。Fullと比べて機能の使用により多くの制約があります。Liteにおいては、クラスは名前付きスーパークラス(スーパークラスは任意の表現でありえません)に関してのみ定義することができ、ある種のクラス制約のみしか使用することができません。クラス間の同等性、およびクラス間のサブクラスの関係も、名前付きクラスの間でのみ許され、任意のクラス表現の間では許されません。Liteの制約は、名前付きクラスのみを使用します。明示的に示すことができるカーディナリティーは0もしくは1だけです。Liteの機能が含まれています。クラスは、個体がいくつかのプロパティーを共有するため、同類の個体のグループを定義します。デボラ(Deborah)とフランク(Frank)は両方ともクラス「人(Person)」のメンバーです。subClassOfを用いて、専門階層の形にまとめることができます。すべての個体のクラスであり、すべてのOWLのクラスのスーパークラスである「物事(Thing)」という名の最も一般的な組み込み済みクラスが存在しています。インスタンスを持たないクラスであり、すべてのOWLのクラスのサブクラスである「無(Nothing)」という名の最も限定的な組み込み済みクラスが存在しています。クラスの階層は、クラスが別のクラスのサブクラスであるという1つ以上のステートメントを行なうことにより作成することができます。クラス「人」はクラス「哺乳類(Mammal)」のサブクラスであると示すことができます。これによって推論システムは、個体が人ならば、それは哺乳類であると推論することができます。プロパティーは、個体間あるいは個体からデータ値に至るまでの関係を示すために使用することができます。プロパティーの例としては、「子を持つ(hasChild)」、「親戚を持つ(hasRelative)」、「兄弟を持つ(hasSibling)」、「年齢を持つ(hasAge)」などがあげられます。最初の3つは、クラス「人」を別のクラス「人」のインスタンスに関連付けるために使用でき(それゆえにObjectPropertyのオカレンス)、最後の「年齢を持つ」は、クラス「人」のインスタンスをデータ型「整数(Integer)」のインスタンスに関連付けることができます(それゆえにデータ型プロパティーのオカレンス)。owl:ObjectPropertyとowl:DatatypePropertyの両方は、RDFクラス「rdf:Property」のサブクラスです。プロパティーの階層は、プロパティーが1つ以上の別のプロパティーのサブプロパティーであるというステートメントを行うことによって作成できます。「兄弟を持つ」は「親戚を持つ」のサブプロパティーであると明示することができます。これによって推論システムは、「兄弟を持つ」プロパティーによって個体が別の個体に関係づけられている場合、「親戚を持つ」プロパティーによってもその別の個体に関係づけれられていると推論することができます。プロパティーの定義域は、プロパティーを適用することができる個体を制限します。プロパティーが別の個体に個体を関係づけ、そのプロパティーがその定義域の1つとしてクラスを持っていれば、個体はクラスに属しているはずです。プロパティー「子を持つ」は「哺乳類(Mammal)」の定義域を持っていると明示することができます。これによって推論システムは、フランクがアンナ(Anna)という「子を持っていれば」、フランクは「哺乳類」であるに違いないと推論することができます。制約はプロパティーにおいて明示され、しかも、特定のクラスに関係している場合にはプロパティーにおいてのみ明示されるわけではないため、rdfs:domainはグローバルな制約と呼ばれることに注意してください。プロパティーの制約に関する詳細については、以下の議論を参照してください。プロパティーの値域は、プロパティーがその値として持つことができる個体を制限します。プロパティーによって個体が別の個体に関連付けられていて、そのプロパティーがその値域としてクラスを持っている場合、その別の個体は値域クラスに属しているはずです。プロパティー「子を持つ」は、哺乳類の値域を持っていると明言することができます。これによって推論システムは、「子を持つ」プロパティーによって「ルィーズ(Louise)」が「デボラ」と関係づけられていれば(つまり、デボラがルィーズの子であれば)、デボラは哺乳類であると推論することができます。上記の定義域と同様に、値域もグローバルな制約です。この場合も、ローカルな制約(例えば、AllValuesFrom)に関する詳細については、以下の議論を参照してください。個体はクラスのインスタンスで、さらに、1つの個体を別の個体に関連付けるためにプロパティーを使用することができます。「デボラ」という名の個体をクラス「人」のインスタンスとして記述することができ、個体「デボラ」を個体「スタンフォード大学(StanfordUniversity)」に関連付けるためにプロパティー「雇い主を持つ(hasEmployer)」を使用することができます。Liteの機能には以下のものが含まれます。2つのクラスが同等であると明示することができます。同等なクラスは同じインスタンスを所有しています。同等は同義のクラスを作成するために使用することができます。「車(Car)」は「自動車(Automobile)」と「同等のクラス(equivalentClass)」であると明示することができます。これによって推論システムは、車のインスタンスである個体は自動車のインスタンスでもあると推論することができ、その逆も可能です。2つのプロパティーが同等であると明示することができます。同等なプロパティーは、1つの個体を別の個体の同じ集合に関連付けます。同等は、同義のプロパティーを作成するために使用することができます。「リーダーを持つ(hasLeader)」は「代表者を持つ(hasHead)」と「同じプロパティー(equivalentProperty)」であると明示することができます。これによって推論システムは、プロパティー「リーダーを持つ」によってXがYに関連付けられている場合、プロパティー「代表者を持つ」によってもXはYに関連付けられていると推論でき、その逆も可能です。推論システムは、「リーダーを持つ」が「代表者を持つ」のサブプロパティーであり、「代表者を持つ」が「リーダーを持つ」のサブプロパティーであると推論することも可能です。2つの個体が同じであると明示することができます。これらの構成子は、同じ個体を指し示す複数の別名を作成するために使用することができます。個体「デボラ」は「デボラ・マックギネス(DeborahMcGuinness)」と同じ個体であると明示することができます。個体は別の個体と異なると明示することができます。個体「フランク」は、個体「デボラ」や「ジム(Jim)」とは異なると明示することが可能です。したがって、個体「フランク」と「デボラ」の両方が関数型(Functional)であると明示されているプロパティーの値であれば(したがって、プロパティーは高々1つの値を持ちます)、矛盾があります。複数の個体がたった一つの名前を持ってるとはみなさないOWL(およびRDF)のような言語を使用する際には、個体が異なると明示することは重要でありえます。補足情報がなければ、OWLは「フランク」と「デボラ」が複数の別個の個体を示しているとは推論しないでしょう。複数の個体は1つのAllDifferentステートメントで互いに別物であると明示することができます。構成子AllDifferentを使用すれば、「フランク」、「デボラ」および「ジム」はお互いに別物であると明示することが可能です。上記のdifferentFromステートメントとは違って、これは、(「フランク」は「デボラ」と別個であり、「フランク」は「ジム」と別個であるということだけでなく)「ジム」と「デボラ」も別個であることまで明示します。構成子AllDifferentは、別個のオブジェクトの集合がある場合や、モデラー達(modelers)が、それらのオブジェクト集合内の単一名仮定を強化することに興味を持っている場合に、特に有用です。それは、リストのすべてのメンバーが別物であり対で素であることを明示するためにdistinctMembersとともに使用されます。Liteには、プロパティーおよびその値に関する情報を提供するために使用される特別な識別子が存在しています。ObjectPropertyとDatatypePropertyの違いについては、上記のプロパティの記述で言及されています。あるプロパティーが別のプロパティーの逆であると明示することができます。プロパティー「P1」がプロパティー「P2」の逆だと明示され、「P2」プロパティーによってXがYと関連付けられている場合、「P1」プロパティーによってYはXと関連付けられています。Deborah)」と推論することができます。プロパティーが推移的であると明示することができます。プロパティーが推移的である場合に、対(x,y)が推移的なプロパティー「P」のインスタンスであり、さらに対(y,z)が「P」のインスタンスであれば、対(x,z)も「P」のインスタンスです。「先祖(ancestor)」が推移的だと明示されていて、さらに「サラ(Sara)」が「ルィーズ」の先祖(つまり(サラ,ルィーズ)がプロパティ「先祖」のインスタンス)であり、さらにルィーズがデボラの先祖(つまり(ルィーズ,デボラ)はプロパティ「先祖」のインスタンス)ならば、推論システムはサラがデボラの先祖(つまり(サラ,デボラ)がプロパティ「先祖」のインスタンス)であると推論できます。DL)では、推移的なプロパティー(および、そのスーパープロパティー)が、maxCardinalityが「1」である制約を持つことができないという条件が課されています。DLは決定不能な(undecidable)言語になるでしょう。詳細については、OWLセマンティクスおよび抽象構文ドキュメントのプロパティー公理の項を参照してください。プロパティーは対称的であると明示することができます。プロパティーが対称的である場合に、対(x,y)が対称的なプロパティー「P」のインスタンスであれば、対(y,x)は「P」のインスタンスでもあります。「友達(friend)」は対称的なプロパティーだと明示することができます。すると「フランク」が「デボラ」の友人であるという条件を与えられた推論システムは、デボラがフランクの友人でもあると推論することができます。プロパティーはユニークな値を持つと明示することができます。プロパティーが「関数型プロパティー(FunctionalProperty)」である場合、それは、それぞれの個体に対して1つ以下の値しか持っていません(個体に対して値を持っていない可能性もあります)。この特性はユニークなプロパティーを持っているという表現で呼ばれてきました。FunctionalPropertyは、プロパティーの最小カーディナリティーが0であり、最大カーディナリティーが1であると明示することの省略表現です。「第一雇用主を持つ(hasPrimaryEmployer)」は関数型プロパティーであると明示することができます。これによって推論システムは、個体には2人以上の第一雇用主は存在しえないと推論することができます。これは、すべての人が少なくとも1人の第一雇用主を持っていなければならないということを意味しているわけではありません。プロパティーは逆関数型であると明示することができます。プロパティーが逆関数型である場合、プロパティーの逆は関数型です。したがって、プロパティーの逆はそれぞれの個体に対して高々1つの値を持っています。この特性も、一意なプロパティーとも呼ばれてきました。(米国民に対するユニークな識別子)を持つ(hasUSSocialSecurityNumber)」は、逆関数型である(あるいは一意である)と明示することができます。このプロパティー逆(「~の社会保障番号である(isTheSocialSecurityNumberFor)」と呼ぶことができる)は、社会保障番号のクラスの任意の個体に対して高々1つの値を持っています。したがって、ある1人の社会保障番号は、それらの「~の社会保障番号である(isTheSocialSecurityNumberFor)」プロパティーに対する唯一の値です。これによって推論システムは、「人」の2つの異なる個別のインスタンスが同じ米国社会保障番号を持っていないと推論することができます。推論システムは、「人」の2つのインスタンスが同じ社会保障番号を持っている場合、それらの2つのインスタンスが同じ個人を指していると推論することができます。Liteは、クラスのインスタンスがどのようにプロパティーを使用することができるかに対して制約が置かれることを可能にします。これらのタイプ(および、次の小項目のカーディナリティー制約)はowl:Restrictionのコンテクスト内で使用されます。owl:onProperty要素は、制約されたプロパティを示します。次の項の制約がどれだけの値が使用されるかを制限する一方で、次の2つの制約はどの値を使用することができるかを制限します。allValuesFrom制約は、プロパティーにおいてクラスに関して明示されます。これは、この特定のクラスのこのプロパティーが、それに関係のあるローカルな値域の制約を持つことができるということを意味します。したがって、クラスのインスタンスがプロパティーによって別の個体と関連付けられている場合、その第2の個体はローカルな値域の制約のクラスのインスタンスであると推論することができます。クラス「人」は、そのクラス「女性(Woman)」の「全ての値(allValuesFrom)」を持つように制約された「娘を持つ(hasDaughter)」と呼ばれるプロパティーを持つことができます。これは、個体の「人」である「ルィーズ」が「娘を持つ」プロパティーによって個体「デボラ」に関連付けられている場合、これによってデボラはクラス「女性」のインスタンスであると推論システムが推論することができるということを意味します。これにより、「娘を持つ」プロパティーを(クラス「猫(Cat)」などのような)他のクラスとともに使用でき、しかも、該当するクラスにおけるプロパティーの使用に関連した適切な値の制約を持つことが可能になります。このケースでは、「娘を持つ」は、クラス「猫」と関連している時にはローカルな値域の制約「猫」を持ち、クラス「人」と関連している時にはローカルな値域の制約「人」を持つことになります。allValuesFrom制約だけからでは、プロパティーに対して少なくとも1つの値が本当に存在すると推論システムが推論することはできないことに注意してください。someValuesFrom制約は、プロパティーにおいてクラスに関して明示されます。ある特定のクラスは、少なくとも1つの値が特定のタイプに属しているプロパティーにおいて制約を持つことができます。「セマンティック・ウェブ報告書(SemanticWebPaper)」クラスは、「キーワードを持つ(hasKeyword)」プロパティーにおいてsomeValuesFrom制約を持つことができ、それによって、「キーワードを持つ」プロパティーのある値が「セマンティック・ウェブ・トピック(SemanticWebTopic)」クラスのインスタンスであるはずだと明示することができます。これは、複数のキーワードを持つというオプションが可能で、1つ以上がクラス「セマンティック・ウェブ・トピック」のインスタンスである限り、報告書はsomeValuesFrom制約と矛盾していないと言えるでしょう。allValuesFromとは異なり、someValuesFromは、プロパティーのすべての値が同じクラスのインスタンスであるように制約するとは限りません。「私の報告書(myPaper)」がクラス「セマンティック・ウェブ報告書」のインスタンスであれば、「私の報告書」は「キーワードを持つ」プロパティーによって、クラス「セマンティック・ウェブ・トピック」の少なくとも1つのインスタンスと関連付けられています。「キーワードを持つ」のすべての値がクラス「セマンティック・ウェブ・トピック」のインスタンスであると推論システムが推論することが(allValuesFrom制約のようには)できないことに注意してください。Liteに含まれました。Lite)カーディナリティー制約は、プロパティーにおいて特定のクラスに関して明示されるため、ローカルな制約と呼ばれます。制約はそのクラスのインスタンスにおいて、そのプロパティーのカーディナリティーを制限します。Fullの場合と違って、カーディナリティーに対する任意の値を許しません)。カーディナリティーは、プロパティーにおいて特定のクラスに関して明示されます。minCardinality「1」がプロパティーにおいてクラスに関して明示される場合、そのクラスのあらゆるインスタンスはそのプロパティーによって少なくとも1つの個体と関連付けられているでしょう。この制約は、プロパティーがクラスのすべてのインスタンスに対する値を持つ必要があるということを言い換えたものです。全ての人が子孫を持っているわけではないため、クラス「人」は「子孫を持つ」プロパティーに関して明示する最小カーディナリティー制約を持っていません。クラス「親(Parent)」は「子孫を持つ」プロパティーに最小カーディナリティー「1」を持っています。「ルィーズ」が「人」であることを推論システムが知っていれば、彼女の「子孫を持つ」プロパティーの最小カーディナリティーに関して何も推論することができません。「ルィーズ」が「親」のインスタンスであることが発見されれば、推論システムはルィーズが「子孫を持つ」プロパティーによって少なくとも1つの個体に関連付けられていると推論ることができます。この情報のみから、推論システムがクラス「親」の個体(インスタンス)に対する子孫の最大数を推論することはできません。Liteで許されている唯一の最小カーディナリティーは0もしくは1のみです。プロパティーの最小カーディナリティーが「0」である場合は(それ以上の具体的な情報を欠く時は)、そのプロパティーがクラスに関してオプショナルであるということを単に示しているだけです。プロパティー「子孫を持つ」は、クラス「人」において最小カーディナリティー「0」を持つことができます(一方では、クラス「親」において最小カーディナリティー「1」より具体的な情報を持っていると明示されますが)。カーディナリティーは、プロパティーにおいて特定のクラスに関して明示されます。maxCardinality「1」がプロパティーにおいてクラスに関して明示される場合、そのクラスのあらゆるインスタンスはそのプロパティーによって高々1つの個体と関づけられているでしょう。maxCardinalityが「1」の制約は、関数型の、または、ユニークなプロパティーと呼ばれることがあります。クラス「米国民(UnitedStatesCitizens)」のプロパティー「登録選挙区(州)を持つ(hasRegisteredVotingState)」は、最大カーディナリティー「1」を持つことができます(人々は1つの州のみで投票することが認められているので)。これによって推論システムは、クラス「米国民(USCitizens)」の個体(インスタンス)が「登録選挙区(州)を持つ」プロパティーによって2つ以上の別個の個体とは関連付けられていないと推論することができます。最大カーディナリティー「1」の制約のみから、最小カーディナリティーは「1」であると推論システムが推論することはできません。特定のプロパティーに対する値を持たないクラスもあると明示することは有用かもしれません。クラス「未婚者(UnmarriedPerson)」のインスタンスは、プロパティー「配偶者を持つ(hasSpouse)」によっていかなる個体とも関連付けられるべきではありません。この状況は、クラス「未婚者」の「配偶者を持つ」プロパティーにおいて最大カーディナリティー「0」によって表されます。クラスのプロパティーが、minCardinality「0」とmaxCardinality「0」の両方、あるいは、minCardinality「1」とmaxCardinality「1」の両方を持っていると明示することが有効な場合、カーディナリティーは便宜的に提供されます。クラス「人」はプロパティー「生みの親を持つ(hasBirthMother)」に対してきっかり1つの値を持っています。これによって推論システムは、「母親(Mother)」の2人の別個の個体(インスタンス)が同一人物の「生みの親を持つ」プロパティーに対する値ではないと推論できます。これらの制約付きのカーディナリティーの代わりとなる名前について議論されました。現在推薦できるのは、フロント・エンド・システムにそのような名前も含むことです。このトピックについての詳細は、最も関連のあるメッセージhttp://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0063.htmlも含み、Webontの公開メール・アーカイブで入手できます。Liteは積集合(intersection)コンストラクタを含んでいるけれども、その使用には制限があります。Liteでは名前付きクラスと制約の積集合が許されています。」として記述することができます。これにより推論システムは、特定の「就業者」は少なくとも1人の雇用者を持っていると推論することができます。OWLデータ型OWLはデータ値に対してRDFメカニズムを使用します。XMLスキーマ・データ型から大部分を採り入れた組み込みOWLデータ型についてのより詳細な記述に関しては、OWLガイドのデータ型の項を参照してください。Liteは、オントロジーの包含および関係、そして、オントロジーに付随する情報の概念をサポートしています。詳細はOWLリファレンスを、そして、例はOWLガイドを参照してください。Liteでは、クラス、プロパティ、個体およびオントロジー・ヘッダーに関するアノテーションが許されています。これらのアノテーションの使用は、ある制限に従います。詳細に関しては、OWLリファレンスにおけるアノテーションに関する項を参照してください。Liteバージョン付けRDFは、バージョン付け情報を記述するための小規模な語彙を既に備えています。OWLは、この語彙を大きく拡張します。詳細に関しては、OWLリファレンスを参照してください。Fullは両方とも同じ語彙を使用します。DLはタイプ分離(クラスは個体でもプロパティーでもありえなく、プロパティーは個体あるいはクラスでもありえない)を要求します。Fullでは可能)を暗示しています。DLでは、プロパティーがObjectPropertiesあるいはDatatypePropertiesのいずれかである必要があります。ObjectPropertiesが2つのクラスのインスタンス間の関係である一方、DatatypePropertiesはクラスおよびRDFリテラルのインスタンスとXMLスキーマ・データ型の間の関係です。OWLセマンティクスおよび抽象構文のドキュメントでは、識別および制限について説明しています。Fullの語彙について記述しています。クラスは、クラスを構成している個体を列挙することによって記述することができます。クラスのメンバーは、列挙された個体セットそのものであり、それ以上でも、それ以下でもありません。個体を単に列挙することにより記述することができます。これによって推論システムは、そのallValuesFrom制約としてdaysOfTheWeekを持っているプロパティーの最大カーディナリティーは(7)であると推論することができます。プロパティーは値としてある個体を持っていることを要求されることがあります(プロパティー値と呼ばれることもあります)。「オランダ国民(dutchCitizens)」のクラスのインスタンスは、国籍の値として「ネザーランド(theNetherlands)」を持っている人々であると見なすことができます。(国籍の値「ネザーランド」は、国籍のクラスのインスタンスの1つです)。クラス同士は、互いに素であると明示することができます。男性と女性は互いに素のクラスであると明示することができます。このdisjointWithステートメントによって推論システムは、ある個体が両方のインスタンスであると明示されるときには矛盾があると推論することができ、同様に、Aが男性のインスタンスであれば、Aは女性のインスタンスではないと推論することができます。Fullでは、クラスおよび制約の任意のブール組合せ(unionOf、complementOf、および、intersectionOf)が可能です。和集合(unionOf)を使用すると、クラスが「米国市民」あるいは「オランダ市民」のいずれかを含むと明示することができます。補集合(complementOf)を使用すると、子供は「高齢者(SeniorCitizens)」ではないと明示することができます。(つまり、クラス「子供(Children)」は「高齢者」の補集合のサブクラスです)。欧州連合の市民権は、すべての加盟国の市民権の和集合(union)であると表現することができます。OWLでは任意の非負整数に対するカーディナリティー・ステートメントが可能です。Kids」)のクラスは、プロパティー「収入を持つ(hasIncome)」のカーディナリティーを最小カーディナリティー「2」に制約するでしょう(「子を持つ」プロパティーは、カーディナリティー0に制限されるでしょうが)。Liteは構文を単一のクラス名(例えば、subClassOfまたはequivalentClassのステートメントの)に制約します。Fullでは、この制約を拡張し、任意の複合クラス記述、列挙型クラスの構成、プロパティー制約、および、ブール組合せが可能です。このトピックについての詳細については、「ガイド」ドキュメントの「使用設計」の項を参照してください。要約このドキュメントは、なぜウェブ・オントロジー言語が必要かもしれないのか、また、OWLがどのように関連のW3C言語と調和するかに関して簡潔に紹介することにより、ウェブ・オントロジー言語の概要を提供しています。Fullおよびそれぞれの言語の機能概要)の簡潔な解説も提供しています。このドキュメントは「機能概要」ドキュメントのアップデート版です。簡潔な例を用いて構成子の簡単な説明を提供しています。詳細については、OWLリファレンスドキュメント、OWLガイド、およびOWLセマンティクスおよび抽象構文ドキュメントを参照してください。Liteの進化の歴史的な概観およびその進化で議論された問題に関してご覧になれます。http://www.w3.org/TR/2004/REC-owl-guide-20040210/。最新バージョンは、http://www.w3.org/TR/owl-guide/で入手可能です。http://www.w3.org/TR/2004/REC-owl-ref-20040210/。最新バージョンは、http://www.w3.org/TR/owl-ref/で入手可能です。http://www.w3.org/TR/2004/REC-owl-semantics-20040210/。最新バージョンは、http://www.w3.org/TR/owl-semantics/で入手可能です。http://www.w3.org/TR/2004/REC-owl-test-20040210/。最新バージョンは、http://www.w3.org/TR/owl-test/で入手可能です。http://www.w3.org/TR/2004/REC-webont-req-20040210/。最新バージョンは、http://www.w3.org/TR/webont-req/で入手可能です。http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/。最新バージョンは、http://www.w3.org/TR/rdf-syntax-grammar/で入手可能です。http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/。最新バージョンは、http://www.w3.org/TR/rdf-concepts/で入手可能です。http://www.w3.org/TR/2004/REC-rdf-schema-20040210/。最新バージョンは、http://www.w3.org/TR/rdf-schema/で入手可能です。http://www.w3.org/TR/2004/REC-rdf-mt-20040210/。最新バージョンは、http://www.w3.org/TR/rdf-mt/で入手可能です。.謝辞このドキュメントは、総じてウェブ・オントロジー・ワーキンググループ内で積み重ねられた議論の結果です。Liteにowl:Nothingを追加。タイトルの下の最終草案ドキュメントに指示子を追加。owl-absynへのすべてのリンクをowl-semanticsに変更。Lacyの文法に関するコメントを組み込んだ。Lacyの他のコメントを組み込んだ。それらは、アノテーション・プロパティ、バージョン・プロパティ、および他の2.2の欠落したタグ(その結果、再編成された)。Frederiksenの要請)。置き換え、および様々な誤植を含む、Lasillaの全てのコメントを組み込んだ。Liteのクラスに関する文を追加。Hawkeのコメントの後に、第1項に最初の文を追加。スタイル・ファイルへのリンクを復帰。テスト・ドキュメントおよび5月1日バージョンへのリンクを追加。項への相対参照に戻した。全ての行末のCtrl-Mを削除。Rafterのパブリック・ウェブオント・コメントを組み込んだ。ステータス、ドキュメント・リンク、発行日、その他を議長からのPRemailにより更新。Overview_files/を参照することにより参照されていた。W3Cアイコン(http://www.w3.org/Icons/w3c_home)およびemailのgif(http://www.w3.org/2001/sw/WebOnt/guide-src/Email.Deborah.McGuinness.gif)に全面的拡張を加えた。新バージョン移行で開始された全ての行末のCtrl-Mを削除。2003年12月に旧バージョンにリンクを追加。Lacyのコメントを採用した2004年1月12日付けの最新ドキュメントを更新。Nowackの編集コメントを収録。リファレンス・フォーマットを。