Search (2 results, page 1 of 1)

OWL Web Ontology Language Semantics and Abstract Syntax (2004) 0.01
```
0.00921523 = product of:
  0.02764569 = sum of:
    0.02764569 = product of:
      0.05529138 = sum of:
        0.05529138 = weight(_text_:form in 4683) [ClassicSimilarity], result of:
          0.05529138 = score(doc=4683,freq=2.0), product of:
            0.20323196 = queryWeight, product of:
              4.104017 = idf(docFreq=1983, maxDocs=44218)
              0.049520254 = queryNorm
            0.27206045 = fieldWeight in 4683, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              4.104017 = idf(docFreq=1983, maxDocs=44218)
              0.046875 = fieldNorm(doc=4683)
      0.5 = coord(1/2)
  0.33333334 = coord(1/3)
```
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.

OWL Web Ontology Language Test Cases (2004) 0.01

0.008945748 = product of:
  0.026837243 = sum of:
    0.026837243 = product of:
      0.053674486 = sum of:
        0.053674486 = weight(_text_:22 in 4685) [ClassicSimilarity], result of:
          0.053674486 = score(doc=4685,freq=2.0), product of:
            0.17341149 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.049520254 = queryNorm
            0.30952093 = fieldWeight in 4685, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0625 = fieldNorm(doc=4685)
      0.5 = coord(1/2)
  0.33333334 = coord(1/3)

Date: 14. 8.2011 13:33:22