Document (#36688)

Editor
Smith, M.K., C. Welty u. D.L. Mc Guinness
Title
OWL Web Ontology Language Guide
Issue
W3C Recommendation 10 February 2004.
Source
http://www.w3.org/TR/owl-guide/
Year
2004
Abstract
The World Wide Web as it is currently constituted resembles a poorly mapped geography. Our insight into the documents and capabilities available are based on keyword searches, abetted by clever use of document connectivity and usage patterns. The sheer mass of this data is unmanageable without powerful tool support. In order to map this terrain more precisely, computational agents require machine-readable descriptions of the content and capabilities of Web accessible resources. These descriptions must be in addition to the human-readable versions of that information. The OWL Web Ontology Language is intended to provide a language that can be used to describe the classes and relations between them that are inherent in Web documents and applications. This document demonstrates the use of the OWL language to - formalize a domain by defining classes and properties of those classes, - define individuals and assert properties about them, and - reason about these classes and individuals to the degree permitted by the formal semantics of the OWL language. The sections are organized to present an incremental definition of a set of classes, properties and individuals, beginning with the fundamentals and proceeding to more complex language components.
Content
New Version Available: OWL 2 (Document Status Update, 12 November 2009).
Theme
Wissensrepräsentation
Semantic Web
Object
OWL

Similar documents (content)

  1. OWL 2 Web Ontology Language Document Overview (2009) 0.24
    0.24250215 = sum of:
      0.24250215 = product of:
        0.8660791 = sum of:
          0.05736427 = weight(abstract_txt:documents in 47) [ClassicSimilarity], result of:
            0.05736427 = score(doc=47,freq=3.0), product of:
              0.08567662 = queryWeight, product of:
                1.0692592 = boost
                4.123322 = idf(docFreq=1954, maxDocs=44421)
                0.019432653 = queryNorm
              0.66954404 = fieldWeight in 47, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.123322 = idf(docFreq=1954, maxDocs=44421)
                0.09375 = fieldNorm(doc=47)
          0.037408534 = weight(abstract_txt:document in 47) [ClassicSimilarity], result of:
            0.037408534 = score(doc=47,freq=1.0), product of:
              0.092922784 = queryWeight, product of:
                1.1135583 = boost
                4.29415 = idf(docFreq=1647, maxDocs=44421)
                0.019432653 = queryNorm
              0.40257657 = fieldWeight in 47, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.29415 = idf(docFreq=1647, maxDocs=44421)
                0.09375 = fieldNorm(doc=47)
          0.112590745 = weight(abstract_txt:ontology in 47) [ClassicSimilarity], result of:
            0.112590745 = score(doc=47,freq=2.0), product of:
              0.15374473 = queryWeight, product of:
                1.4323592 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.019432653 = queryNorm
              0.73232263 = fieldWeight in 47, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.09375 = fieldNorm(doc=47)
          0.13570215 = weight(abstract_txt:individuals in 47) [ClassicSimilarity], result of:
            0.13570215 = score(doc=47,freq=1.0), product of:
              0.25112888 = queryWeight, product of:
                2.2420526 = boost
                5.7639313 = idf(docFreq=378, maxDocs=44421)
                0.019432653 = queryNorm
              0.54036856 = fieldWeight in 47, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.7639313 = idf(docFreq=378, maxDocs=44421)
                0.09375 = fieldNorm(doc=47)
          0.14395033 = weight(abstract_txt:properties in 47) [ClassicSimilarity], result of:
            0.14395033 = score(doc=47,freq=1.0), product of:
              0.26120448 = queryWeight, product of:
                2.2865872 = boost
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.019432653 = queryNorm
              0.55110204 = fieldWeight in 47, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.09375 = fieldNorm(doc=47)
          0.14544275 = weight(abstract_txt:language in 47) [ClassicSimilarity], result of:
            0.14544275 = score(doc=47,freq=2.0), product of:
              0.26300675 = queryWeight, product of:
                3.2448595 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.019432653 = queryNorm
              0.5530001 = fieldWeight in 47, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.09375 = fieldNorm(doc=47)
          0.23362029 = weight(abstract_txt:classes in 47) [ClassicSimilarity], result of:
            0.23362029 = score(doc=47,freq=1.0), product of:
              0.4276897 = queryWeight, product of:
                3.7773414 = boost
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.019432653 = queryNorm
              0.5462378 = fieldWeight in 47, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.09375 = fieldNorm(doc=47)
        0.28 = coord(7/25)
    
  2. Wu, D.; Shi, J.: Classical music recording ontology used in a library catalog (2016) 0.18
    0.18309823 = sum of:
      0.18309823 = product of:
        0.7629093 = sum of:
          0.018910004 = weight(abstract_txt:about in 4179) [ClassicSimilarity], result of:
            0.018910004 = score(doc=4179,freq=1.0), product of:
              0.07726753 = queryWeight, product of:
                1.0154308 = boost
                3.9157467 = idf(docFreq=2405, maxDocs=44421)
                0.019432653 = queryNorm
              0.24473417 = fieldWeight in 4179, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9157467 = idf(docFreq=2405, maxDocs=44421)
                0.0625 = fieldNorm(doc=4179)
          0.15012099 = weight(abstract_txt:ontology in 4179) [ClassicSimilarity], result of:
            0.15012099 = score(doc=4179,freq=8.0), product of:
              0.15374473 = queryWeight, product of:
                1.4323592 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.019432653 = queryNorm
              0.9764302 = fieldWeight in 4179, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.0625 = fieldNorm(doc=4179)
          0.0904681 = weight(abstract_txt:individuals in 4179) [ClassicSimilarity], result of:
            0.0904681 = score(doc=4179,freq=1.0), product of:
              0.25112888 = queryWeight, product of:
                2.2420526 = boost
                5.7639313 = idf(docFreq=378, maxDocs=44421)
                0.019432653 = queryNorm
              0.3602457 = fieldWeight in 4179, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.7639313 = idf(docFreq=378, maxDocs=44421)
                0.0625 = fieldNorm(doc=4179)
          0.21458848 = weight(abstract_txt:properties in 4179) [ClassicSimilarity], result of:
            0.21458848 = score(doc=4179,freq=5.0), product of:
              0.26120448 = queryWeight, product of:
                2.2865872 = boost
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.019432653 = queryNorm
              0.82153445 = fieldWeight in 4179, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.0625 = fieldNorm(doc=4179)
          0.068562366 = weight(abstract_txt:language in 4179) [ClassicSimilarity], result of:
            0.068562366 = score(doc=4179,freq=1.0), product of:
              0.26300675 = queryWeight, product of:
                3.2448595 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.019432653 = queryNorm
              0.26068673 = fieldWeight in 4179, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.0625 = fieldNorm(doc=4179)
          0.22025932 = weight(abstract_txt:classes in 4179) [ClassicSimilarity], result of:
            0.22025932 = score(doc=4179,freq=2.0), product of:
              0.4276897 = queryWeight, product of:
                3.7773414 = boost
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.019432653 = queryNorm
              0.51499796 = fieldWeight in 4179, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.0625 = fieldNorm(doc=4179)
        0.24 = coord(6/25)
    
  3. Kiryakov, A.; Popov, B.; Terziev, I.; Manov, D.; Ognyanoff, D.: Semantic annotation, indexing, and retrieval (2004) 0.14
    0.13529088 = sum of:
      0.13529088 = product of:
        0.4831817 = sum of:
          0.024564814 = weight(abstract_txt:about in 1700) [ClassicSimilarity], result of:
            0.024564814 = score(doc=1700,freq=3.0), product of:
              0.07726753 = queryWeight, product of:
                1.0154308 = boost
                3.9157467 = idf(docFreq=2405, maxDocs=44421)
                0.019432653 = queryNorm
              0.317919 = fieldWeight in 1700, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.9157467 = idf(docFreq=2405, maxDocs=44421)
                0.046875 = fieldNorm(doc=1700)
          0.016559638 = weight(abstract_txt:documents in 1700) [ClassicSimilarity], result of:
            0.016559638 = score(doc=1700,freq=1.0), product of:
              0.08567662 = queryWeight, product of:
                1.0692592 = boost
                4.123322 = idf(docFreq=1954, maxDocs=44421)
                0.019432653 = queryNorm
              0.19328073 = fieldWeight in 1700, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.123322 = idf(docFreq=1954, maxDocs=44421)
                0.046875 = fieldNorm(doc=1700)
          0.018704267 = weight(abstract_txt:document in 1700) [ClassicSimilarity], result of:
            0.018704267 = score(doc=1700,freq=1.0), product of:
              0.092922784 = queryWeight, product of:
                1.1135583 = boost
                4.29415 = idf(docFreq=1647, maxDocs=44421)
                0.019432653 = queryNorm
              0.20128828 = fieldWeight in 1700, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.29415 = idf(docFreq=1647, maxDocs=44421)
                0.046875 = fieldNorm(doc=1700)
          0.07961368 = weight(abstract_txt:ontology in 1700) [ClassicSimilarity], result of:
            0.07961368 = score(doc=1700,freq=4.0), product of:
              0.15374473 = queryWeight, product of:
                1.4323592 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.019432653 = queryNorm
              0.5178303 = fieldWeight in 1700, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.046875 = fieldNorm(doc=1700)
          0.069443025 = weight(abstract_txt:descriptions in 1700) [ClassicSimilarity], result of:
            0.069443025 = score(doc=1700,freq=2.0), product of:
              0.17683607 = queryWeight, product of:
                1.5361629 = boost
                5.9238153 = idf(docFreq=322, maxDocs=44421)
                0.019432653 = queryNorm
              0.39269716 = fieldWeight in 1700, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.9238153 = idf(docFreq=322, maxDocs=44421)
                0.046875 = fieldNorm(doc=1700)
          0.071975164 = weight(abstract_txt:properties in 1700) [ClassicSimilarity], result of:
            0.071975164 = score(doc=1700,freq=1.0), product of:
              0.26120448 = queryWeight, product of:
                2.2865872 = boost
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.019432653 = queryNorm
              0.27555102 = fieldWeight in 1700, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.046875 = fieldNorm(doc=1700)
          0.20232108 = weight(abstract_txt:classes in 1700) [ClassicSimilarity], result of:
            0.20232108 = score(doc=1700,freq=3.0), product of:
              0.4276897 = queryWeight, product of:
                3.7773414 = boost
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.019432653 = queryNorm
              0.47305578 = fieldWeight in 1700, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.046875 = fieldNorm(doc=1700)
        0.28 = coord(7/25)
    
  4. Pross, T.: ¬An action-theory-based treatment of temporal individuals (2014) 0.11
    0.112039186 = sum of:
      0.112039186 = product of:
        0.5601959 = sum of:
          0.053075787 = weight(abstract_txt:ontology in 4408) [ClassicSimilarity], result of:
            0.053075787 = score(doc=4408,freq=1.0), product of:
              0.15374473 = queryWeight, product of:
                1.4323592 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.019432653 = queryNorm
              0.3452202 = fieldWeight in 4408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.0625 = fieldNorm(doc=4408)
          0.092590705 = weight(abstract_txt:descriptions in 4408) [ClassicSimilarity], result of:
            0.092590705 = score(doc=4408,freq=2.0), product of:
              0.17683607 = queryWeight, product of:
                1.5361629 = boost
                5.9238153 = idf(docFreq=322, maxDocs=44421)
                0.019432653 = queryNorm
              0.5235962 = fieldWeight in 4408, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.9238153 = idf(docFreq=322, maxDocs=44421)
                0.0625 = fieldNorm(doc=4408)
          0.2216007 = weight(abstract_txt:individuals in 4408) [ClassicSimilarity], result of:
            0.2216007 = score(doc=4408,freq=6.0), product of:
              0.25112888 = queryWeight, product of:
                2.2420526 = boost
                5.7639313 = idf(docFreq=378, maxDocs=44421)
                0.019432653 = queryNorm
              0.8824182 = fieldWeight in 4408, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.7639313 = idf(docFreq=378, maxDocs=44421)
                0.0625 = fieldNorm(doc=4408)
          0.09596688 = weight(abstract_txt:properties in 4408) [ClassicSimilarity], result of:
            0.09596688 = score(doc=4408,freq=1.0), product of:
              0.26120448 = queryWeight, product of:
                2.2865872 = boost
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.019432653 = queryNorm
              0.36740136 = fieldWeight in 4408, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.0625 = fieldNorm(doc=4408)
          0.09696183 = weight(abstract_txt:language in 4408) [ClassicSimilarity], result of:
            0.09696183 = score(doc=4408,freq=2.0), product of:
              0.26300675 = queryWeight, product of:
                3.2448595 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.019432653 = queryNorm
              0.3686667 = fieldWeight in 4408, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.0625 = fieldNorm(doc=4408)
        0.2 = coord(5/25)
    
  5. Belew, R.K.: Finding out about : a cognitive perspective on search engine technology and the WWW (2001) 0.10
    0.09950882 = sum of:
      0.09950882 = product of:
        0.35538864 = sum of:
          0.024564814 = weight(abstract_txt:about in 333) [ClassicSimilarity], result of:
            0.024564814 = score(doc=333,freq=3.0), product of:
              0.07726753 = queryWeight, product of:
                1.0154308 = boost
                3.9157467 = idf(docFreq=2405, maxDocs=44421)
                0.019432653 = queryNorm
              0.317919 = fieldWeight in 333, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.9157467 = idf(docFreq=2405, maxDocs=44421)
                0.046875 = fieldNorm(doc=333)
          0.023418866 = weight(abstract_txt:documents in 333) [ClassicSimilarity], result of:
            0.023418866 = score(doc=333,freq=2.0), product of:
              0.08567662 = queryWeight, product of:
                1.0692592 = boost
                4.123322 = idf(docFreq=1954, maxDocs=44421)
                0.019432653 = queryNorm
              0.27334023 = fieldWeight in 333, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.123322 = idf(docFreq=1954, maxDocs=44421)
                0.046875 = fieldNorm(doc=333)
          0.018680513 = weight(abstract_txt:them in 333) [ClassicSimilarity], result of:
            0.018680513 = score(doc=333,freq=1.0), product of:
              0.0928441 = queryWeight, product of:
                1.1130867 = boost
                4.292331 = idf(docFreq=1650, maxDocs=44421)
                0.019432653 = queryNorm
              0.20120302 = fieldWeight in 333, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.292331 = idf(docFreq=1650, maxDocs=44421)
                0.046875 = fieldNorm(doc=333)
          0.018704267 = weight(abstract_txt:document in 333) [ClassicSimilarity], result of:
            0.018704267 = score(doc=333,freq=1.0), product of:
              0.092922784 = queryWeight, product of:
                1.1135583 = boost
                4.29415 = idf(docFreq=1647, maxDocs=44421)
                0.019432653 = queryNorm
              0.20128828 = fieldWeight in 333, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.29415 = idf(docFreq=1647, maxDocs=44421)
                0.046875 = fieldNorm(doc=333)
          0.10178825 = weight(abstract_txt:properties in 333) [ClassicSimilarity], result of:
            0.10178825 = score(doc=333,freq=2.0), product of:
              0.26120448 = queryWeight, product of:
                2.2865872 = boost
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.019432653 = queryNorm
              0.38968801 = fieldWeight in 333, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.046875 = fieldNorm(doc=333)
          0.051421773 = weight(abstract_txt:language in 333) [ClassicSimilarity], result of:
            0.051421773 = score(doc=333,freq=1.0), product of:
              0.26300675 = queryWeight, product of:
                3.2448595 = boost
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.019432653 = queryNorm
              0.19551504 = fieldWeight in 333, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.1709876 = idf(docFreq=1863, maxDocs=44421)
                0.046875 = fieldNorm(doc=333)
          0.11681014 = weight(abstract_txt:classes in 333) [ClassicSimilarity], result of:
            0.11681014 = score(doc=333,freq=1.0), product of:
              0.4276897 = queryWeight, product of:
                3.7773414 = boost
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.019432653 = queryNorm
              0.2731189 = fieldWeight in 333, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.046875 = fieldNorm(doc=333)
        0.28 = coord(7/25)