Document (#36685)

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.6050361 = sum of:
     0.6050361 = product of:
       1.375082 = sum of:
         0.020676438 = weight(abstract_txt:full in 1683) [ClassicSimilarity], result of:
           0.020676438 = score(doc=1683,freq=1.0), product of:
             0.0538566 = queryWeight, product of:
               4.914131 = idf(docFreq=852, maxDocs=42740)
               0.010959537 = queryNorm
             0.3839165 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.914131 = idf(docFreq=852, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.021100596 = weight(abstract_txt:designed in 1683) [ClassicSimilarity], result of:
           0.021100596 = score(doc=1683,freq=1.0), product of:
             0.054590654 = queryWeight, product of:
               1.0067918 = boost
               4.947507 = idf(docFreq=824, maxDocs=42740)
               0.010959537 = queryNorm
             0.38652396 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.947507 = idf(docFreq=824, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.025703408 = weight(abstract_txt:language in 1683) [ClassicSimilarity], result of:
           0.025703408 = score(doc=1683,freq=1.0), product of:
             0.07844988 = queryWeight, product of:
               1.7068355 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.010959537 = queryNorm
             0.32764113 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.15335609 = weight(abstract_txt:lite in 1683) [ClassicSimilarity], result of:
           0.15335609 = score(doc=1683,freq=1.0), product of:
             0.20482792 = queryWeight, product of:
               1.9501818 = boost
               9.583449 = idf(docFreq=7, maxDocs=42740)
               0.010959537 = queryNorm
             0.748707 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.583449 = idf(docFreq=7, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.23700155 = weight(abstract_txt:sublanguages in 1683) [ClassicSimilarity], result of:
           0.23700155 = score(doc=1683,freq=2.0), product of:
             0.21730979 = queryWeight, product of:
               2.0087235 = boost
               9.871131 = idf(docFreq=5, maxDocs=42740)
               0.010959537 = queryNorm
             1.0906161 = fieldWeight in 1683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.871131 = idf(docFreq=5, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.08292759 = weight(abstract_txt:formal in 1683) [ClassicSimilarity], result of:
           0.08292759 = score(doc=1683,freq=2.0), product of:
             0.1359527 = queryWeight, product of:
               2.2469294 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.010959537 = queryNorm
             0.60997385 = fieldWeight in 1683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.06737214 = weight(abstract_txt:written in 1683) [ClassicSimilarity], result of:
           0.06737214 = score(doc=1683,freq=1.0), product of:
             0.14913699 = queryWeight, product of:
               2.3533592 = boost
               5.7823577 = idf(docFreq=357, maxDocs=42740)
               0.010959537 = queryNorm
             0.4517467 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7823577 = idf(docFreq=357, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.09107187 = weight(abstract_txt:ontology in 1683) [ClassicSimilarity], result of:
           0.09107187 = score(doc=1683,freq=1.0), product of:
             0.20871405 = queryWeight, product of:
               3.4097066 = boost
               5.5852485 = idf(docFreq=435, maxDocs=42740)
               0.010959537 = queryNorm
             0.43634754 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5852485 = idf(docFreq=435, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.21744938 = weight(abstract_txt:semantics in 1683) [ClassicSimilarity], result of:
           0.21744938 = score(doc=1683,freq=2.0), product of:
             0.32571462 = queryWeight, product of:
               4.91846 = boost
               6.0424895 = idf(docFreq=275, maxDocs=42740)
               0.010959537 = queryNorm
             0.66760707 = fieldWeight in 1683, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.0424895 = idf(docFreq=275, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.21146044 = weight(abstract_txt:abstract in 1683) [ClassicSimilarity], result of:
           0.21146044 = score(doc=1683,freq=1.0), product of:
             0.43390822 = queryWeight, product of:
               6.346941 = boost
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.010959537 = queryNorm
             0.48733908 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
         0.24696259 = weight(abstract_txt:syntax in 1683) [ClassicSimilarity], result of:
           0.24696259 = score(doc=1683,freq=1.0), product of:
             0.48120773 = queryWeight, product of:
               6.683929 = boost
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.010959537 = queryNorm
             0.5132141 = fieldWeight in 1683, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.078125 = fieldNorm(doc=1683)
       0.44 = coord(11/25)
   

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

   0.25283742 = sum of:
     0.25283742 = product of:
       0.90299076 = sum of:
         0.020676438 = weight(abstract_txt:full in 1682) [ClassicSimilarity], result of:
           0.020676438 = score(doc=1682,freq=1.0), product of:
             0.0538566 = queryWeight, product of:
               4.914131 = idf(docFreq=852, maxDocs=42740)
               0.010959537 = queryNorm
             0.3839165 = fieldWeight in 1682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.914131 = idf(docFreq=852, maxDocs=42740)
               0.078125 = fieldNorm(doc=1682)
         0.025703408 = weight(abstract_txt:language in 1682) [ClassicSimilarity], result of:
           0.025703408 = score(doc=1682,freq=1.0), product of:
             0.07844988 = queryWeight, product of:
               1.7068355 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.010959537 = queryNorm
             0.32764113 = fieldWeight in 1682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.078125 = fieldNorm(doc=1682)
         0.15335609 = weight(abstract_txt:lite in 1682) [ClassicSimilarity], result of:
           0.15335609 = score(doc=1682,freq=1.0), product of:
             0.20482792 = queryWeight, product of:
               1.9501818 = boost
               9.583449 = idf(docFreq=7, maxDocs=42740)
               0.010959537 = queryNorm
             0.748707 = fieldWeight in 1682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.583449 = idf(docFreq=7, maxDocs=42740)
               0.078125 = fieldNorm(doc=1682)
         0.09107187 = weight(abstract_txt:ontology in 1682) [ClassicSimilarity], result of:
           0.09107187 = score(doc=1682,freq=1.0), product of:
             0.20871405 = queryWeight, product of:
               3.4097066 = boost
               5.5852485 = idf(docFreq=435, maxDocs=42740)
               0.010959537 = queryNorm
             0.43634754 = fieldWeight in 1682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5852485 = idf(docFreq=435, maxDocs=42740)
               0.078125 = fieldNorm(doc=1682)
         0.15375994 = weight(abstract_txt:semantics in 1682) [ClassicSimilarity], result of:
           0.15375994 = score(doc=1682,freq=1.0), product of:
             0.32571462 = queryWeight, product of:
               4.91846 = boost
               6.0424895 = idf(docFreq=275, maxDocs=42740)
               0.010959537 = queryNorm
             0.4720695 = fieldWeight in 1682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0424895 = idf(docFreq=275, maxDocs=42740)
               0.078125 = fieldNorm(doc=1682)
         0.21146044 = weight(abstract_txt:abstract in 1682) [ClassicSimilarity], result of:
           0.21146044 = score(doc=1682,freq=1.0), product of:
             0.43390822 = queryWeight, product of:
               6.346941 = boost
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.010959537 = queryNorm
             0.48733908 = fieldWeight in 1682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.078125 = fieldNorm(doc=1682)
         0.24696259 = weight(abstract_txt:syntax in 1682) [ClassicSimilarity], result of:
           0.24696259 = score(doc=1682,freq=1.0), product of:
             0.48120773 = queryWeight, product of:
               6.683929 = boost
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.010959537 = queryNorm
             0.5132141 = fieldWeight in 1682, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.078125 = fieldNorm(doc=1682)
       0.28 = coord(7/25)
   

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

   0.24043533 = sum of:
     0.24043533 = product of:
       1.5027208 = sum of:
         0.09382185 = weight(abstract_txt:formal in 68) [ClassicSimilarity], result of:
           0.09382185 = score(doc=68,freq=1.0), product of:
             0.1359527 = queryWeight, product of:
               2.2469294 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.010959537 = queryNorm
             0.69010663 = fieldWeight in 68, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.125 = fieldNorm(doc=68)
         0.24601589 = weight(abstract_txt:semantics in 68) [ClassicSimilarity], result of:
           0.24601589 = score(doc=68,freq=1.0), product of:
             0.32571462 = queryWeight, product of:
               4.91846 = boost
               6.0424895 = idf(docFreq=275, maxDocs=42740)
               0.010959537 = queryNorm
             0.7553112 = fieldWeight in 68, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0424895 = idf(docFreq=275, maxDocs=42740)
               0.125 = fieldNorm(doc=68)
         0.4784803 = weight(abstract_txt:abstract in 68) [ClassicSimilarity], result of:
           0.4784803 = score(doc=68,freq=2.0), product of:
             0.43390822 = queryWeight, product of:
               6.346941 = boost
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.010959537 = queryNorm
             1.1027224 = fieldWeight in 68, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.125 = fieldNorm(doc=68)
         0.6844028 = weight(abstract_txt:syntax in 68) [ClassicSimilarity], result of:
           0.6844028 = score(doc=68,freq=3.0), product of:
             0.48120773 = queryWeight, product of:
               6.683929 = boost
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.010959537 = queryNorm
             1.4222606 = fieldWeight in 68, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.125 = fieldNorm(doc=68)
       0.16 = coord(4/25)
   

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

   0.2375166 = sum of:
     0.2375166 = product of:
       0.9896525 = sum of:
         0.04054088 = weight(abstract_txt:mapping in 67) [ClassicSimilarity], result of:
           0.04054088 = score(doc=67,freq=1.0), product of:
             0.074713044 = queryWeight, product of:
               1.1778195 = boost
               5.7879596 = idf(docFreq=355, maxDocs=42740)
               0.010959537 = queryNorm
             0.5426212 = fieldWeight in 67, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7879596 = idf(docFreq=355, maxDocs=42740)
               0.09375 = fieldNorm(doc=67)
         0.03084409 = weight(abstract_txt:language in 67) [ClassicSimilarity], result of:
           0.03084409 = score(doc=67,freq=1.0), product of:
             0.07844988 = queryWeight, product of:
               1.7068355 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.010959537 = queryNorm
             0.39316937 = fieldWeight in 67, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.09375 = fieldNorm(doc=67)
         0.07036639 = weight(abstract_txt:formal in 67) [ClassicSimilarity], result of:
           0.07036639 = score(doc=67,freq=1.0), product of:
             0.1359527 = queryWeight, product of:
               2.2469294 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.010959537 = queryNorm
             0.51758 = fieldWeight in 67, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.09375 = fieldNorm(doc=67)
         0.08084657 = weight(abstract_txt:written in 67) [ClassicSimilarity], result of:
           0.08084657 = score(doc=67,freq=1.0), product of:
             0.14913699 = queryWeight, product of:
               2.3533592 = boost
               5.7823577 = idf(docFreq=357, maxDocs=42740)
               0.010959537 = queryNorm
             0.542096 = fieldWeight in 67, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7823577 = idf(docFreq=357, maxDocs=42740)
               0.09375 = fieldNorm(doc=67)
         0.25375253 = weight(abstract_txt:abstract in 67) [ClassicSimilarity], result of:
           0.25375253 = score(doc=67,freq=1.0), product of:
             0.43390822 = queryWeight, product of:
               6.346941 = boost
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.010959537 = queryNorm
             0.5848069 = fieldWeight in 67, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2379403 = idf(docFreq=226, maxDocs=42740)
               0.09375 = fieldNorm(doc=67)
         0.5133021 = weight(abstract_txt:syntax in 67) [ClassicSimilarity], result of:
           0.5133021 = score(doc=67,freq=3.0), product of:
             0.48120773 = queryWeight, product of:
               6.683929 = boost
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.010959537 = queryNorm
             1.0666955 = fieldWeight in 67, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.09375 = fieldNorm(doc=67)
       0.24 = coord(6/25)
   

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

   0.23660335 = sum of:
     0.23660335 = product of:
       0.7393855 = sum of:
         0.020432064 = weight(abstract_txt:working in 5406) [ClassicSimilarity], result of:
           0.020432064 = score(doc=5406,freq=1.0), product of:
             0.06200166 = queryWeight, product of:
               1.0729567 = boost
               5.27265 = idf(docFreq=595, maxDocs=42740)
               0.010959537 = queryNorm
             0.3295406 = fieldWeight in 5406, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.27265 = idf(docFreq=595, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
         0.020562727 = weight(abstract_txt:language in 5406) [ClassicSimilarity], result of:
           0.020562727 = score(doc=5406,freq=1.0), product of:
             0.07844988 = queryWeight, product of:
               1.7068355 = boost
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.010959537 = queryNorm
             0.26211292 = fieldWeight in 5406, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1938066 = idf(docFreq=1752, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
         0.09382185 = weight(abstract_txt:formal in 5406) [ClassicSimilarity], result of:
           0.09382185 = score(doc=5406,freq=4.0), product of:
             0.1359527 = queryWeight, product of:
               2.2469294 = boost
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.010959537 = queryNorm
             0.69010663 = fieldWeight in 5406, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.520853 = idf(docFreq=464, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
         0.049365677 = weight(abstract_txt:meaning in 5406) [ClassicSimilarity], result of:
           0.049365677 = score(doc=5406,freq=1.0), product of:
             0.14065501 = queryWeight, product of:
               2.2854574 = boost
               5.6155186 = idf(docFreq=422, maxDocs=42740)
               0.010959537 = queryNorm
             0.3509699 = fieldWeight in 5406, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6155186 = idf(docFreq=422, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
         0.06149786 = weight(abstract_txt:given in 5406) [ClassicSimilarity], result of:
           0.06149786 = score(doc=5406,freq=2.0), product of:
             0.14795588 = queryWeight, product of:
               2.8708286 = boost
               4.702543 = idf(docFreq=1053, maxDocs=42740)
               0.010959537 = queryNorm
             0.41564998 = fieldWeight in 5406, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.702543 = idf(docFreq=1053, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
         0.12619287 = weight(abstract_txt:ontology in 5406) [ClassicSimilarity], result of:
           0.12619287 = score(doc=5406,freq=3.0), product of:
             0.20871405 = queryWeight, product of:
               3.4097066 = boost
               5.5852485 = idf(docFreq=435, maxDocs=42740)
               0.010959537 = queryNorm
             0.6046209 = fieldWeight in 5406, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5852485 = idf(docFreq=435, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
         0.16994233 = weight(abstract_txt:ontologies in 5406) [ClassicSimilarity], result of:
           0.16994233 = score(doc=5406,freq=4.0), product of:
             0.23125081 = queryWeight, product of:
               3.589077 = boost
               5.8790655 = idf(docFreq=324, maxDocs=42740)
               0.010959537 = queryNorm
             0.7348832 = fieldWeight in 5406, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.8790655 = idf(docFreq=324, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
         0.19757007 = weight(abstract_txt:syntax in 5406) [ClassicSimilarity], result of:
           0.19757007 = score(doc=5406,freq=1.0), product of:
             0.48120773 = queryWeight, product of:
               6.683929 = boost
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.010959537 = queryNorm
             0.41057128 = fieldWeight in 5406, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5691404 = idf(docFreq=162, maxDocs=42740)
               0.0625 = fieldNorm(doc=5406)
       0.32 = coord(8/25)