Document (#36684)

Editor

Patel-Schneider, P.F., P. Hayes u . I. Horrocks

Title

OWL Web Ontology Language Semantics and Abstract Syntax

Issue

W3C Recommendation 10 February 2004.

Source

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

Year

2004

Abstract

This description of OWL, the Web Ontology Language being designed by the W3C Web Ontology Working Group, contains a high-level abstract syntax for both OWL DL and OWL Lite, sublanguages of OWL. A model-theoretic semantics is given to provide a formal meaning for OWL ontologies written in this abstract syntax. A model-theoretic semantics in the form of an extension to the RDF semantics is also given to provide a formal meaning for OWL ontologies as RDF graphs (OWL Full). A mapping from the abstract syntax to RDF graphs is given and the two model theories are shown to have the same consequences on OWL ontologies that can be written in the abstract syntax.

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 Overview (2004) 0.61

   0.6076931 = sum of:
     0.6076931 = product of:
       1.3811207 = sum of:
         0.020963443 = weight(abstract_txt:full in 682) [ClassicSimilarity], result of:
           0.020963443 = score(doc=682,freq=1.0), product of:
             0.054484103 = queryWeight, product of:
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.01106285 = queryNorm
             0.38476256 = fieldWeight in 682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.02116961 = weight(abstract_txt:designed in 682) [ClassicSimilarity], result of:
           0.02116961 = score(doc=682,freq=1.0), product of:
             0.05484074 = queryWeight, product of:
               1.0032675 = boost
               4.941053 = idf(docFreq=862, maxDocs=44421)
               0.01106285 = queryNorm
             0.38601977 = fieldWeight in 682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.941053 = idf(docFreq=862, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.02546836 = weight(abstract_txt:language in 682) [ClassicSimilarity], result of:
           0.02546836 = score(doc=682,freq=1.0), product of:
             0.07815775 = queryWeight, product of:
               1.6938156 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.01106285 = queryNorm
             0.3258584 = fieldWeight in 682, 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=682)
         0.15633418 = weight(abstract_txt:lite in 682) [ClassicSimilarity], result of:
           0.15633418 = score(doc=682,freq=1.0), product of:
             0.20796841 = queryWeight, product of:
               1.9537265 = boost
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.01106285 = queryNorm
             0.7517208 = fieldWeight in 682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.24151935 = weight(abstract_txt:sublanguages in 682) [ClassicSimilarity], result of:
           0.24151935 = score(doc=682,freq=2.0), product of:
             0.2205901 = queryWeight, product of:
               2.0121396 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.01106285 = queryNorm
             1.0948784 = fieldWeight in 682, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.083552405 = weight(abstract_txt:formal in 682) [ClassicSimilarity], result of:
           0.083552405 = score(doc=682,freq=2.0), product of:
             0.1369622 = queryWeight, product of:
               2.2422316 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.01106285 = queryNorm
             0.6100399 = fieldWeight in 682, 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=682)
         0.067770824 = weight(abstract_txt:written in 682) [ClassicSimilarity], result of:
           0.067770824 = score(doc=682,freq=1.0), product of:
             0.1500836 = queryWeight, product of:
               2.3471818 = boost
               5.779889 = idf(docFreq=372, maxDocs=44421)
               0.01106285 = queryNorm
             0.45155382 = fieldWeight in 682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.779889 = idf(docFreq=372, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.08872053 = weight(abstract_txt:ontology in 682) [ClassicSimilarity], result of:
           0.08872053 = score(doc=682,freq=1.0), product of:
             0.20559753 = queryWeight, product of:
               3.3646097 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.01106285 = queryNorm
             0.43152526 = fieldWeight in 682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.21746045 = weight(abstract_txt:semantics in 682) [ClassicSimilarity], result of:
           0.21746045 = score(doc=682,freq=2.0), product of:
             0.32650632 = queryWeight, product of:
               4.895994 = boost
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.01106285 = queryNorm
             0.6660222 = fieldWeight in 682, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.20914306 = weight(abstract_txt:abstract in 682) [ClassicSimilarity], result of:
           0.20914306 = score(doc=682,freq=1.0), product of:
             0.4317646 = queryWeight, product of:
               6.2946796 = boost
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.01106285 = queryNorm
             0.4843914 = fieldWeight in 682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
         0.24901845 = weight(abstract_txt:syntax in 682) [ClassicSimilarity], result of:
           0.24901845 = score(doc=682,freq=1.0), product of:
             0.48503426 = queryWeight, product of:
               6.671697 = boost
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.01106285 = queryNorm
             0.51340383 = fieldWeight in 682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.078125 = fieldNorm(doc=682)
       0.44 = coord(11/25)
   

2. Köstlbacher, A. (Übers.): OWL Web Ontology Language Überblick (2004) 0.25

   0.25295642 = sum of:
     0.25295642 = product of:
       0.90341574 = sum of:
         0.020963443 = weight(abstract_txt:full in 681) [ClassicSimilarity], result of:
           0.020963443 = score(doc=681,freq=1.0), product of:
             0.054484103 = queryWeight, product of:
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.01106285 = queryNorm
             0.38476256 = fieldWeight in 681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9249606 = idf(docFreq=876, maxDocs=44421)
               0.078125 = fieldNorm(doc=681)
         0.02546836 = weight(abstract_txt:language in 681) [ClassicSimilarity], result of:
           0.02546836 = score(doc=681,freq=1.0), product of:
             0.07815775 = queryWeight, product of:
               1.6938156 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.01106285 = queryNorm
             0.3258584 = fieldWeight in 681, 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=681)
         0.15633418 = weight(abstract_txt:lite in 681) [ClassicSimilarity], result of:
           0.15633418 = score(doc=681,freq=1.0), product of:
             0.20796841 = queryWeight, product of:
               1.9537265 = boost
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.01106285 = queryNorm
             0.7517208 = fieldWeight in 681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.078125 = fieldNorm(doc=681)
         0.08872053 = weight(abstract_txt:ontology in 681) [ClassicSimilarity], result of:
           0.08872053 = score(doc=681,freq=1.0), product of:
             0.20559753 = queryWeight, product of:
               3.3646097 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.01106285 = queryNorm
             0.43152526 = fieldWeight in 681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.078125 = fieldNorm(doc=681)
         0.15376775 = weight(abstract_txt:semantics in 681) [ClassicSimilarity], result of:
           0.15376775 = score(doc=681,freq=1.0), product of:
             0.32650632 = queryWeight, product of:
               4.895994 = boost
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.01106285 = queryNorm
             0.4709488 = fieldWeight in 681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.078125 = fieldNorm(doc=681)
         0.20914306 = weight(abstract_txt:abstract in 681) [ClassicSimilarity], result of:
           0.20914306 = score(doc=681,freq=1.0), product of:
             0.4317646 = queryWeight, product of:
               6.2946796 = boost
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.01106285 = queryNorm
             0.4843914 = fieldWeight in 681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.078125 = fieldNorm(doc=681)
         0.24901845 = weight(abstract_txt:syntax in 681) [ClassicSimilarity], result of:
           0.24901845 = score(doc=681,freq=1.0), product of:
             0.48503426 = queryWeight, product of:
               6.671697 = boost
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.01106285 = queryNorm
             0.51340383 = fieldWeight in 681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.078125 = fieldNorm(doc=681)
       0.28 = coord(7/25)
   

