Document (#13514)

Author

Jaenecke, P.

Title

Elementary principles for representing knowledge

Source

Knowledge organization. 23(1996) no.2, S.88-102

Year

1996

Abstract

The vast majority of publications in language theory and philosophy start with the language as the given and ask about their structures, about the meaning of their words and about the corret interpretation of texts. This paper approaches the language problem from just the opposite side: the given is here a certain content; what is sought for, is an appropriate artificial language to represent this content. To this end, 7 elementary representation principles are proposed. To illustrate the way they work, syntactic pattern recognition is introduced as a simple, but non-trivial ecxample for representing knowledge in formal language. Another central thema of the paper is Leibniz's characteristica universalis and the so-called Leibniz project. Leibniz's investigations in this field are reviewed against the backgroud of the tasks required in syntactic pattern recognition. It is demonstrated that Leibniz had, in fact, already worked with 6 of the 7 representation principles proposed, further, that his characteristica universalis is an early form of a formal language, and lastly, that, contrary to the prevailing view - the Leibniz project is not a matter of logic but rather one of knowledge representation, a field largely unexploited in today's logic-oriented epistemology and philosophy of science. It is precisely this one-sided orientation of these disciplines, which is responsible for the distorted picture of Leibniz's work found in the literature; some typical misunderstandings are finally discussed

Similar documents (author)

1. Jaenecke, P.: To what end knowledge organization? (1994) 5.62

   5.6180234 = sum of:
     5.6180234 = weight(author_txt:jaenecke in 6915) [ClassicSimilarity], result of:
       5.6180234 = fieldWeight in 6915, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.988837 = idf(docFreq=14, maxDocs=44218)
         0.625 = fieldNorm(doc=6915)
   

2. Jaenecke, P.: Wozu Wissensorganisation? (1995) 5.62

   5.6180234 = sum of:
     5.6180234 = weight(author_txt:jaenecke in 1121) [ClassicSimilarity], result of:
       5.6180234 = fieldWeight in 1121, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.988837 = idf(docFreq=14, maxDocs=44218)
         0.625 = fieldNorm(doc=1121)
   

3. Jaenecke, P.: Über den Ursprung von Intelligenz (1992) 5.62

   5.6180234 = sum of:
     5.6180234 = weight(author_txt:jaenecke in 1339) [ClassicSimilarity], result of:
       5.6180234 = fieldWeight in 1339, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.988837 = idf(docFreq=14, maxDocs=44218)
         0.625 = fieldNorm(doc=1339)
   

4. Jaenecke, P.: Was ist ein neuronales Netz? (1992) 5.62

   5.6180234 = sum of:
     5.6180234 = weight(author_txt:jaenecke in 1344) [ClassicSimilarity], result of:
       5.6180234 = fieldWeight in 1344, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.988837 = idf(docFreq=14, maxDocs=44218)
         0.625 = fieldNorm(doc=1344)
   

5. Jaenecke, J.: Neuigkeiten von der ISMN (1995) 5.62

   5.6180234 = sum of:
     5.6180234 = weight(author_txt:jaenecke in 1442) [ClassicSimilarity], result of:
       5.6180234 = fieldWeight in 1442, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.988837 = idf(docFreq=14, maxDocs=44218)
         0.625 = fieldNorm(doc=1442)
   

Similar documents (content)

1. Mainzer, K.: ¬The emergence of self-conscious systems : from symbolic AI to embodied robotics (2014) 0.50

   0.5011569 = sum of:
     0.5011569 = product of:
       1.138993 = sum of:
         0.038494553 = weight(abstract_txt:knowledge in 3398) [ClassicSimilarity], result of:
           0.038494553 = score(doc=3398,freq=4.0), product of:
             0.086680196 = queryWeight, product of:
               1.2630206 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.019317016 = queryNorm
             0.4440986 = fieldWeight in 3398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.06802251 = weight(abstract_txt:formal in 3398) [ClassicSimilarity], result of:
           0.06802251 = score(doc=3398,freq=2.0), product of:
             0.1394446 = queryWeight, product of:
               1.3079939 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.019317016 = queryNorm
             0.48781028 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.057987787 = weight(abstract_txt:representing in 3398) [ClassicSimilarity], result of:
           0.057987787 = score(doc=3398,freq=1.0), product of:
             0.15795533 = queryWeight, product of:
               1.3921051 = boost
               5.8738413 = idf(docFreq=337, maxDocs=44218)
               0.019317016 = queryNorm
             0.36711508 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8738413 = idf(docFreq=337, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.02587708 = weight(abstract_txt:about in 3398) [ClassicSimilarity], result of:
           0.02587708 = score(doc=3398,freq=1.0), product of:
             0.105588645 = queryWeight, product of:
               1.3939883 = boost
               3.9211915 = idf(docFreq=2381, maxDocs=44218)
               0.019317016 = queryNorm
             0.24507447 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9211915 = idf(docFreq=2381, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.06513568 = weight(abstract_txt:philosophy in 3398) [ClassicSimilarity], result of:
           0.06513568 = score(doc=3398,freq=1.0), product of:
             0.1706826 = queryWeight, product of:
               1.4471033 = boost
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.019317016 = queryNorm
             0.38161877 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.065618135 = weight(abstract_txt:recognition in 3398) [ClassicSimilarity], result of:
           0.065618135 = score(doc=3398,freq=1.0), product of:
             0.17152438 = queryWeight, product of:
               1.4506673 = boost
               6.1209383 = idf(docFreq=263, maxDocs=44218)
               0.019317016 = queryNorm
             0.38255864 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1209383 = idf(docFreq=263, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.09819178 = weight(abstract_txt:logic in 3398) [ClassicSimilarity], result of:
           0.09819178 = score(doc=3398,freq=2.0), product of:
             0.17810798 = queryWeight, product of:
               1.4782455 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.019317016 = queryNorm
             0.5513048 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.102612495 = weight(abstract_txt:representation in 3398) [ClassicSimilarity], result of:
           0.102612495 = score(doc=3398,freq=4.0), product of:
             0.16664305 = queryWeight, product of:
               1.7512337 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.019317016 = queryNorm
             0.61576223 = fieldWeight in 3398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.34690404 = weight(abstract_txt:universalis in 3398) [ClassicSimilarity], result of:
           0.34690404 = score(doc=3398,freq=2.0), product of:
             0.4131485 = queryWeight, product of:
               2.2514274 = boost
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.019317016 = queryNorm
             0.83965945 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.20736185 = weight(abstract_txt:leibniz in 3398) [ClassicSimilarity], result of:
           0.20736185 = score(doc=3398,freq=1.0), product of:
             0.42282397 = queryWeight, product of:
               2.7895253 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.019317016 = queryNorm
             0.49042124 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.0627871 = weight(abstract_txt:language in 3398) [ClassicSimilarity], result of:
           0.0627871 = score(doc=3398,freq=1.0), product of:
             0.24021345 = queryWeight, product of:
               2.9734743 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.019317016 = queryNorm
             0.26138046 = fieldWeight in 3398, 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=3398)
       0.44 = coord(11/25)
   

2. Andreas, H.: On frames and theory-elements of structuralism (2014) 0.26

   0.2569733 = sum of:
     0.2569733 = product of:
       0.7138147 = sum of:
         0.03333726 = weight(abstract_txt:knowledge in 3402) [ClassicSimilarity], result of:
           0.03333726 = score(doc=3402,freq=3.0), product of:
             0.086680196 = queryWeight, product of:
               1.2630206 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.019317016 = queryNorm
             0.38460067 = fieldWeight in 3402, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.08331022 = weight(abstract_txt:formal in 3402) [ClassicSimilarity], result of:
           0.08331022 = score(doc=3402,freq=3.0), product of:
             0.1394446 = queryWeight, product of:
               1.3079939 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.019317016 = queryNorm
             0.5974431 = fieldWeight in 3402, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.057987787 = weight(abstract_txt:representing in 3402) [ClassicSimilarity], result of:
           0.057987787 = score(doc=3402,freq=1.0), product of:
             0.15795533 = queryWeight, product of:
               1.3921051 = boost
               5.8738413 = idf(docFreq=337, maxDocs=44218)
               0.019317016 = queryNorm
             0.36711508 = fieldWeight in 3402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8738413 = idf(docFreq=337, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.02587708 = weight(abstract_txt:about in 3402) [ClassicSimilarity], result of:
           0.02587708 = score(doc=3402,freq=1.0), product of:
             0.105588645 = queryWeight, product of:
               1.3939883 = boost
               3.9211915 = idf(docFreq=2381, maxDocs=44218)
               0.019317016 = queryNorm
             0.24507447 = fieldWeight in 3402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9211915 = idf(docFreq=2381, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.010050584 = weight(abstract_txt:this in 3402) [ClassicSimilarity], result of:
           0.010050584 = score(doc=3402,freq=1.0), product of:
             0.066642426 = queryWeight, product of:
               1.4297177 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.019317016 = queryNorm
             0.1508136 = fieldWeight in 3402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.06513568 = weight(abstract_txt:philosophy in 3402) [ClassicSimilarity], result of:
           0.06513568 = score(doc=3402,freq=1.0), product of:
             0.1706826 = queryWeight, product of:
               1.4471033 = boost
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.019317016 = queryNorm
             0.38161877 = fieldWeight in 3402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.12025988 = weight(abstract_txt:logic in 3402) [ClassicSimilarity], result of:
           0.12025988 = score(doc=3402,freq=3.0), product of:
             0.17810798 = queryWeight, product of:
               1.4782455 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.019317016 = queryNorm
             0.67520773 = fieldWeight in 3402, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.07255799 = weight(abstract_txt:representation in 3402) [ClassicSimilarity], result of:
           0.07255799 = score(doc=3402,freq=2.0), product of:
             0.16664305 = queryWeight, product of:
               1.7512337 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.019317016 = queryNorm
             0.43540964 = fieldWeight in 3402, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
         0.2452982 = weight(abstract_txt:universalis in 3402) [ClassicSimilarity], result of:
           0.2452982 = score(doc=3402,freq=1.0), product of:
             0.4131485 = queryWeight, product of:
               2.2514274 = boost
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.019317016 = queryNorm
             0.5937289 = fieldWeight in 3402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.0625 = fieldNorm(doc=3402)
       0.36 = coord(9/25)
   

3. Herre, H.: General Formal Ontology (GFO) : a foundational ontology for conceptual modelling (2010) 0.18

   0.17616235 = sum of:
     0.17616235 = product of:
       0.44040585 = sum of:
         0.01945131 = weight(abstract_txt:field in 771) [ClassicSimilarity], result of:
           0.01945131 = score(doc=771,freq=1.0), product of:
             0.09237795 = queryWeight, product of:
               1.0646063 = boost
               4.491995 = idf(docFreq=1345, maxDocs=44218)
               0.019317016 = queryNorm
             0.21056226 = fieldWeight in 771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.491995 = idf(docFreq=1345, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.03819263 = weight(abstract_txt:knowledge in 771) [ClassicSimilarity], result of:
           0.03819263 = score(doc=771,freq=7.0), product of:
             0.086680196 = queryWeight, product of:
               1.2630206 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.019317016 = queryNorm
             0.44061542 = fieldWeight in 771, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.095443845 = weight(abstract_txt:formal in 771) [ClassicSimilarity], result of:
           0.095443845 = score(doc=771,freq=7.0), product of:
             0.1394446 = queryWeight, product of:
               1.3079939 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.019317016 = queryNorm
             0.68445706 = fieldWeight in 771, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.027446788 = weight(abstract_txt:about in 771) [ClassicSimilarity], result of:
           0.027446788 = score(doc=771,freq=2.0), product of:
             0.105588645 = queryWeight, product of:
               1.3939883 = boost
               3.9211915 = idf(docFreq=2381, maxDocs=44218)
               0.019317016 = queryNorm
             0.2599407 = fieldWeight in 771, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.9211915 = idf(docFreq=2381, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.007537938 = weight(abstract_txt:this in 771) [ClassicSimilarity], result of:
           0.007537938 = score(doc=771,freq=1.0), product of:
             0.066642426 = queryWeight, product of:
               1.4297177 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.019317016 = queryNorm
             0.1131102 = fieldWeight in 771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.048851762 = weight(abstract_txt:philosophy in 771) [ClassicSimilarity], result of:
           0.048851762 = score(doc=771,freq=1.0), product of:
             0.1706826 = queryWeight, product of:
               1.4471033 = boost
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.019317016 = queryNorm
             0.28621408 = fieldWeight in 771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.07364384 = weight(abstract_txt:logic in 771) [ClassicSimilarity], result of:
           0.07364384 = score(doc=771,freq=2.0), product of:
             0.17810798 = queryWeight, product of:
               1.4782455 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.019317016 = queryNorm
             0.4134786 = fieldWeight in 771, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.038479686 = weight(abstract_txt:representation in 771) [ClassicSimilarity], result of:
           0.038479686 = score(doc=771,freq=1.0), product of:
             0.16664305 = queryWeight, product of:
               1.7512337 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.019317016 = queryNorm
             0.23091084 = fieldWeight in 771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.044267703 = weight(abstract_txt:principles in 771) [ClassicSimilarity], result of:
           0.044267703 = score(doc=771,freq=1.0), product of:
             0.18296057 = queryWeight, product of:
               1.8349713 = boost
               5.161646 = idf(docFreq=688, maxDocs=44218)
               0.019317016 = queryNorm
             0.24195215 = fieldWeight in 771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.161646 = idf(docFreq=688, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
         0.04709033 = weight(abstract_txt:language in 771) [ClassicSimilarity], result of:
           0.04709033 = score(doc=771,freq=1.0), product of:
             0.24021345 = queryWeight, product of:
               2.9734743 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.019317016 = queryNorm
             0.19603536 = fieldWeight in 771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.046875 = fieldNorm(doc=771)
       0.4 = coord(10/25)
   

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

   0.14605331 = sum of:
     0.14605331 = product of:
       0.7302666 = sum of:
         0.0340247 = weight(abstract_txt:knowledge in 4442) [ClassicSimilarity], result of:
           0.0340247 = score(doc=4442,freq=2.0), product of:
             0.086680196 = queryWeight, product of:
               1.2630206 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.019317016 = queryNorm
             0.39253142 = fieldWeight in 4442, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.078125 = fieldNorm(doc=4442)
         0.01256323 = weight(abstract_txt:this in 4442) [ClassicSimilarity], result of:
           0.01256323 = score(doc=4442,freq=1.0), product of:
             0.066642426 = queryWeight, product of:
               1.4297177 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.019317016 = 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.08679009 = weight(abstract_txt:logic in 4442) [ClassicSimilarity], result of:
           0.08679009 = score(doc=4442,freq=1.0), product of:
             0.17810798 = queryWeight, product of:
               1.4782455 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.019317016 = 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.51840466 = weight(abstract_txt:leibniz in 4442) [ClassicSimilarity], result of:
           0.51840466 = score(doc=4442,freq=4.0), product of:
             0.42282397 = queryWeight, product of:
               2.7895253 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.019317016 = queryNorm
             1.2260531 = fieldWeight in 4442, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.078125 = fieldNorm(doc=4442)
         0.07848388 = weight(abstract_txt:language in 4442) [ClassicSimilarity], result of:
           0.07848388 = score(doc=4442,freq=1.0), product of:
             0.24021345 = queryWeight, product of:
               2.9734743 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.019317016 = queryNorm
             0.32672557 = fieldWeight in 4442, 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=4442)
       0.2 = coord(5/25)
   

5. Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992) 0.14

   0.1379284 = sum of:
     0.1379284 = product of:
       0.57470167 = sum of:
         0.01256323 = weight(abstract_txt:this in 2413) [ClassicSimilarity], result of:
           0.01256323 = score(doc=2413,freq=1.0), product of:
             0.066642426 = queryWeight, product of:
               1.4297177 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.019317016 = queryNorm
             0.18851699 = fieldWeight in 2413, 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=2413)
         0.12273973 = weight(abstract_txt:logic in 2413) [ClassicSimilarity], result of:
           0.12273973 = score(doc=2413,freq=2.0), product of:
             0.17810798 = queryWeight, product of:
               1.4782455 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.019317016 = queryNorm
             0.689131 = fieldWeight in 2413, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.09942639 = weight(abstract_txt:syntactic in 2413) [ClassicSimilarity], result of:
           0.09942639 = score(doc=2413,freq=1.0), product of:
             0.19500138 = queryWeight, product of:
               1.5467628 = boost
               6.5264034 = idf(docFreq=175, maxDocs=44218)
               0.019317016 = queryNorm
             0.5098753 = fieldWeight in 2413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5264034 = idf(docFreq=175, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.09069749 = weight(abstract_txt:representation in 2413) [ClassicSimilarity], result of:
           0.09069749 = score(doc=2413,freq=2.0), product of:
             0.16664305 = queryWeight, product of:
               1.7512337 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.019317016 = queryNorm
             0.54426205 = fieldWeight in 2413, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.07377951 = weight(abstract_txt:principles in 2413) [ClassicSimilarity], result of:
           0.07377951 = score(doc=2413,freq=1.0), product of:
             0.18296057 = queryWeight, product of:
               1.8349713 = boost
               5.161646 = idf(docFreq=688, maxDocs=44218)
               0.019317016 = queryNorm
             0.4032536 = fieldWeight in 2413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.161646 = idf(docFreq=688, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.1754953 = weight(abstract_txt:language in 2413) [ClassicSimilarity], result of:
           0.1754953 = score(doc=2413,freq=5.0), product of:
             0.24021345 = queryWeight, product of:
               2.9734743 = boost
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.019317016 = queryNorm
             0.7305806 = fieldWeight in 2413, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.1820874 = idf(docFreq=1834, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
       0.24 = coord(6/25)