Document (#37762)

Author

Menzel, C.

Title

Knowledge representation, the World Wide Web, and the evolution of logic

Source

http://cmenzel.org/Papers/Menzel-KRTheWWWAndTheEvolutionOfLogic.pdf

Year

2011

Abstract

In this paper, I have traced a series of evolutionary adaptations of FOL motivated entirely by its use by knowledge engineers to represent and share information on the Web culminating in the development of Common Logic. While the primary goal in this paper has been to document this evolution, it is arguable, I think that CL's syntactic and semantic egalitarianism better realizes the goal "topic neutrality" that a logic should ideally exemplify - understood, at least in part, as the idea that logic should as far as possible not itself embody any metaphysical presuppositions. Instead of retaining the traditional metaphysical divisions of FOL that reflect its Fregean origins, CL begins as it were with a single, metaphysically homogeneous domain in which, potentially, anything can play the traditional roles of object, property, relation, and function. Note that the effect of this is not to destroy traditional metaphysical divisions. Rather, it simply to refrain from building those divisions explicitly into one's logic; instead, such divisions are left to the user to introduce and enforce axiomatically in an explicit metaphysical theory.

Theme

Wissensrepräsentation
Semantic Web

Similar documents (content)

1. Marciszewski, W.: Leibniz's two legacies and their implications regarding knowledge engineering (1996) 0.11

   0.114880815 = sum of:
     0.114880815 = product of:
       0.7180051 = sum of:
         0.11903669 = weight(abstract_txt:presuppositions in 4510) [ClassicSimilarity], result of:
           0.11903669 = score(doc=4510,freq=1.0), product of:
             0.16031468 = queryWeight, product of:
               1.254796 = boost
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.01344258 = queryNorm
             0.74251896 = fieldWeight in 4510, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
         0.0077268453 = weight(abstract_txt:this in 4510) [ClassicSimilarity], result of:
           0.0077268453 = score(doc=4510,freq=1.0), product of:
             0.041103065 = queryWeight, product of:
               1.2707309 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01344258 = queryNorm
             0.18798709 = fieldWeight in 4510, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
         0.16825123 = weight(abstract_txt:logic in 4510) [ClassicSimilarity], result of:
           0.16825123 = score(doc=4510,freq=1.0), product of:
             0.34526154 = queryWeight, product of:
               4.117614 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01344258 = queryNorm
             0.4873153 = fieldWeight in 4510, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
         0.42299035 = weight(abstract_txt:metaphysical in 4510) [ClassicSimilarity], result of:
           0.42299035 = score(doc=4510,freq=1.0), product of:
             0.5925973 = queryWeight, product of:
               4.824989 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.01344258 = queryNorm
             0.71379054 = fieldWeight in 4510, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
       0.16 = coord(4/25)
   

2. Parrochia, D.; Neuville, D.: Towards a general theory of classifications (2013) 0.09

   0.08649615 = sum of:
     0.08649615 = product of:
       0.43248075 = sum of:
         0.013822202 = weight(abstract_txt:this in 4100) [ClassicSimilarity], result of:
           0.013822202 = score(doc=4100,freq=5.0), product of:
             0.041103065 = queryWeight, product of:
               1.2707309 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01344258 = queryNorm
             0.33628154 = fieldWeight in 4100, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=4100)
         0.010374351 = weight(abstract_txt:that in 4100) [ClassicSimilarity], result of:
           0.010374351 = score(doc=4100,freq=2.0), product of:
             0.049630277 = queryWeight, product of:
               1.5611507 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.01344258 = queryNorm
             0.20903271 = fieldWeight in 4100, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0625 = fieldNorm(doc=4100)
         0.05156529 = weight(abstract_txt:instead in 4100) [ClassicSimilarity], result of:
           0.05156529 = score(doc=4100,freq=1.0), product of:
             0.13418615 = queryWeight, product of:
               1.6235114 = boost
               6.148508 = idf(docFreq=257, maxDocs=44421)
               0.01344258 = queryNorm
             0.38428175 = fieldWeight in 4100, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.148508 = idf(docFreq=257, maxDocs=44421)
               0.0625 = fieldNorm(doc=4100)
         0.13460098 = weight(abstract_txt:logic in 4100) [ClassicSimilarity], result of:
           0.13460098 = score(doc=4100,freq=1.0), product of:
             0.34526154 = queryWeight, product of:
               4.117614 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01344258 = queryNorm
             0.38985223 = fieldWeight in 4100, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=4100)
         0.22211795 = weight(abstract_txt:divisions in 4100) [ClassicSimilarity], result of:
           0.22211795 = score(doc=4100,freq=1.0), product of:
             0.44757774 = queryWeight, product of:
               4.1932497 = boost
               7.9402676 = idf(docFreq=42, maxDocs=44421)
               0.01344258 = queryNorm
             0.49626672 = fieldWeight in 4100, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.9402676 = idf(docFreq=42, maxDocs=44421)
               0.0625 = fieldNorm(doc=4100)
       0.2 = coord(5/25)
   

