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.20625293 = sum of:
     0.20625293 = product of:
       0.6445404 = sum of:
         0.0053000115 = weight(abstract_txt:this in 4683) [ClassicSimilarity], result of:
           0.0053000115 = score(doc=4683,freq=2.0), product of:
             0.019879768 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.008238551 = queryNorm
             0.2666033 = fieldWeight in 4683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
         0.06341079 = weight(abstract_txt:formal in 4683) [ClassicSimilarity], result of:
           0.06341079 = score(doc=4683,freq=2.0), product of:
             0.103992544 = queryWeight, product of:
               2.2871542 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.008238551 = queryNorm
             0.60976285 = fieldWeight in 4683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
         0.065965794 = weight(abstract_txt:meaning in 4683) [ClassicSimilarity], result of:
           0.065965794 = score(doc=4683,freq=2.0), product of:
             0.10676756 = queryWeight, product of:
               2.3174694 = boost
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.008238551 = queryNorm
             0.61784494 = fieldWeight in 4683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
         0.055846732 = weight(abstract_txt:contains in 4683) [ClassicSimilarity], result of:
           0.055846732 = score(doc=4683,freq=1.0), product of:
             0.12038396 = queryWeight, product of:
               2.4608133 = boost
               5.9379854 = idf(docFreq=316, maxDocs=44218)
               0.008238551 = queryNorm
             0.4639051 = fieldWeight in 4683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9379854 = idf(docFreq=316, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
         0.06208627 = weight(abstract_txt:group in 4683) [ClassicSimilarity], result of:
           0.06208627 = score(doc=4683,freq=1.0), product of:
             0.16277105 = queryWeight, product of:
               4.0466714 = boost
               4.8823442 = idf(docFreq=910, maxDocs=44218)
               0.008238551 = queryNorm
             0.38143313 = fieldWeight in 4683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8823442 = idf(docFreq=910, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
         0.07802631 = weight(abstract_txt:working in 4683) [ClassicSimilarity], result of:
           0.07802631 = score(doc=4683,freq=1.0), product of:
             0.18955743 = queryWeight, product of:
               4.3669653 = boost
               5.268782 = idf(docFreq=618, maxDocs=44218)
               0.008238551 = queryNorm
             0.4116236 = fieldWeight in 4683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.268782 = idf(docFreq=618, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
         0.05853033 = weight(abstract_txt:language in 4683) [ClassicSimilarity], result of:
           0.05853033 = score(doc=4683,freq=1.0), product of:
             0.17914218 = queryWeight, product of:
               5.199408 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.008238551 = queryNorm
             0.32672557 = fieldWeight in 4683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
         0.25537416 = weight(abstract_txt:ontology in 4683) [ClassicSimilarity], result of:
           0.25537416 = score(doc=4683,freq=2.0), product of:
             0.41786057 = queryWeight, product of:
               9.169381 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.008238551 = queryNorm
             0.6111468 = fieldWeight in 4683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.078125 = fieldNorm(doc=4683)
       0.32 = coord(8/25)
   

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

   0.20590958 = sum of:
     0.20590958 = product of:
       0.7353914 = sum of:
         0.004497209 = weight(abstract_txt:this in 4405) [ClassicSimilarity], result of:
           0.004497209 = score(doc=4405,freq=4.0), product of:
             0.019879768 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.008238551 = queryNorm
             0.2262204 = fieldWeight in 4405, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.046875 = fieldNorm(doc=4405)
         0.038046475 = weight(abstract_txt:formal in 4405) [ClassicSimilarity], result of:
           0.038046475 = score(doc=4405,freq=2.0), product of:
             0.103992544 = queryWeight, product of:
               2.2871542 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.008238551 = queryNorm
             0.36585772 = fieldWeight in 4405, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.046875 = fieldNorm(doc=4405)
         0.037251763 = weight(abstract_txt:group in 4405) [ClassicSimilarity], result of:
           0.037251763 = score(doc=4405,freq=1.0), product of:
             0.16277105 = queryWeight, product of:
               4.0466714 = boost
               4.8823442 = idf(docFreq=910, maxDocs=44218)
               0.008238551 = queryNorm
             0.22885989 = fieldWeight in 4405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8823442 = idf(docFreq=910, maxDocs=44218)
               0.046875 = fieldNorm(doc=4405)
         0.0709313 = weight(abstract_txt:illustrate in 4405) [ClassicSimilarity], result of:
           0.0709313 = score(doc=4405,freq=1.0), product of:
             0.25005636 = queryWeight, product of:
               5.015662 = boost
               6.0514402 = idf(docFreq=282, maxDocs=44218)
               0.008238551 = queryNorm
             0.28366125 = fieldWeight in 4405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0514402 = idf(docFreq=282, maxDocs=44218)
               0.046875 = fieldNorm(doc=4405)
         0.0351182 = weight(abstract_txt:language in 4405) [ClassicSimilarity], result of:
           0.0351182 = score(doc=4405,freq=1.0), product of:
             0.17914218 = queryWeight, product of:
               5.199408 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.008238551 = queryNorm
             0.19603536 = fieldWeight in 4405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.046875 = fieldNorm(doc=4405)
         0.4333843 = weight(abstract_txt:ontology in 4405) [ClassicSimilarity], result of:
           0.4333843 = score(doc=4405,freq=16.0), product of:
             0.41786057 = queryWeight, product of:
               9.169381 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.008238551 = queryNorm
             1.0371505 = fieldWeight in 4405, product of:
               4.0 = tf(freq=16.0), with freq of:
                 16.0 = termFreq=16.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.046875 = fieldNorm(doc=4405)
         0.1161621 = weight(abstract_txt:cases in 4405) [ClassicSimilarity], result of:
           0.1161621 = score(doc=4405,freq=1.0), product of:
             0.43772253 = queryWeight, product of:
               9.384773 = boost
               5.6614056 = idf(docFreq=417, maxDocs=44218)
               0.008238551 = queryNorm
             0.2653784 = fieldWeight in 4405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6614056 = idf(docFreq=417, maxDocs=44218)
               0.046875 = fieldNorm(doc=4405)
       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.18890218 = sum of:
     0.18890218 = product of:
       0.78709245 = sum of:
         0.0052467436 = weight(abstract_txt:this in 4684) [ClassicSimilarity], result of:
           0.0052467436 = score(doc=4684,freq=1.0), product of:
             0.019879768 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.008238551 = queryNorm
             0.2639238 = fieldWeight in 4684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.109375 = fieldNorm(doc=4684)
         0.07818543 = weight(abstract_txt:contains in 4684) [ClassicSimilarity], result of:
           0.07818543 = score(doc=4684,freq=1.0), product of:
             0.12038396 = queryWeight, product of:
               2.4608133 = boost
               5.9379854 = idf(docFreq=316, maxDocs=44218)
               0.008238551 = queryNorm
             0.6494672 = fieldWeight in 4684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9379854 = idf(docFreq=316, maxDocs=44218)
               0.109375 = fieldNorm(doc=4684)
         0.12317672 = weight(abstract_txt:constructs in 4684) [ClassicSimilarity], result of:
           0.12317672 = score(doc=4684,freq=1.0), product of:
             0.1629936 = queryWeight, product of:
               2.863384 = boost
               6.9093957 = idf(docFreq=119, maxDocs=44218)
               0.008238551 = queryNorm
             0.75571513 = fieldWeight in 4684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9093957 = idf(docFreq=119, maxDocs=44218)
               0.109375 = fieldNorm(doc=4684)
         0.059074793 = weight(abstract_txt:document in 4684) [ClassicSimilarity], result of:
           0.059074793 = score(doc=4684,freq=1.0), product of:
             0.12582383 = queryWeight, product of:
               3.5578759 = boost
               4.2926083 = idf(docFreq=1642, maxDocs=44218)
               0.008238551 = queryNorm
             0.46950403 = fieldWeight in 4684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.2926083 = idf(docFreq=1642, maxDocs=44218)
               0.109375 = fieldNorm(doc=4684)
         0.16388494 = weight(abstract_txt:language in 4684) [ClassicSimilarity], result of:
           0.16388494 = score(doc=4684,freq=4.0), product of:
             0.17914218 = queryWeight, product of:
               5.199408 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.008238551 = queryNorm
             0.91483164 = fieldWeight in 4684, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.109375 = fieldNorm(doc=4684)
         0.35752383 = weight(abstract_txt:ontology in 4684) [ClassicSimilarity], result of:
           0.35752383 = score(doc=4684,freq=2.0), product of:
             0.41786057 = queryWeight, product of:
               9.169381 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.008238551 = queryNorm
             0.85560554 = fieldWeight in 4684, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.109375 = fieldNorm(doc=4684)
       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.17670678 = sum of:
     0.17670678 = product of:
       0.63109565 = sum of:
         0.0029981392 = weight(abstract_txt:this in 4647) [ClassicSimilarity], result of:
           0.0029981392 = score(doc=4647,freq=1.0), product of:
             0.019879768 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.008238551 = queryNorm
             0.1508136 = fieldWeight in 4647, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=4647)
         0.014504436 = weight(abstract_txt:many in 4647) [ClassicSimilarity], result of:
           0.014504436 = score(doc=4647,freq=1.0), product of:
             0.056864865 = queryWeight, product of:
               1.6912832 = boost
               4.081096 = idf(docFreq=2029, maxDocs=44218)
               0.008238551 = queryNorm
             0.2550685 = fieldWeight in 4647, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.081096 = idf(docFreq=2029, maxDocs=44218)
               0.0625 = fieldNorm(doc=4647)
         0.062129628 = weight(abstract_txt:formal in 4647) [ClassicSimilarity], result of:
           0.062129628 = score(doc=4647,freq=3.0), product of:
             0.103992544 = queryWeight, product of:
               2.2871542 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.008238551 = queryNorm
             0.5974431 = fieldWeight in 4647, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=4647)
         0.099541835 = weight(abstract_txt:constructs in 4647) [ClassicSimilarity], result of:
           0.099541835 = score(doc=4647,freq=2.0), product of:
             0.1629936 = queryWeight, product of:
               2.863384 = boost
               6.9093957 = idf(docFreq=119, maxDocs=44218)
               0.008238551 = queryNorm
             0.6107101 = fieldWeight in 4647, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.9093957 = idf(docFreq=119, maxDocs=44218)
               0.0625 = fieldNorm(doc=4647)
         0.046824265 = weight(abstract_txt:language in 4647) [ClassicSimilarity], result of:
           0.046824265 = score(doc=4647,freq=1.0), product of:
             0.17914218 = queryWeight, product of:
               5.199408 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.008238551 = queryNorm
             0.26138046 = fieldWeight in 4647, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.0625 = fieldNorm(doc=4647)
         0.25021455 = weight(abstract_txt:ontology in 4647) [ClassicSimilarity], result of:
           0.25021455 = score(doc=4647,freq=3.0), product of:
             0.41786057 = queryWeight, product of:
               9.169381 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.008238551 = queryNorm
             0.5987991 = fieldWeight in 4647, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=4647)
         0.1548828 = weight(abstract_txt:cases in 4647) [ClassicSimilarity], result of:
           0.1548828 = score(doc=4647,freq=1.0), product of:
             0.43772253 = queryWeight, product of:
               9.384773 = boost
               5.6614056 = idf(docFreq=417, maxDocs=44218)
               0.008238551 = queryNorm
             0.35383785 = fieldWeight in 4647, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6614056 = idf(docFreq=417, maxDocs=44218)
               0.0625 = fieldNorm(doc=4647)
       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.16929029 = sum of:
     0.16929029 = product of:
       0.6046082 = sum of:
         0.004240009 = weight(abstract_txt:this in 2393) [ClassicSimilarity], result of:
           0.004240009 = score(doc=2393,freq=2.0), product of:
             0.019879768 = queryWeight, product of:
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.008238551 = queryNorm
             0.21328263 = fieldWeight in 2393, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=2393)
         0.02112462 = weight(abstract_txt:documents in 2393) [ClassicSimilarity], result of:
           0.02112462 = score(doc=2393,freq=2.0), product of:
             0.057990838 = queryWeight, product of:
               1.7079456 = boost
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.008238551 = queryNorm
             0.36427513 = fieldWeight in 2393, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1213026 = idf(docFreq=1949, maxDocs=44218)
               0.0625 = fieldNorm(doc=2393)
         0.037315886 = weight(abstract_txt:meaning in 2393) [ClassicSimilarity], result of:
           0.037315886 = score(doc=2393,freq=1.0), product of:
             0.10676756 = queryWeight, product of:
               2.3174694 = boost
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.008238551 = queryNorm
             0.34950587 = fieldWeight in 2393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.0625 = fieldNorm(doc=2393)
         0.06436493 = weight(abstract_txt:correct in 2393) [ClassicSimilarity], result of:
           0.06436493 = score(doc=2393,freq=1.0), product of:
             0.15355937 = queryWeight, product of:
               2.7792814 = boost
               6.7064548 = idf(docFreq=146, maxDocs=44218)
               0.008238551 = queryNorm
             0.41915342 = fieldWeight in 2393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7064548 = idf(docFreq=146, maxDocs=44218)
               0.0625 = fieldNorm(doc=2393)
         0.033757024 = weight(abstract_txt:document in 2393) [ClassicSimilarity], result of:
           0.033757024 = score(doc=2393,freq=1.0), product of:
             0.12582383 = queryWeight, product of:
               3.5578759 = boost
               4.2926083 = idf(docFreq=1642, maxDocs=44218)
               0.008238551 = queryNorm
             0.26828802 = fieldWeight in 2393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.2926083 = idf(docFreq=1642, maxDocs=44218)
               0.0625 = fieldNorm(doc=2393)
         0.28892288 = weight(abstract_txt:ontology in 2393) [ClassicSimilarity], result of:
           0.28892288 = score(doc=2393,freq=4.0), product of:
             0.41786057 = queryWeight, product of:
               9.169381 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.008238551 = queryNorm
             0.69143367 = fieldWeight in 2393, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=2393)
         0.1548828 = weight(abstract_txt:cases in 2393) [ClassicSimilarity], result of:
           0.1548828 = score(doc=2393,freq=1.0), product of:
             0.43772253 = queryWeight, product of:
               9.384773 = boost
               5.6614056 = idf(docFreq=417, maxDocs=44218)
               0.008238551 = queryNorm
             0.35383785 = fieldWeight in 2393, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6614056 = idf(docFreq=417, maxDocs=44218)
               0.0625 = fieldNorm(doc=2393)
       0.28 = coord(7/25)