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.6072278 = sum of:
     0.6072278 = product of:
       1.3800632 = sum of:
         0.020912912 = weight(abstract_txt:full in 4682) [ClassicSimilarity], result of:
           0.020912912 = score(doc=4682,freq=1.0), product of:
             0.05437814 = queryWeight, product of:
               4.922663 = idf(docFreq=874, maxDocs=44218)
               0.011046488 = queryNorm
             0.38458306 = fieldWeight in 4682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.922663 = idf(docFreq=874, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.021178948 = weight(abstract_txt:designed in 4682) [ClassicSimilarity], result of:
           0.021178948 = score(doc=4682,freq=1.0), product of:
             0.054838333 = queryWeight, product of:
               1.0042225 = boost
               4.9434495 = idf(docFreq=856, maxDocs=44218)
               0.011046488 = queryNorm
             0.38620698 = fieldWeight in 4682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9434495 = idf(docFreq=856, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.025646223 = weight(abstract_txt:language in 4682) [ClassicSimilarity], result of:
           0.025646223 = score(doc=4682,freq=1.0), product of:
             0.07849469 = queryWeight, product of:
               1.6991158 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.011046488 = queryNorm
             0.32672557 = fieldWeight in 4682, 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=4682)
         0.15595289 = weight(abstract_txt:lite in 4682) [ClassicSimilarity], result of:
           0.15595289 = score(doc=4682,freq=1.0), product of:
             0.20755997 = queryWeight, product of:
               1.9537079 = boost
               9.617446 = idf(docFreq=7, maxDocs=44218)
               0.011046488 = queryNorm
             0.751363 = fieldWeight in 4682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.617446 = idf(docFreq=7, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.24094024 = weight(abstract_txt:sublanguages in 4682) [ClassicSimilarity], result of:
           0.24094024 = score(doc=4682,freq=2.0), product of:
             0.22016296 = queryWeight, product of:
               2.0121481 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.011046488 = queryNorm
             1.0943723 = fieldWeight in 4682, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.08335409 = weight(abstract_txt:formal in 4682) [ClassicSimilarity], result of:
           0.08335409 = score(doc=4682,freq=2.0), product of:
             0.1366992 = queryWeight, product of:
               2.2422593 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.011046488 = queryNorm
             0.60976285 = fieldWeight in 4682, 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=4682)
         0.06773014 = weight(abstract_txt:written in 4682) [ClassicSimilarity], result of:
           0.06773014 = score(doc=4682,freq=1.0), product of:
             0.14997286 = queryWeight, product of:
               2.3486006 = boost
               5.780685 = idf(docFreq=370, maxDocs=44218)
               0.011046488 = queryNorm
             0.45161602 = fieldWeight in 4682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.780685 = idf(docFreq=370, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.08901371 = weight(abstract_txt:ontology in 4682) [ClassicSimilarity], result of:
           0.08901371 = score(doc=4682,freq=1.0), product of:
             0.20598063 = queryWeight, product of:
               3.3710225 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.011046488 = queryNorm
             0.43214604 = fieldWeight in 4682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.2171171 = weight(abstract_txt:semantics in 4682) [ClassicSimilarity], result of:
           0.2171171 = score(doc=4682,freq=2.0), product of:
             0.32605237 = queryWeight, product of:
               4.897354 = boost
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.011046488 = queryNorm
             0.6658964 = fieldWeight in 4682, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.20929699 = weight(abstract_txt:abstract in 4682) [ClassicSimilarity], result of:
           0.20929699 = score(doc=4682,freq=1.0), product of:
             0.43183053 = queryWeight, product of:
               6.3012905 = boost
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.011046488 = queryNorm
             0.48467392 = fieldWeight in 4682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
         0.24892 = weight(abstract_txt:syntax in 4682) [ClassicSimilarity], result of:
           0.24892 = score(doc=4682,freq=1.0), product of:
             0.4847426 = queryWeight, product of:
               6.676186 = boost
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.011046488 = queryNorm
             0.51350963 = fieldWeight in 4682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.078125 = fieldNorm(doc=4682)
       0.44 = coord(11/25)
   

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

   0.25291494 = sum of:
     0.25291494 = product of:
       0.9032676 = sum of:
         0.020912912 = weight(abstract_txt:full in 4681) [ClassicSimilarity], result of:
           0.020912912 = score(doc=4681,freq=1.0), product of:
             0.05437814 = queryWeight, product of:
               4.922663 = idf(docFreq=874, maxDocs=44218)
               0.011046488 = queryNorm
             0.38458306 = fieldWeight in 4681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.922663 = idf(docFreq=874, maxDocs=44218)
               0.078125 = fieldNorm(doc=4681)
         0.025646223 = weight(abstract_txt:language in 4681) [ClassicSimilarity], result of:
           0.025646223 = score(doc=4681,freq=1.0), product of:
             0.07849469 = queryWeight, product of:
               1.6991158 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.011046488 = queryNorm
             0.32672557 = fieldWeight in 4681, 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=4681)
         0.15595289 = weight(abstract_txt:lite in 4681) [ClassicSimilarity], result of:
           0.15595289 = score(doc=4681,freq=1.0), product of:
             0.20755997 = queryWeight, product of:
               1.9537079 = boost
               9.617446 = idf(docFreq=7, maxDocs=44218)
               0.011046488 = queryNorm
             0.751363 = fieldWeight in 4681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.617446 = idf(docFreq=7, maxDocs=44218)
               0.078125 = fieldNorm(doc=4681)
         0.08901371 = weight(abstract_txt:ontology in 4681) [ClassicSimilarity], result of:
           0.08901371 = score(doc=4681,freq=1.0), product of:
             0.20598063 = queryWeight, product of:
               3.3710225 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.011046488 = queryNorm
             0.43214604 = fieldWeight in 4681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.078125 = fieldNorm(doc=4681)
         0.15352497 = weight(abstract_txt:semantics in 4681) [ClassicSimilarity], result of:
           0.15352497 = score(doc=4681,freq=1.0), product of:
             0.32605237 = queryWeight, product of:
               4.897354 = boost
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.011046488 = queryNorm
             0.47085986 = fieldWeight in 4681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.078125 = fieldNorm(doc=4681)
         0.20929699 = weight(abstract_txt:abstract in 4681) [ClassicSimilarity], result of:
           0.20929699 = score(doc=4681,freq=1.0), product of:
             0.43183053 = queryWeight, product of:
               6.3012905 = boost
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.011046488 = queryNorm
             0.48467392 = fieldWeight in 4681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.078125 = fieldNorm(doc=4681)
         0.24892 = weight(abstract_txt:syntax in 4681) [ClassicSimilarity], result of:
           0.24892 = score(doc=4681,freq=1.0), product of:
             0.4847426 = queryWeight, product of:
               6.676186 = boost
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.011046488 = queryNorm
             0.51350963 = fieldWeight in 4681, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.078125 = fieldNorm(doc=4681)
       0.28 = coord(7/25)
   

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

   0.24053706 = sum of:
     0.24053706 = product of:
       1.5033567 = sum of:
         0.09430439 = weight(abstract_txt:formal in 3067) [ClassicSimilarity], result of:
           0.09430439 = score(doc=3067,freq=1.0), product of:
             0.1366992 = queryWeight, product of:
               2.2422593 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.011046488 = queryNorm
             0.6898679 = fieldWeight in 3067, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.125 = fieldNorm(doc=3067)
         0.24563995 = weight(abstract_txt:semantics in 3067) [ClassicSimilarity], result of:
           0.24563995 = score(doc=3067,freq=1.0), product of:
             0.32605237 = queryWeight, product of:
               4.897354 = boost
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.011046488 = queryNorm
             0.75337577 = fieldWeight in 3067, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.125 = fieldNorm(doc=3067)
         0.473585 = weight(abstract_txt:abstract in 3067) [ClassicSimilarity], result of:
           0.473585 = score(doc=3067,freq=2.0), product of:
             0.43183053 = queryWeight, product of:
               6.3012905 = boost
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.011046488 = queryNorm
             1.0966918 = fieldWeight in 3067, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.125 = fieldNorm(doc=3067)
         0.6898273 = weight(abstract_txt:syntax in 3067) [ClassicSimilarity], result of:
           0.6898273 = score(doc=3067,freq=3.0), product of:
             0.4847426 = queryWeight, product of:
               6.676186 = boost
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.011046488 = queryNorm
             1.4230796 = fieldWeight in 3067, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.125 = fieldNorm(doc=3067)
       0.16 = coord(4/25)
   

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

   0.23805316 = sum of:
     0.23805316 = product of:
       0.99188817 = sum of:
         0.040581346 = weight(abstract_txt:mapping in 3066) [ClassicSimilarity], result of:
           0.040581346 = score(doc=3066,freq=1.0), product of:
             0.07491661 = queryWeight, product of:
               1.1737535 = boost
               5.777993 = idf(docFreq=371, maxDocs=44218)
               0.011046488 = queryNorm
             0.5416869 = fieldWeight in 3066, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.777993 = idf(docFreq=371, maxDocs=44218)
               0.09375 = fieldNorm(doc=3066)
         0.030775469 = weight(abstract_txt:language in 3066) [ClassicSimilarity], result of:
           0.030775469 = score(doc=3066,freq=1.0), product of:
             0.07849469 = queryWeight, product of:
               1.6991158 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.011046488 = queryNorm
             0.3920707 = fieldWeight in 3066, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.09375 = fieldNorm(doc=3066)
         0.070728295 = weight(abstract_txt:formal in 3066) [ClassicSimilarity], result of:
           0.070728295 = score(doc=3066,freq=1.0), product of:
             0.1366992 = queryWeight, product of:
               2.2422593 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.011046488 = queryNorm
             0.5174009 = fieldWeight in 3066, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.09375 = fieldNorm(doc=3066)
         0.08127617 = weight(abstract_txt:written in 3066) [ClassicSimilarity], result of:
           0.08127617 = score(doc=3066,freq=1.0), product of:
             0.14997286 = queryWeight, product of:
               2.3486006 = boost
               5.780685 = idf(docFreq=370, maxDocs=44218)
               0.011046488 = queryNorm
             0.5419392 = fieldWeight in 3066, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.780685 = idf(docFreq=370, maxDocs=44218)
               0.09375 = fieldNorm(doc=3066)
         0.25115636 = weight(abstract_txt:abstract in 3066) [ClassicSimilarity], result of:
           0.25115636 = score(doc=3066,freq=1.0), product of:
             0.43183053 = queryWeight, product of:
               6.3012905 = boost
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.011046488 = queryNorm
             0.58160865 = fieldWeight in 3066, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.203826 = idf(docFreq=242, maxDocs=44218)
               0.09375 = fieldNorm(doc=3066)
         0.5173705 = weight(abstract_txt:syntax in 3066) [ClassicSimilarity], result of:
           0.5173705 = score(doc=3066,freq=3.0), product of:
             0.4847426 = queryWeight, product of:
               6.676186 = boost
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.011046488 = queryNorm
             1.0673097 = fieldWeight in 3066, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.09375 = fieldNorm(doc=3066)
       0.24 = coord(6/25)
   

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

   0.23519543 = sum of:
     0.23519543 = product of:
       0.7349857 = sum of:
         0.020513266 = weight(abstract_txt:working in 3405) [ClassicSimilarity], result of:
           0.020513266 = score(doc=3405,freq=1.0), product of:
             0.06229376 = queryWeight, product of:
               1.0703113 = boost
               5.268782 = idf(docFreq=618, maxDocs=44218)
               0.011046488 = queryNorm
             0.32929888 = fieldWeight in 3405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.268782 = idf(docFreq=618, maxDocs=44218)
               0.0625 = fieldNorm(doc=3405)
         0.020516979 = weight(abstract_txt:language in 3405) [ClassicSimilarity], result of:
           0.020516979 = score(doc=3405,freq=1.0), product of:
             0.07849469 = queryWeight, product of:
               1.6991158 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.011046488 = queryNorm
             0.26138046 = fieldWeight in 3405, 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=3405)
         0.09430439 = weight(abstract_txt:formal in 3405) [ClassicSimilarity], result of:
           0.09430439 = score(doc=3405,freq=4.0), product of:
             0.1366992 = queryWeight, product of:
               2.2422593 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.011046488 = queryNorm
             0.6898679 = fieldWeight in 3405, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=3405)
         0.049052086 = weight(abstract_txt:meaning in 3405) [ClassicSimilarity], result of:
           0.049052086 = score(doc=3405,freq=1.0), product of:
             0.14034696 = queryWeight, product of:
               2.271979 = boost
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.011046488 = queryNorm
             0.34950587 = fieldWeight in 3405, 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=3405)
         0.06182222 = weight(abstract_txt:given in 3405) [ClassicSimilarity], result of:
           0.06182222 = score(doc=3405,freq=2.0), product of:
             0.14878124 = queryWeight, product of:
               2.8649864 = boost
               4.701121 = idf(docFreq=1091, maxDocs=44218)
               0.011046488 = queryNorm
             0.4155243 = fieldWeight in 3405, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.701121 = idf(docFreq=1091, maxDocs=44218)
               0.0625 = fieldNorm(doc=3405)
         0.12334102 = weight(abstract_txt:ontology in 3405) [ClassicSimilarity], result of:
           0.12334102 = score(doc=3405,freq=3.0), product of:
             0.20598063 = queryWeight, product of:
               3.3710225 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.011046488 = queryNorm
             0.5987991 = fieldWeight in 3405, 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=3405)
         0.16629975 = weight(abstract_txt:ontologies in 3405) [ClassicSimilarity], result of:
           0.16629975 = score(doc=3405,freq=4.0), product of:
             0.22840354 = queryWeight, product of:
               3.549767 = boost
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.011046488 = queryNorm
             0.7280962 = fieldWeight in 3405, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.8247695 = idf(docFreq=354, maxDocs=44218)
               0.0625 = fieldNorm(doc=3405)
         0.199136 = weight(abstract_txt:syntax in 3405) [ClassicSimilarity], result of:
           0.199136 = score(doc=3405,freq=1.0), product of:
             0.4847426 = queryWeight, product of:
               6.676186 = boost
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.011046488 = queryNorm
             0.4108077 = fieldWeight in 3405, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.0625 = fieldNorm(doc=3405)
       0.32 = coord(8/25)