Document (#36686)

Editor

Carroll, J.J. u. J. de Roo

Title

OWL Web Ontology Language Test Cases

Issue

W3C Recommendation 10 February 2004.

Source

http://www.w3.org/TR/owl-test/

Year

2004

Abstract

This document contains and presents test cases for the Web Ontology Language (OWL) approved by the Web Ontology Working Group. Many of the test cases illustrate the correct usage of the Web Ontology Language (OWL), and the formal meaning of its constructs. Other test cases illustrate the resolution of issues considered by the Working Group. Conformance for OWL documents and OWL document checkers is specified.

Content

New Version Available: OWL 2 (Document Status Update, 12 November 2009).

Theme

Wissensrepräsentation
Semantic Web

Object

OWL

Similar documents (content)

1. OWL Web Ontology Language Semantics and Abstract Syntax (2004) 0.21

   0.20605956 = sum of:
     0.20605956 = product of:
       0.64393616 = sum of:
         0.0052645155 = weight(abstract_txt:this in 683) [ClassicSimilarity], result of:
           0.0052645155 = score(doc=683,freq=2.0), product of:
             0.01980229 = queryWeight, product of:
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.008229575 = queryNorm
             0.26585388 = fieldWeight in 683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
         0.06360689 = weight(abstract_txt:formal in 683) [ClassicSimilarity], result of:
           0.06360689 = score(doc=683,freq=2.0), product of:
             0.10426676 = queryWeight, product of:
               2.2946436 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.008229575 = queryNorm
             0.6100399 = fieldWeight in 683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
         0.06600546 = weight(abstract_txt:meaning in 683) [ClassicSimilarity], result of:
           0.06600546 = score(doc=683,freq=2.0), product of:
             0.106871784 = queryWeight, product of:
               2.3231316 = boost
               5.59 = idf(docFreq=450, maxDocs=44421)
               0.008229575 = queryNorm
             0.61761355 = fieldWeight in 683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.59 = idf(docFreq=450, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
         0.05598359 = weight(abstract_txt:contains in 683) [ClassicSimilarity], result of:
           0.05598359 = score(doc=683,freq=1.0), product of:
             0.1206499 = queryWeight, product of:
               2.4683444 = boost
               5.9394164 = idf(docFreq=317, maxDocs=44421)
               0.008229575 = queryNorm
             0.4640169 = fieldWeight in 683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9394164 = idf(docFreq=317, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
         0.06211765 = weight(abstract_txt:group in 683) [ClassicSimilarity], result of:
           0.06211765 = score(doc=683,freq=1.0), product of:
             0.16291952 = queryWeight, product of:
               4.056429 = boost
               4.88036 = idf(docFreq=916, maxDocs=44421)
               0.008229575 = queryNorm
             0.38127813 = fieldWeight in 683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.88036 = idf(docFreq=916, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
         0.07807822 = weight(abstract_txt:working in 683) [ClassicSimilarity], result of:
           0.07807822 = score(doc=683,freq=1.0), product of:
             0.18975055 = queryWeight, product of:
               4.3777285 = boost
               5.266921 = idf(docFreq=622, maxDocs=44421)
               0.008229575 = queryNorm
             0.41147822 = fieldWeight in 683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.266921 = idf(docFreq=622, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
         0.05816576 = weight(abstract_txt:language in 683) [ClassicSimilarity], result of:
           0.05816576 = score(doc=683,freq=1.0), product of:
             0.1785001 = queryWeight, product of:
               5.2002254 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.008229575 = queryNorm
             0.3258584 = fieldWeight in 683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
         0.25471413 = weight(abstract_txt:ontology in 683) [ClassicSimilarity], result of:
           0.25471413 = score(doc=683,freq=2.0), product of:
             0.41738018 = queryWeight, product of:
               9.182019 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.008229575 = queryNorm
             0.61026883 = fieldWeight in 683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.078125 = fieldNorm(doc=683)
       0.32 = coord(8/25)
   

2. Sure, Y.; Erdmann, M.; Studer, R.: OntoEdit: collaborative engineering of ontologies (2004) 0.21

   0.2054986 = sum of:
     0.2054986 = product of:
       0.7339236 = sum of:
         0.0044670897 = weight(abstract_txt:this in 405) [ClassicSimilarity], result of:
           0.0044670897 = score(doc=405,freq=4.0), product of:
             0.01980229 = queryWeight, product of:
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.008229575 = queryNorm
             0.2255845 = fieldWeight in 405, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.046875 = fieldNorm(doc=405)
         0.03816413 = weight(abstract_txt:formal in 405) [ClassicSimilarity], result of:
           0.03816413 = score(doc=405,freq=2.0), product of:
             0.10426676 = queryWeight, product of:
               2.2946436 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.008229575 = queryNorm
             0.36602396 = fieldWeight in 405, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.046875 = fieldNorm(doc=405)
         0.03727059 = weight(abstract_txt:group in 405) [ClassicSimilarity], result of:
           0.03727059 = score(doc=405,freq=1.0), product of:
             0.16291952 = queryWeight, product of:
               4.056429 = boost
               4.88036 = idf(docFreq=916, maxDocs=44421)
               0.008229575 = queryNorm
             0.22876689 = fieldWeight in 405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.88036 = idf(docFreq=916, maxDocs=44421)
               0.046875 = fieldNorm(doc=405)
         0.071090855 = weight(abstract_txt:illustrate in 405) [ClassicSimilarity], result of:
           0.071090855 = score(doc=405,freq=1.0), product of:
             0.2505752 = queryWeight, product of:
               5.030676 = boost
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.008229575 = queryNorm
             0.28371063 = fieldWeight in 405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.046875 = fieldNorm(doc=405)
         0.034899455 = weight(abstract_txt:language in 405) [ClassicSimilarity], result of:
           0.034899455 = score(doc=405,freq=1.0), product of:
             0.1785001 = queryWeight, product of:
               5.2002254 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.008229575 = queryNorm
             0.19551504 = fieldWeight in 405, 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=405)
         0.4322642 = weight(abstract_txt:ontology in 405) [ClassicSimilarity], result of:
           0.4322642 = score(doc=405,freq=16.0), product of:
             0.41738018 = queryWeight, product of:
               9.182019 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.008229575 = queryNorm
             1.0356606 = fieldWeight in 405, product of:
               4.0 = tf(freq=16.0), with freq of:
                 16.0 = termFreq=16.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.046875 = fieldNorm(doc=405)
         0.1157673 = weight(abstract_txt:cases in 405) [ClassicSimilarity], result of:
           0.1157673 = score(doc=405,freq=1.0), product of:
             0.43698132 = queryWeight, product of:
               9.39515 = boost
               5.6517344 = idf(docFreq=423, maxDocs=44421)
               0.008229575 = queryNorm
             0.26492506 = fieldWeight in 405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6517344 = idf(docFreq=423, maxDocs=44421)
               0.046875 = fieldNorm(doc=405)
       0.28 = coord(7/25)
   

3. Bechhofer, S.; Harmelen, F. van; Hendler, J.; Horrocks, I.; McGuinness, D.L.; Patel-Schneider, P.F.; Stein, L.A.: OWL Web Ontology Language Reference (2004) 0.19

   0.1884104 = sum of:
     0.1884104 = product of:
       0.78504336 = sum of:
         0.0052116048 = weight(abstract_txt:this in 684) [ClassicSimilarity], result of:
           0.0052116048 = score(doc=684,freq=1.0), product of:
             0.01980229 = queryWeight, product of:
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.008229575 = queryNorm
             0.26318192 = fieldWeight in 684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.109375 = fieldNorm(doc=684)
         0.07837703 = weight(abstract_txt:contains in 684) [ClassicSimilarity], result of:
           0.07837703 = score(doc=684,freq=1.0), product of:
             0.1206499 = queryWeight, product of:
               2.4683444 = boost
               5.9394164 = idf(docFreq=317, maxDocs=44421)
               0.008229575 = queryNorm
             0.6496237 = fieldWeight in 684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9394164 = idf(docFreq=317, maxDocs=44421)
               0.109375 = fieldNorm(doc=684)
         0.12275029 = weight(abstract_txt:constructs in 684) [ClassicSimilarity], result of:
           0.12275029 = score(doc=684,freq=1.0), product of:
             0.1627107 = queryWeight, product of:
               2.8664894 = boost
               6.8974466 = idf(docFreq=121, maxDocs=44421)
               0.008229575 = queryNorm
             0.75440824 = fieldWeight in 684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8974466 = idf(docFreq=121, maxDocs=44421)
               0.109375 = fieldNorm(doc=684)
         0.059240546 = weight(abstract_txt:document in 684) [ClassicSimilarity], result of:
           0.059240546 = score(doc=684,freq=1.0), product of:
             0.12613156 = queryWeight, product of:
               3.5691862 = boost
               4.29415 = idf(docFreq=1647, maxDocs=44421)
               0.008229575 = queryNorm
             0.46967265 = fieldWeight in 684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.29415 = idf(docFreq=1647, maxDocs=44421)
               0.109375 = fieldNorm(doc=684)
         0.16286412 = weight(abstract_txt:language in 684) [ClassicSimilarity], result of:
           0.16286412 = score(doc=684,freq=4.0), product of:
             0.1785001 = queryWeight, product of:
               5.2002254 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.008229575 = queryNorm
             0.9124035 = fieldWeight in 684, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.109375 = fieldNorm(doc=684)
         0.3565998 = weight(abstract_txt:ontology in 684) [ClassicSimilarity], result of:
           0.3565998 = score(doc=684,freq=2.0), product of:
             0.41738018 = queryWeight, product of:
               9.182019 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.008229575 = queryNorm
             0.85437644 = fieldWeight in 684, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.109375 = fieldNorm(doc=684)
       0.24 = coord(6/25)
   

4. Koenderink, N.J.J.P.; Assem, M. van; Hulzebos, J.L.; Broekstra, J.; Top, J.L.: ROC: a method for proto-ontology construction by domain experts (2008) 0.18

   0.17625141 = sum of:
     0.17625141 = product of:
       0.62946934 = sum of:
         0.0029780597 = weight(abstract_txt:this in 647) [ClassicSimilarity], result of:
           0.0029780597 = score(doc=647,freq=1.0), product of:
             0.01980229 = queryWeight, product of:
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.008229575 = queryNorm
             0.15038967 = fieldWeight in 647, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=647)
         0.014515448 = weight(abstract_txt:many in 647) [ClassicSimilarity], result of:
           0.014515448 = score(doc=647,freq=1.0), product of:
             0.056926362 = queryWeight, product of:
               1.6955048 = boost
               4.0797825 = idf(docFreq=2041, maxDocs=44421)
               0.008229575 = queryNorm
             0.2549864 = fieldWeight in 647, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.0797825 = idf(docFreq=2041, maxDocs=44421)
               0.0625 = fieldNorm(doc=647)
         0.062321767 = weight(abstract_txt:formal in 647) [ClassicSimilarity], result of:
           0.062321767 = score(doc=647,freq=3.0), product of:
             0.10426676 = queryWeight, product of:
               2.2946436 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.008229575 = queryNorm
             0.5977146 = fieldWeight in 647, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=647)
         0.09919721 = weight(abstract_txt:constructs in 647) [ClassicSimilarity], result of:
           0.09919721 = score(doc=647,freq=2.0), product of:
             0.1627107 = queryWeight, product of:
               2.8664894 = boost
               6.8974466 = idf(docFreq=121, maxDocs=44421)
               0.008229575 = queryNorm
             0.6096539 = fieldWeight in 647, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.8974466 = idf(docFreq=121, maxDocs=44421)
               0.0625 = fieldNorm(doc=647)
         0.04653261 = weight(abstract_txt:language in 647) [ClassicSimilarity], result of:
           0.04653261 = score(doc=647,freq=1.0), product of:
             0.1785001 = queryWeight, product of:
               5.2002254 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.008229575 = queryNorm
             0.26068673 = fieldWeight in 647, 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=647)
         0.24956787 = weight(abstract_txt:ontology in 647) [ClassicSimilarity], result of:
           0.24956787 = score(doc=647,freq=3.0), product of:
             0.41738018 = queryWeight, product of:
               9.182019 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.008229575 = queryNorm
             0.59793895 = fieldWeight in 647, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0625 = fieldNorm(doc=647)
         0.15435639 = weight(abstract_txt:cases in 647) [ClassicSimilarity], result of:
           0.15435639 = score(doc=647,freq=1.0), product of:
             0.43698132 = queryWeight, product of:
               9.39515 = boost
               5.6517344 = idf(docFreq=423, maxDocs=44421)
               0.008229575 = queryNorm
             0.3532334 = fieldWeight in 647, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6517344 = idf(docFreq=423, maxDocs=44421)
               0.0625 = fieldNorm(doc=647)
       0.28 = coord(7/25)
   

5. Calegari, S.; Sanchez, E.: Object-fuzzy concept network : an enrichment of ontologies in semantic information retrieval (2008) 0.17

   0.16899095 = sum of:
     0.16899095 = product of:
       0.6035391 = sum of:
         0.0042116125 = weight(abstract_txt:this in 3393) [ClassicSimilarity], result of:
           0.0042116125 = score(doc=3393,freq=2.0), product of:
             0.01980229 = queryWeight, product of:
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.008229575 = queryNorm
             0.21268311 = fieldWeight in 3393, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=3393)
         0.021192206 = weight(abstract_txt:documents in 3393) [ClassicSimilarity], result of:
           0.021192206 = score(doc=3393,freq=2.0), product of:
             0.058147885 = queryWeight, product of:
               1.7135992 = boost
               4.123322 = idf(docFreq=1954, maxDocs=44421)
               0.008229575 = queryNorm
             0.3644536 = fieldWeight in 3393, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.123322 = idf(docFreq=1954, maxDocs=44421)
               0.0625 = fieldNorm(doc=3393)
         0.03733833 = weight(abstract_txt:meaning in 3393) [ClassicSimilarity], result of:
           0.03733833 = score(doc=3393,freq=1.0), product of:
             0.106871784 = queryWeight, product of:
               2.3231316 = boost
               5.59 = idf(docFreq=450, maxDocs=44421)
               0.008229575 = queryNorm
             0.349375 = fieldWeight in 3393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.59 = idf(docFreq=450, maxDocs=44421)
               0.0625 = fieldNorm(doc=3393)
         0.06441263 = weight(abstract_txt:correct in 3393) [ClassicSimilarity], result of:
           0.06441263 = score(doc=3393,freq=1.0), product of:
             0.15372358 = queryWeight, product of:
               2.7862017 = boost
               6.704255 = idf(docFreq=147, maxDocs=44421)
               0.008229575 = queryNorm
             0.41901594 = fieldWeight in 3393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.704255 = idf(docFreq=147, maxDocs=44421)
               0.0625 = fieldNorm(doc=3393)
         0.03385174 = weight(abstract_txt:document in 3393) [ClassicSimilarity], result of:
           0.03385174 = score(doc=3393,freq=1.0), product of:
             0.12613156 = queryWeight, product of:
               3.5691862 = boost
               4.29415 = idf(docFreq=1647, maxDocs=44421)
               0.008229575 = queryNorm
             0.26838437 = fieldWeight in 3393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.29415 = idf(docFreq=1647, maxDocs=44421)
               0.0625 = fieldNorm(doc=3393)
         0.28817615 = weight(abstract_txt:ontology in 3393) [ClassicSimilarity], result of:
           0.28817615 = score(doc=3393,freq=4.0), product of:
             0.41738018 = queryWeight, product of:
               9.182019 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.008229575 = queryNorm
             0.6904404 = fieldWeight in 3393, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0625 = fieldNorm(doc=3393)
         0.15435639 = weight(abstract_txt:cases in 3393) [ClassicSimilarity], result of:
           0.15435639 = score(doc=3393,freq=1.0), product of:
             0.43698132 = queryWeight, product of:
               9.39515 = boost
               5.6517344 = idf(docFreq=423, maxDocs=44421)
               0.008229575 = queryNorm
             0.3532334 = fieldWeight in 3393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6517344 = idf(docFreq=423, maxDocs=44421)
               0.0625 = fieldNorm(doc=3393)
       0.28 = coord(7/25)