3. Resource Description Framework (RDF) : Concepts and Abstract Syntax (2004) 0.24

   0.24062303 = sum of:
     0.24062303 = product of:
       1.503894 = sum of:
         0.094528764 = weight(abstract_txt:formal in 54) [ClassicSimilarity], result of:
           0.094528764 = score(doc=54,freq=1.0), product of:
             0.1369622 = queryWeight, product of:
               2.2422316 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.01106285 = queryNorm
             0.6901814 = fieldWeight in 54, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.125 = fieldNorm(doc=54)
         0.24602841 = weight(abstract_txt:semantics in 54) [ClassicSimilarity], result of:
           0.24602841 = score(doc=54,freq=1.0), product of:
             0.32650632 = queryWeight, product of:
               4.895994 = boost
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.01106285 = queryNorm
             0.75351804 = fieldWeight in 54, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.125 = fieldNorm(doc=54)
         0.47323668 = weight(abstract_txt:abstract in 54) [ClassicSimilarity], result of:
           0.47323668 = score(doc=54,freq=2.0), product of:
             0.4317646 = queryWeight, product of:
               6.2946796 = boost
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.01106285 = queryNorm
             1.0960525 = fieldWeight in 54, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.125 = fieldNorm(doc=54)
         0.69010013 = weight(abstract_txt:syntax in 54) [ClassicSimilarity], result of:
           0.69010013 = score(doc=54,freq=3.0), product of:
             0.48503426 = queryWeight, product of:
               6.671697 = boost
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.01106285 = queryNorm
             1.4227864 = fieldWeight in 54, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.125 = fieldNorm(doc=54)
       0.16 = coord(4/25)
   