3. Olson, H.A.: How we construct subjects : a feminist analysis (2007) 0.08

   0.07949868 = sum of:
     0.07949868 = product of:
       0.3974934 = sum of:
         0.073187105 = weight(abstract_txt:embody in 588) [ClassicSimilarity], result of:
           0.073187105 = score(doc=588,freq=1.0), product of:
             0.13450831 = queryWeight, product of:
               1.1493732 = boost
               8.705735 = idf(docFreq=19, maxDocs=44421)
               0.01344258 = queryNorm
             0.54410845 = fieldWeight in 588, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.705735 = idf(docFreq=19, maxDocs=44421)
               0.0625 = fieldNorm(doc=588)
         0.008741927 = weight(abstract_txt:this in 588) [ClassicSimilarity], result of:
           0.008741927 = score(doc=588,freq=2.0), product of:
             0.041103065 = queryWeight, product of:
               1.2707309 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01344258 = queryNorm
             0.21268311 = fieldWeight in 588, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=588)
         0.012705932 = weight(abstract_txt:that in 588) [ClassicSimilarity], result of:
           0.012705932 = score(doc=588,freq=3.0), product of:
             0.049630277 = queryWeight, product of:
               1.5611507 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.01344258 = queryNorm
             0.25601172 = fieldWeight in 588, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0625 = fieldNorm(doc=588)
         0.033656456 = weight(abstract_txt:traditional in 588) [ClassicSimilarity], result of:
           0.033656456 = score(doc=588,freq=1.0), product of:
             0.11557895 = queryWeight, product of:
               1.8453829 = boost
               4.6591816 = idf(docFreq=1143, maxDocs=44421)
               0.01344258 = queryNorm
             0.29119885 = fieldWeight in 588, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6591816 = idf(docFreq=1143, maxDocs=44421)
               0.0625 = fieldNorm(doc=588)
         0.26920196 = weight(abstract_txt:logic in 588) [ClassicSimilarity], result of:
           0.26920196 = score(doc=588,freq=4.0), product of:
             0.34526154 = queryWeight, product of:
               4.117614 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.01344258 = queryNorm
             0.77970445 = fieldWeight in 588, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=588)
       0.2 = coord(5/25)
   

4. Ishikawa, S.: ¬A final solution to the mind-body problem by quantum language (2017) 0.08

   0.075828396 = sum of:
     0.075828396 = product of:
       0.4739275 = sum of:
         0.024127312 = weight(abstract_txt:should in 4666) [ClassicSimilarity], result of:
           0.024127312 = score(doc=4666,freq=1.0), product of:
             0.06969506 = queryWeight, product of:
               1.1700448 = boost
               4.4311547 = idf(docFreq=1436, maxDocs=44421)
               0.01344258 = queryNorm
             0.34618396 = fieldWeight in 4666, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4311547 = idf(docFreq=1436, maxDocs=44421)
               0.078125 = fieldNorm(doc=4666)
         0.010927409 = weight(abstract_txt:this in 4666) [ClassicSimilarity], result of:
           0.010927409 = score(doc=4666,freq=2.0), product of:
             0.041103065 = queryWeight, product of:
               1.2707309 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01344258 = queryNorm
             0.26585388 = fieldWeight in 4666, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=4666)
         0.015882416 = weight(abstract_txt:that in 4666) [ClassicSimilarity], result of:
           0.015882416 = score(doc=4666,freq=3.0), product of:
             0.049630277 = queryWeight, product of:
               1.5611507 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.01344258 = queryNorm
             0.32001466 = fieldWeight in 4666, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.078125 = fieldNorm(doc=4666)
         0.42299035 = weight(abstract_txt:metaphysical in 4666) [ClassicSimilarity], result of:
           0.42299035 = score(doc=4666,freq=1.0), product of:
             0.5925973 = queryWeight, product of:
               4.824989 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.01344258 = queryNorm
             0.71379054 = fieldWeight in 4666, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.078125 = fieldNorm(doc=4666)
       0.16 = coord(4/25)
   

5. Shelton, J.M.: Library of Congress' Class L : Education, table L7 - an expansion for local use (2000) 0.06

   0.060325135 = sum of:
     0.060325135 = product of:
       0.3770321 = sum of:
         0.07928753 = weight(abstract_txt:adaptations in 404) [ClassicSimilarity], result of:
           0.07928753 = score(doc=404,freq=1.0), product of:
             0.12227076 = queryWeight, product of:
               1.0958416 = boost
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.01344258 = queryNorm
             0.6484586 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.078125 = fieldNorm(doc=404)
         0.010927409 = weight(abstract_txt:this in 404) [ClassicSimilarity], result of:
           0.010927409 = score(doc=404,freq=2.0), product of:
             0.041103065 = queryWeight, product of:
               1.2707309 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.01344258 = queryNorm
             0.26585388 = fieldWeight in 404, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=404)
         0.009169717 = weight(abstract_txt:that in 404) [ClassicSimilarity], result of:
           0.009169717 = score(doc=404,freq=1.0), product of:
             0.049630277 = queryWeight, product of:
               1.5611507 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.01344258 = queryNorm
             0.18476056 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.078125 = fieldNorm(doc=404)
         0.27764744 = weight(abstract_txt:divisions in 404) [ClassicSimilarity], result of:
           0.27764744 = score(doc=404,freq=1.0), product of:
             0.44757774 = queryWeight, product of:
               4.1932497 = boost
               7.9402676 = idf(docFreq=42, maxDocs=44421)
               0.01344258 = queryNorm
             0.62033343 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.9402676 = idf(docFreq=42, maxDocs=44421)
               0.078125 = fieldNorm(doc=404)
       0.16 = coord(4/25)