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.11483882 = sum of:
     0.11483882 = product of:
       0.7177427 = sum of:
         0.11894869 = weight(abstract_txt:presuppositions in 4442) [ClassicSimilarity], result of:
           0.11894869 = score(doc=4442,freq=1.0), product of:
             0.1602734 = queryWeight, product of:
               1.2522602 = boost
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.013472826 = queryNorm
             0.74216115 = fieldWeight in 4442, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.078125 = fieldNorm(doc=4442)
         0.0077978796 = weight(abstract_txt:this in 4442) [ClassicSimilarity], result of:
           0.0077978796 = score(doc=4442,freq=1.0), product of:
             0.041364335 = queryWeight, product of:
               1.2723508 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.013472826 = queryNorm
             0.18851699 = fieldWeight in 4442, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=4442)
         0.16834313 = weight(abstract_txt:logic in 4442) [ClassicSimilarity], result of:
           0.16834313 = score(doc=4442,freq=1.0), product of:
             0.34546864 = queryWeight, product of:
               4.111054 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.013472826 = queryNorm
             0.4872892 = fieldWeight in 4442, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=4442)
         0.422653 = weight(abstract_txt:metaphysical in 4442) [ClassicSimilarity], result of:
           0.422653 = score(doc=4442,freq=1.0), product of:
             0.5924217 = queryWeight, product of:
               4.8151445 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.013472826 = queryNorm
             0.71343267 = fieldWeight in 4442, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.078125 = fieldNorm(doc=4442)
       0.16 = coord(4/25)
   

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

   0.0865474 = sum of:
     0.0865474 = product of:
       0.432737 = sum of:
         0.013949272 = weight(abstract_txt:this in 3100) [ClassicSimilarity], result of:
           0.013949272 = score(doc=3100,freq=5.0), product of:
             0.041364335 = queryWeight, product of:
               1.2723508 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.013472826 = queryNorm
             0.33722946 = fieldWeight in 3100, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=3100)
         0.010441589 = weight(abstract_txt:that in 3100) [ClassicSimilarity], result of:
           0.010441589 = score(doc=3100,freq=2.0), product of:
             0.04985623 = queryWeight, product of:
               1.5617394 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.013472826 = queryNorm
             0.20943399 = fieldWeight in 3100, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=3100)
         0.051781107 = weight(abstract_txt:instead in 3100) [ClassicSimilarity], result of:
           0.051781107 = score(doc=3100,freq=1.0), product of:
             0.134592 = queryWeight, product of:
               1.6228877 = boost
               6.155624 = idf(docFreq=254, maxDocs=44218)
               0.013472826 = queryNorm
             0.3847265 = fieldWeight in 3100, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.155624 = idf(docFreq=254, maxDocs=44218)
               0.0625 = fieldNorm(doc=3100)
         0.1346745 = weight(abstract_txt:logic in 3100) [ClassicSimilarity], result of:
           0.1346745 = score(doc=3100,freq=1.0), product of:
             0.34546864 = queryWeight, product of:
               4.111054 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.013472826 = queryNorm
             0.38983136 = fieldWeight in 3100, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=3100)
         0.22189052 = weight(abstract_txt:divisions in 3100) [ClassicSimilarity], result of:
           0.22189052 = score(doc=3100,freq=1.0), product of:
             0.44737756 = queryWeight, product of:
               4.184378 = boost
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.013472826 = queryNorm
             0.49598044 = fieldWeight in 3100, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.0625 = fieldNorm(doc=3100)
       0.2 = coord(5/25)
   

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

   0.07953278 = sum of:
     0.07953278 = product of:
       0.3976639 = sum of:
         0.073123306 = weight(abstract_txt:embody in 5588) [ClassicSimilarity], result of:
           0.073123306 = score(doc=5588,freq=1.0), product of:
             0.13446179 = queryWeight, product of:
               1.1469997 = boost
               8.701155 = idf(docFreq=19, maxDocs=44218)
               0.013472826 = queryNorm
             0.54382217 = fieldWeight in 5588, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.701155 = idf(docFreq=19, maxDocs=44218)
               0.0625 = fieldNorm(doc=5588)
         0.008822294 = weight(abstract_txt:this in 5588) [ClassicSimilarity], result of:
           0.008822294 = score(doc=5588,freq=2.0), product of:
             0.041364335 = queryWeight, product of:
               1.2723508 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.013472826 = queryNorm
             0.21328263 = fieldWeight in 5588, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=5588)
         0.012788283 = weight(abstract_txt:that in 5588) [ClassicSimilarity], result of:
           0.012788283 = score(doc=5588,freq=3.0), product of:
             0.04985623 = queryWeight, product of:
               1.5617394 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.013472826 = queryNorm
             0.2565032 = fieldWeight in 5588, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=5588)
         0.03358101 = weight(abstract_txt:traditional in 5588) [ClassicSimilarity], result of:
           0.03358101 = score(doc=5588,freq=1.0), product of:
             0.11543335 = queryWeight, product of:
               1.8407302 = boost
               4.654601 = idf(docFreq=1143, maxDocs=44218)
               0.013472826 = queryNorm
             0.29091257 = fieldWeight in 5588, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.654601 = idf(docFreq=1143, maxDocs=44218)
               0.0625 = fieldNorm(doc=5588)
         0.269349 = weight(abstract_txt:logic in 5588) [ClassicSimilarity], result of:
           0.269349 = score(doc=5588,freq=4.0), product of:
             0.34546864 = queryWeight, product of:
               4.111054 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.013472826 = queryNorm
             0.7796627 = fieldWeight in 5588, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=5588)
       0.2 = coord(5/25)
   

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

   0.07581414 = sum of:
     0.07581414 = product of:
       0.47383842 = sum of:
         0.024172207 = weight(abstract_txt:should in 3666) [ClassicSimilarity], result of:
           0.024172207 = score(doc=3666,freq=1.0), product of:
             0.06979793 = queryWeight, product of:
               1.1686921 = boost
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.013472826 = queryNorm
             0.34631696 = fieldWeight in 3666, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.078125 = fieldNorm(doc=3666)
         0.011027868 = weight(abstract_txt:this in 3666) [ClassicSimilarity], result of:
           0.011027868 = score(doc=3666,freq=2.0), product of:
             0.041364335 = queryWeight, product of:
               1.2723508 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.013472826 = queryNorm
             0.2666033 = fieldWeight in 3666, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=3666)
         0.015985353 = weight(abstract_txt:that in 3666) [ClassicSimilarity], result of:
           0.015985353 = score(doc=3666,freq=3.0), product of:
             0.04985623 = queryWeight, product of:
               1.5617394 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.013472826 = queryNorm
             0.320629 = fieldWeight in 3666, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.078125 = fieldNorm(doc=3666)
         0.422653 = weight(abstract_txt:metaphysical in 3666) [ClassicSimilarity], result of:
           0.422653 = score(doc=3666,freq=1.0), product of:
             0.5924217 = queryWeight, product of:
               4.8151445 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.013472826 = queryNorm
             0.71343267 = fieldWeight in 3666, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.078125 = fieldNorm(doc=3666)
       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.06029319 = sum of:
     0.06029319 = product of:
       0.37683246 = sum of:
         0.0792123 = weight(abstract_txt:adaptations in 5404) [ClassicSimilarity], result of:
           0.0792123 = score(doc=5404,freq=1.0), product of:
             0.1222222 = queryWeight, product of:
               1.0935506 = boost
               8.29569 = idf(docFreq=29, maxDocs=44218)
               0.013472826 = queryNorm
             0.64810073 = fieldWeight in 5404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.29569 = idf(docFreq=29, maxDocs=44218)
               0.078125 = fieldNorm(doc=5404)
         0.011027868 = weight(abstract_txt:this in 5404) [ClassicSimilarity], result of:
           0.011027868 = score(doc=5404,freq=2.0), product of:
             0.041364335 = queryWeight, product of:
               1.2723508 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.013472826 = queryNorm
             0.2666033 = fieldWeight in 5404, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=5404)
         0.009229149 = weight(abstract_txt:that in 5404) [ClassicSimilarity], result of:
           0.009229149 = score(doc=5404,freq=1.0), product of:
             0.04985623 = queryWeight, product of:
               1.5617394 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.013472826 = queryNorm
             0.18511525 = fieldWeight in 5404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.078125 = fieldNorm(doc=5404)
         0.27736315 = weight(abstract_txt:divisions in 5404) [ClassicSimilarity], result of:
           0.27736315 = score(doc=5404,freq=1.0), product of:
             0.44737756 = queryWeight, product of:
               4.184378 = boost
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.013472826 = queryNorm
             0.61997557 = fieldWeight in 5404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.078125 = fieldNorm(doc=5404)
       0.16 = coord(4/25)