4. RDF/XML Syntax Specification (Revised) : W3C Recommendation 10 February 2004 (2004) 0.24

   0.2380647 = sum of:
     0.2380647 = product of:
       0.9919363 = sum of:
         0.04060602 = weight(abstract_txt:mapping in 53) [ClassicSimilarity], result of:
           0.04060602 = score(doc=53,freq=1.0), product of:
             0.0749723 = queryWeight, product of:
               1.1730473 = boost
               5.7772117 = idf(docFreq=373, maxDocs=44421)
               0.01106285 = queryNorm
             0.5416136 = fieldWeight in 53, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7772117 = idf(docFreq=373, maxDocs=44421)
               0.09375 = fieldNorm(doc=53)
         0.030562032 = weight(abstract_txt:language in 53) [ClassicSimilarity], result of:
           0.030562032 = score(doc=53,freq=1.0), product of:
             0.07815775 = queryWeight, product of:
               1.6938156 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.01106285 = queryNorm
             0.39103007 = fieldWeight in 53, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.09375 = fieldNorm(doc=53)
         0.07089657 = weight(abstract_txt:formal in 53) [ClassicSimilarity], result of:
           0.07089657 = score(doc=53,freq=1.0), product of:
             0.1369622 = queryWeight, product of:
               2.2422316 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.01106285 = queryNorm
             0.51763606 = fieldWeight in 53, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.09375 = fieldNorm(doc=53)
         0.081324995 = weight(abstract_txt:written in 53) [ClassicSimilarity], result of:
           0.081324995 = score(doc=53,freq=1.0), product of:
             0.1500836 = queryWeight, product of:
               2.3471818 = boost
               5.779889 = idf(docFreq=372, maxDocs=44421)
               0.01106285 = queryNorm
             0.54186463 = fieldWeight in 53, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.779889 = idf(docFreq=372, maxDocs=44421)
               0.09375 = fieldNorm(doc=53)
         0.25097165 = weight(abstract_txt:abstract in 53) [ClassicSimilarity], result of:
           0.25097165 = score(doc=53,freq=1.0), product of:
             0.4317646 = queryWeight, product of:
               6.2946796 = boost
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.01106285 = queryNorm
             0.5812696 = fieldWeight in 53, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2002096 = idf(docFreq=244, maxDocs=44421)
               0.09375 = fieldNorm(doc=53)
         0.5175751 = weight(abstract_txt:syntax in 53) [ClassicSimilarity], result of:
           0.5175751 = score(doc=53,freq=3.0), product of:
             0.48503426 = queryWeight, product of:
               6.671697 = boost
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.01106285 = queryNorm
             1.0670898 = fieldWeight in 53, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.09375 = fieldNorm(doc=53)
       0.24 = coord(6/25)
   

5. Saab, D.J.; Fonseca, F.: Ontological complexity and human culture (2014) 0.23

   0.23496154 = sum of:
     0.23496154 = product of:
       0.73425484 = sum of:
         0.020512316 = weight(abstract_txt:working in 4405) [ClassicSimilarity], result of:
           0.020512316 = score(doc=4405,freq=1.0), product of:
             0.06231289 = queryWeight, product of:
               1.0694342 = boost
               5.266921 = idf(docFreq=622, maxDocs=44421)
               0.01106285 = queryNorm
             0.32918257 = fieldWeight in 4405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.266921 = idf(docFreq=622, maxDocs=44421)
               0.0625 = fieldNorm(doc=4405)
         0.02037469 = weight(abstract_txt:language in 4405) [ClassicSimilarity], result of:
           0.02037469 = score(doc=4405,freq=1.0), product of:
             0.07815775 = queryWeight, product of:
               1.6938156 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.01106285 = queryNorm
             0.26068673 = fieldWeight in 4405, 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=4405)
         0.094528764 = weight(abstract_txt:formal in 4405) [ClassicSimilarity], result of:
           0.094528764 = score(doc=4405,freq=4.0), product of:
             0.1369622 = queryWeight, product of:
               2.2422316 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.01106285 = queryNorm
             0.6901814 = fieldWeight in 4405, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=4405)
         0.049046695 = weight(abstract_txt:meaning in 4405) [ClassicSimilarity], result of:
           0.049046695 = score(doc=4405,freq=1.0), product of:
             0.1403841 = queryWeight, product of:
               2.270069 = boost
               5.59 = idf(docFreq=450, maxDocs=44421)
               0.01106285 = queryNorm
             0.349375 = fieldWeight in 4405, 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=4405)
         0.061741773 = weight(abstract_txt:given in 4405) [ClassicSimilarity], result of:
           0.061741773 = score(doc=4405,freq=2.0), product of:
             0.14870237 = queryWeight, product of:
               2.8614402 = boost
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.01106285 = queryNorm
             0.4152037 = fieldWeight in 4405, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.6974936 = idf(docFreq=1100, maxDocs=44421)
               0.0625 = fieldNorm(doc=4405)
         0.12293477 = weight(abstract_txt:ontology in 4405) [ClassicSimilarity], result of:
           0.12293477 = score(doc=4405,freq=3.0), product of:
             0.20559753 = queryWeight, product of:
               3.3646097 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.01106285 = queryNorm
             0.59793895 = fieldWeight in 4405, 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=4405)
         0.16590108 = weight(abstract_txt:ontologies in 4405) [ClassicSimilarity], result of:
           0.16590108 = score(doc=4405,freq=4.0), product of:
             0.22811541 = queryWeight, product of:
               3.5440762 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.01106285 = queryNorm
             0.72726816 = fieldWeight in 4405, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.0625 = fieldNorm(doc=4405)
         0.19921476 = weight(abstract_txt:syntax in 4405) [ClassicSimilarity], result of:
           0.19921476 = score(doc=4405,freq=1.0), product of:
             0.48503426 = queryWeight, product of:
               6.671697 = boost
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.01106285 = queryNorm
             0.41072306 = fieldWeight in 4405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.0625 = fieldNorm(doc=4405)
       0.32 = coord(8/25)