Document (#23089)

Author
Ganter, B.
Title
Computing with conceptual structures
Source
Conceptual structures: logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Ed.: B. Ganter et al
Imprint
Berlin : Springer
Year
2000
Pages
S.483-495
Series
Lecture notes in computer science; vol.1867: Lecture notes on artificial intelligence
Abstract
We give an overview over the computational tools for conceptional structures that have emerged from the theory of Formal Concept Analysis, with emphasis on basic ideas rather than technical details. We describe what we mean by conceptual computations, and try to convince the reader that an elaborate formalization is a necessary precondition. Claiming that Formal Concept Analysis provides such a formal background, we present as examples two well known algorithms in very simple pseudo code. These earl be used for navigating in a lattice, thereby supporting some prototypical tasks of conceptual computation. We refer to some of the many more advanced methods, discuss how to compute with limited precision and explain why in the case of incomplete knowledge the conceptual approach is more efficient than a combinatorial one. Utilizing this efficiency requires skillful use of the formalism. We present two results that lead in this direction
Theme
Formale Begriffsanalyse

Similar documents (author)

  1. Ganter, B.: Algorithmen zur formalen Begriffsanalyse (1991) 5.87
    5.871439 = sum of:
      5.871439 = weight(author_txt:ganter in 3038) [ClassicSimilarity], result of:
        5.871439 = fieldWeight in 3038, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.394302 = idf(docFreq=9, maxDocs=44218)
          0.625 = fieldNorm(doc=3038)
    
  2. Ganter, B.: "Naßware" Mensch wehrt sich gegen Übernahme durch Hardware : Wissenschaftler warnen vor der Maschinisierung des Denkens (1997) 5.87
    5.871439 = sum of:
      5.871439 = weight(author_txt:ganter in 7620) [ClassicSimilarity], result of:
        5.871439 = fieldWeight in 7620, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.394302 = idf(docFreq=9, maxDocs=44218)
          0.625 = fieldNorm(doc=7620)
    
  3. Ganter, B.: Begriffe und Implikationen (2000) 5.87
    5.871439 = sum of:
      5.871439 = weight(author_txt:ganter in 4195) [ClassicSimilarity], result of:
        5.871439 = fieldWeight in 4195, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.394302 = idf(docFreq=9, maxDocs=44218)
          0.625 = fieldNorm(doc=4195)
    
  4. Ganter, B.; Wille, R.: Conceptual scaling (1989) 4.70
    4.697151 = sum of:
      4.697151 = weight(author_txt:ganter in 3138) [ClassicSimilarity], result of:
        4.697151 = fieldWeight in 3138, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.394302 = idf(docFreq=9, maxDocs=44218)
          0.5 = fieldNorm(doc=3138)
    
  5. Ganter, B.; Wille, R.: Implikationen und Abhängigkeiten zwischen Merkmalen (1986) 4.70
    4.697151 = sum of:
      4.697151 = weight(author_txt:ganter in 5448) [ClassicSimilarity], result of:
        4.697151 = fieldWeight in 5448, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.394302 = idf(docFreq=9, maxDocs=44218)
          0.5 = fieldNorm(doc=5448)
    

Similar documents (content)

  1. Kaytoue, M.; Kuznetsov, S.O.; Assaghir, Z.; Napoli, A.: Embedding tolerance relations in concept lattices : an application in information fusion (2010) 0.22
    0.21521735 = sum of:
      0.21521735 = product of:
        0.67255425 = sum of:
          0.018747179 = weight(abstract_txt:analysis in 4843) [ClassicSimilarity], result of:
            0.018747179 = score(doc=4843,freq=1.0), product of:
              0.082099676 = queryWeight, product of:
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.022471236 = queryNorm
              0.22834657 = fieldWeight in 4843, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
          0.009006683 = weight(abstract_txt:with in 4843) [ClassicSimilarity], result of:
            0.009006683 = score(doc=4843,freq=1.0), product of:
              0.057648916 = queryWeight, product of:
                1.0262909 = boost
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.022471236 = queryNorm
              0.15623334 = fieldWeight in 4843, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
          0.117123604 = weight(abstract_txt:formalization in 4843) [ClassicSimilarity], result of:
            0.117123604 = score(doc=4843,freq=1.0), product of:
              0.22103977 = queryWeight, product of:
                1.1602445 = boost
                8.478011 = idf(docFreq=24, maxDocs=44218)
                0.022471236 = queryNorm
              0.5298757 = fieldWeight in 4843, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.478011 = idf(docFreq=24, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
          0.070313595 = weight(abstract_txt:concept in 4843) [ClassicSimilarity], result of:
            0.070313595 = score(doc=4843,freq=4.0), product of:
              0.12485053 = queryWeight, product of:
                1.2331743 = boost
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.022471236 = queryNorm
              0.56318223 = fieldWeight in 4843, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
          0.2602449 = weight(abstract_txt:lattice in 4843) [ClassicSimilarity], result of:
            0.2602449 = score(doc=4843,freq=3.0), product of:
              0.26096877 = queryWeight, product of:
                1.2606907 = boost
                9.211981 = idf(docFreq=11, maxDocs=44218)
                0.022471236 = queryNorm
              0.9972262 = fieldWeight in 4843, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                9.211981 = idf(docFreq=11, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
          0.010227722 = weight(abstract_txt:that in 4843) [ClassicSimilarity], result of:
            0.010227722 = score(doc=4843,freq=1.0), product of:
              0.06906321 = queryWeight, product of:
                1.2970827 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.022471236 = queryNorm
              0.1480922 = fieldWeight in 4843, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
          0.09692852 = weight(abstract_txt:formal in 4843) [ClassicSimilarity], result of:
            0.09692852 = score(doc=4843,freq=1.0), product of:
              0.28100604 = queryWeight, product of:
                2.2658582 = boost
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.022471236 = queryNorm
              0.34493396 = fieldWeight in 4843, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
          0.08996206 = weight(abstract_txt:conceptual in 4843) [ClassicSimilarity], result of:
            0.08996206 = score(doc=4843,freq=1.0), product of:
              0.29428428 = queryWeight, product of:
                2.6774898 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.022471236 = queryNorm
              0.3056978 = fieldWeight in 4843, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.0625 = fieldNorm(doc=4843)
        0.32 = coord(8/25)
    
  2. Eklund. P.W.: Logic-based networks : concept graphs and conceptual structures (2000) 0.18
    0.17816931 = sum of:
      0.17816931 = product of:
        0.5567791 = sum of:
          0.023433974 = weight(abstract_txt:analysis in 5084) [ClassicSimilarity], result of:
            0.023433974 = score(doc=5084,freq=1.0), product of:
              0.082099676 = queryWeight, product of:
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.022471236 = queryNorm
              0.2854332 = fieldWeight in 5084, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
          0.011258353 = weight(abstract_txt:with in 5084) [ClassicSimilarity], result of:
            0.011258353 = score(doc=5084,freq=1.0), product of:
              0.057648916 = queryWeight, product of:
                1.0262909 = boost
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.022471236 = queryNorm
              0.19529167 = fieldWeight in 5084, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
          0.10772338 = weight(abstract_txt:compute in 5084) [ClassicSimilarity], result of:
            0.10772338 = score(doc=5084,freq=1.0), product of:
              0.1801527 = queryWeight, product of:
                1.0474533 = boost
                7.653836 = idf(docFreq=56, maxDocs=44218)
                0.022471236 = queryNorm
              0.59795594 = fieldWeight in 5084, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.653836 = idf(docFreq=56, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
          0.098266244 = weight(abstract_txt:concept in 5084) [ClassicSimilarity], result of:
            0.098266244 = score(doc=5084,freq=5.0), product of:
              0.12485053 = queryWeight, product of:
                1.2331743 = boost
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.022471236 = queryNorm
              0.7870711 = fieldWeight in 5084, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
          0.018080229 = weight(abstract_txt:that in 5084) [ClassicSimilarity], result of:
            0.018080229 = score(doc=5084,freq=2.0), product of:
              0.06906321 = queryWeight, product of:
                1.2970827 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.022471236 = queryNorm
              0.26179248 = fieldWeight in 5084, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
          0.06440369 = weight(abstract_txt:structures in 5084) [ClassicSimilarity], result of:
            0.06440369 = score(doc=5084,freq=1.0), product of:
              0.1610836 = queryWeight, product of:
                1.4007316 = boost
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.022471236 = queryNorm
              0.39981532 = fieldWeight in 5084, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
          0.121160656 = weight(abstract_txt:formal in 5084) [ClassicSimilarity], result of:
            0.121160656 = score(doc=5084,freq=1.0), product of:
              0.28100604 = queryWeight, product of:
                2.2658582 = boost
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.022471236 = queryNorm
              0.43116745 = fieldWeight in 5084, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
          0.112452574 = weight(abstract_txt:conceptual in 5084) [ClassicSimilarity], result of:
            0.112452574 = score(doc=5084,freq=1.0), product of:
              0.29428428 = queryWeight, product of:
                2.6774898 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.022471236 = queryNorm
              0.38212225 = fieldWeight in 5084, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.078125 = fieldNorm(doc=5084)
        0.32 = coord(8/25)
    
  3. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.16
    0.15611474 = sum of:
      0.15611474 = product of:
        0.48785856 = sum of:
          0.02319845 = weight(abstract_txt:analysis in 691) [ClassicSimilarity], result of:
            0.02319845 = score(doc=691,freq=2.0), product of:
              0.082099676 = queryWeight, product of:
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.022471236 = queryNorm
              0.28256446 = fieldWeight in 691, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
          0.016734464 = weight(abstract_txt:some in 691) [ClassicSimilarity], result of:
            0.016734464 = score(doc=691,freq=1.0), product of:
              0.08319936 = queryWeight, product of:
                1.006675 = boost
                3.6779325 = idf(docFreq=3037, maxDocs=44218)
                0.022471236 = queryNorm
              0.20113693 = fieldWeight in 691, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6779325 = idf(docFreq=3037, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
          0.0111452015 = weight(abstract_txt:with in 691) [ClassicSimilarity], result of:
            0.0111452015 = score(doc=691,freq=2.0), product of:
              0.057648916 = queryWeight, product of:
                1.0262909 = boost
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.022471236 = queryNorm
              0.1933289 = fieldWeight in 691, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
          0.053281695 = weight(abstract_txt:concept in 691) [ClassicSimilarity], result of:
            0.053281695 = score(doc=691,freq=3.0), product of:
              0.12485053 = queryWeight, product of:
                1.2331743 = boost
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.022471236 = queryNorm
              0.42676386 = fieldWeight in 691, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
          0.015500567 = weight(abstract_txt:that in 691) [ClassicSimilarity], result of:
            0.015500567 = score(doc=691,freq=3.0), product of:
              0.06906321 = queryWeight, product of:
                1.2970827 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.022471236 = queryNorm
              0.22444029 = fieldWeight in 691, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
          0.04508258 = weight(abstract_txt:structures in 691) [ClassicSimilarity], result of:
            0.04508258 = score(doc=691,freq=1.0), product of:
              0.1610836 = queryWeight, product of:
                1.4007316 = boost
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.022471236 = queryNorm
              0.27987072 = fieldWeight in 691, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
          0.14689948 = weight(abstract_txt:formal in 691) [ClassicSimilarity], result of:
            0.14689948 = score(doc=691,freq=3.0), product of:
              0.28100604 = queryWeight, product of:
                2.2658582 = boost
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.022471236 = queryNorm
              0.5227627 = fieldWeight in 691, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
          0.17601612 = weight(abstract_txt:conceptual in 691) [ClassicSimilarity], result of:
            0.17601612 = score(doc=691,freq=5.0), product of:
              0.29428428 = queryWeight, product of:
                2.6774898 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.022471236 = queryNorm
              0.5981159 = fieldWeight in 691, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.0546875 = fieldNorm(doc=691)
        0.32 = coord(8/25)
    
  4. Carpineto, C.; Romano, G.: Order-theoretical ranking (2000) 0.15
    0.15018222 = sum of:
      0.15018222 = product of:
        0.46931943 = sum of:
          0.009006683 = weight(abstract_txt:with in 4766) [ClassicSimilarity], result of:
            0.009006683 = score(doc=4766,freq=1.0), product of:
              0.057648916 = queryWeight, product of:
                1.0262909 = boost
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.022471236 = queryNorm
              0.15623334 = fieldWeight in 4766, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
          0.0861787 = weight(abstract_txt:compute in 4766) [ClassicSimilarity], result of:
            0.0861787 = score(doc=4766,freq=1.0), product of:
              0.1801527 = queryWeight, product of:
                1.0474533 = boost
                7.653836 = idf(docFreq=56, maxDocs=44218)
                0.022471236 = queryNorm
              0.47836474 = fieldWeight in 4766, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.653836 = idf(docFreq=56, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
          0.032126162 = weight(abstract_txt:than in 4766) [ClassicSimilarity], result of:
            0.032126162 = score(doc=4766,freq=2.0), product of:
              0.093313985 = queryWeight, product of:
                1.0661116 = boost
                3.8950868 = idf(docFreq=2444, maxDocs=44218)
                0.022471236 = queryNorm
              0.34428027 = fieldWeight in 4766, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.8950868 = idf(docFreq=2444, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
          0.03161868 = weight(abstract_txt:present in 4766) [ClassicSimilarity], result of:
            0.03161868 = score(doc=4766,freq=1.0), product of:
              0.11632685 = queryWeight, product of:
                1.1903352 = boost
                4.348943 = idf(docFreq=1552, maxDocs=44218)
                0.022471236 = queryNorm
              0.27180895 = fieldWeight in 4766, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.348943 = idf(docFreq=1552, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
          0.04971922 = weight(abstract_txt:concept in 4766) [ClassicSimilarity], result of:
            0.04971922 = score(doc=4766,freq=2.0), product of:
              0.12485053 = queryWeight, product of:
                1.2331743 = boost
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.022471236 = queryNorm
              0.39822996 = fieldWeight in 4766, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
          0.15025246 = weight(abstract_txt:lattice in 4766) [ClassicSimilarity], result of:
            0.15025246 = score(doc=4766,freq=1.0), product of:
              0.26096877 = queryWeight, product of:
                1.2606907 = boost
                9.211981 = idf(docFreq=11, maxDocs=44218)
                0.022471236 = queryNorm
              0.5757488 = fieldWeight in 4766, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.211981 = idf(docFreq=11, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
          0.020455444 = weight(abstract_txt:that in 4766) [ClassicSimilarity], result of:
            0.020455444 = score(doc=4766,freq=4.0), product of:
              0.06906321 = queryWeight, product of:
                1.2970827 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.022471236 = queryNorm
              0.2961844 = fieldWeight in 4766, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
          0.08996206 = weight(abstract_txt:conceptual in 4766) [ClassicSimilarity], result of:
            0.08996206 = score(doc=4766,freq=1.0), product of:
              0.29428428 = queryWeight, product of:
                2.6774898 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.022471236 = queryNorm
              0.3056978 = fieldWeight in 4766, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.0625 = fieldNorm(doc=4766)
        0.32 = coord(8/25)
    
  5. Negm, E.; AbdelRahman, S.; Bahgat, R.: PREFCA: a portal retrieval engine based on formal concept analysis (2017) 0.14
    0.14409386 = sum of:
      0.14409386 = product of:
        0.4002607 = sum of:
          0.03444077 = weight(abstract_txt:analysis in 3291) [ClassicSimilarity], result of:
            0.03444077 = score(doc=3291,freq=6.0), product of:
              0.082099676 = queryWeight, product of:
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.022471236 = queryNorm
              0.41949946 = fieldWeight in 3291, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                3.6535451 = idf(docFreq=3112, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.014343826 = weight(abstract_txt:some in 3291) [ClassicSimilarity], result of:
            0.014343826 = score(doc=3291,freq=1.0), product of:
              0.08319936 = queryWeight, product of:
                1.006675 = boost
                3.6779325 = idf(docFreq=3037, maxDocs=44218)
                0.022471236 = queryNorm
              0.17240308 = fieldWeight in 3291, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6779325 = idf(docFreq=3037, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.009553029 = weight(abstract_txt:with in 3291) [ClassicSimilarity], result of:
            0.009553029 = score(doc=3291,freq=2.0), product of:
              0.057648916 = queryWeight, product of:
                1.0262909 = boost
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.022471236 = queryNorm
              0.16571048 = fieldWeight in 3291, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4997334 = idf(docFreq=9868, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.029509766 = weight(abstract_txt:than in 3291) [ClassicSimilarity], result of:
            0.029509766 = score(doc=3291,freq=3.0), product of:
              0.093313985 = queryWeight, product of:
                1.0661116 = boost
                3.8950868 = idf(docFreq=2444, maxDocs=44218)
                0.022471236 = queryNorm
              0.31624162 = fieldWeight in 3291, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.8950868 = idf(docFreq=2444, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.02371401 = weight(abstract_txt:present in 3291) [ClassicSimilarity], result of:
            0.02371401 = score(doc=3291,freq=1.0), product of:
              0.11632685 = queryWeight, product of:
                1.1903352 = boost
                4.348943 = idf(docFreq=1552, maxDocs=44218)
                0.022471236 = queryNorm
              0.2038567 = fieldWeight in 3291, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.348943 = idf(docFreq=1552, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.04567002 = weight(abstract_txt:concept in 3291) [ClassicSimilarity], result of:
            0.04567002 = score(doc=3291,freq=3.0), product of:
              0.12485053 = queryWeight, product of:
                1.2331743 = boost
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.022471236 = queryNorm
              0.36579758 = fieldWeight in 3291, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.021696275 = weight(abstract_txt:that in 3291) [ClassicSimilarity], result of:
            0.021696275 = score(doc=3291,freq=8.0), product of:
              0.06906321 = queryWeight, product of:
                1.2970827 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.022471236 = queryNorm
              0.314151 = fieldWeight in 3291, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.12591384 = weight(abstract_txt:formal in 3291) [ClassicSimilarity], result of:
            0.12591384 = score(doc=3291,freq=3.0), product of:
              0.28100604 = queryWeight, product of:
                2.2658582 = boost
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.022471236 = queryNorm
              0.44808233 = fieldWeight in 3291, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.5189433 = idf(docFreq=481, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
          0.09541917 = weight(abstract_txt:conceptual in 3291) [ClassicSimilarity], result of:
            0.09541917 = score(doc=3291,freq=2.0), product of:
              0.29428428 = queryWeight, product of:
                2.6774898 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.022471236 = queryNorm
              0.32424146 = fieldWeight in 3291, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.046875 = fieldNorm(doc=3291)
        0.36 = coord(9/25)