Document (#28980)

Author
Kottmann, N.
Studer, T.
Title
Improving semantic query answering
Source
http://www.iam.unibe.ch/~tstuder/papers/imprsemweb.pdf
Year
2006
Pages
10 S
Abstract
The retrieval problem is one of the main reasoning tasks for knowledge base systems. Given a knowledge base K and a concept C, the retrieval problem consists of finding all individuals a for which K logically entails C(a). We present an approach to answer retrieval queries over (a restriction of) OWL ontologies. Our solution is based on reducing the retrieval problem to a problem of evaluating an SQL query over a database constructed from the original knowledge base. We provide complete answers to retrieval problems. Still, our system performs very well as is shown by a standard benchmark.
Theme
Wissensrepräsentation
Object
OWL
SQL

Similar documents (author)

  1. Studer, R.; Studer, H.-P.; Studer, A.: Semantisches Knowledge Retrieval (2001) 6.04
    6.0398726 = sum of:
      6.0398726 = weight(author_txt:studer in 4322) [ClassicSimilarity], result of:
        6.0398726 = fieldWeight in 4322, product of:
          1.7320508 = tf(freq=3.0), with freq of:
            3.0 = termFreq=3.0
          9.298992 = idf(docFreq=10, maxDocs=44218)
          0.375 = fieldNorm(doc=4322)
    
  2. Dietlein, S.; Studer, R.: Knowledge Management @ work (2000) 4.65
    4.649496 = sum of:
      4.649496 = weight(author_txt:studer in 4957) [ClassicSimilarity], result of:
        4.649496 = fieldWeight in 4957, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.298992 = idf(docFreq=10, maxDocs=44218)
          0.5 = fieldNorm(doc=4957)
    
  3. Ehrig, M.; Studer, R.: Wissensvernetzung durch Ontologien (2006) 4.65
    4.649496 = sum of:
      4.649496 = weight(author_txt:studer in 5901) [ClassicSimilarity], result of:
        4.649496 = fieldWeight in 5901, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.298992 = idf(docFreq=10, maxDocs=44218)
          0.5 = fieldNorm(doc=5901)
    
  4. Sure, Y.; Studer, R.: ¬A methodology for ontology-based knowledge management (2004) 4.65
    4.649496 = sum of:
      4.649496 = weight(author_txt:studer in 4400) [ClassicSimilarity], result of:
        4.649496 = fieldWeight in 4400, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.298992 = idf(docFreq=10, maxDocs=44218)
          0.5 = fieldNorm(doc=4400)
    
  5. Cimiano, P.; Völker, J.; Studer, R.: Ontologies on demand? : a description of the state-of-the-art, applications, challenges and trends for ontology learning from text (2006) 3.49
    3.487122 = sum of:
      3.487122 = weight(author_txt:studer in 6014) [ClassicSimilarity], result of:
        3.487122 = fieldWeight in 6014, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.298992 = idf(docFreq=10, maxDocs=44218)
          0.375 = fieldNorm(doc=6014)
    

Similar documents (content)

  1. Engels, R.H.P.; Lech, T.Ch.: Generating ontologies for the Semantic Web : OntoBuilder (2004) 0.20
    0.19507645 = sum of:
      0.19507645 = product of:
        0.541879 = sum of:
          0.053764474 = weight(abstract_txt:answer in 4404) [ClassicSimilarity], result of:
            0.053764474 = score(doc=4404,freq=2.0), product of:
              0.13708831 = queryWeight, product of:
                1.0587912 = boost
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.021885244 = queryNorm
              0.3921886 = fieldWeight in 4404, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.03887513 = weight(abstract_txt:solution in 4404) [ClassicSimilarity], result of:
            0.03887513 = score(doc=4404,freq=1.0), product of:
              0.139143 = queryWeight, product of:
                1.0666963 = boost
                5.9603148 = idf(docFreq=309, maxDocs=44218)
                0.021885244 = queryNorm
              0.27938974 = fieldWeight in 4404, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.9603148 = idf(docFreq=309, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.04357763 = weight(abstract_txt:consists in 4404) [ClassicSimilarity], result of:
            0.04357763 = score(doc=4404,freq=1.0), product of:
              0.15014903 = queryWeight, product of:
                1.1080806 = boost
                6.1915555 = idf(docFreq=245, maxDocs=44218)
                0.021885244 = queryNorm
              0.29022917 = fieldWeight in 4404, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1915555 = idf(docFreq=245, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.045296997 = weight(abstract_txt:answers in 4404) [ClassicSimilarity], result of:
            0.045296997 = score(doc=4404,freq=1.0), product of:
              0.15407297 = queryWeight, product of:
                1.1224663 = boost
                6.2719374 = idf(docFreq=226, maxDocs=44218)
                0.021885244 = queryNorm
              0.29399705 = fieldWeight in 4404, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2719374 = idf(docFreq=226, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.047651272 = weight(abstract_txt:reasoning in 4404) [ClassicSimilarity], result of:
            0.047651272 = score(doc=4404,freq=1.0), product of:
              0.1593663 = queryWeight, product of:
                1.1415852 = boost
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.021885244 = queryNorm
              0.2990047 = fieldWeight in 4404, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.042781334 = weight(abstract_txt:knowledge in 4404) [ClassicSimilarity], result of:
            0.042781334 = score(doc=4404,freq=3.0), product of:
              0.1483143 = queryWeight, product of:
                1.9074899 = boost
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.021885244 = queryNorm
              0.2884505 = fieldWeight in 4404, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.13923338 = weight(abstract_txt:base in 4404) [ClassicSimilarity], result of:
            0.13923338 = score(doc=4404,freq=2.0), product of:
              0.3728546 = queryWeight, product of:
                3.0244086 = boost
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.021885244 = queryNorm
              0.37342542 = fieldWeight in 4404, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.038525738 = weight(abstract_txt:retrieval in 4404) [ClassicSimilarity], result of:
            0.038525738 = score(doc=4404,freq=1.0), product of:
              0.23650344 = queryWeight, product of:
                3.1096666 = boost
                3.4751394 = idf(docFreq=3720, maxDocs=44218)
                0.021885244 = queryNorm
              0.16289715 = fieldWeight in 4404, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4751394 = idf(docFreq=3720, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
          0.09217305 = weight(abstract_txt:problem in 4404) [ClassicSimilarity], result of:
            0.09217305 = score(doc=4404,freq=2.0), product of:
              0.31171623 = queryWeight, product of:
                3.1931536 = boost
                4.460548 = idf(docFreq=1388, maxDocs=44218)
                0.021885244 = queryNorm
              0.29569536 = fieldWeight in 4404, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.460548 = idf(docFreq=1388, maxDocs=44218)
                0.046875 = fieldNorm(doc=4404)
        0.36 = coord(9/25)
    
  2. Burke, R.D.: Question answering from frequently asked question files : experiences with the FAQ Finder System (1997) 0.19
    0.1930364 = sum of:
      0.1930364 = product of:
        0.80431837 = sum of:
          0.08870686 = weight(abstract_txt:answer in 1191) [ClassicSimilarity], result of:
            0.08870686 = score(doc=1191,freq=1.0), product of:
              0.13708831 = queryWeight, product of:
                1.0587912 = boost
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.021885244 = queryNorm
              0.6470782 = fieldWeight in 1191, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.109375 = fieldNorm(doc=1191)
          0.12729335 = weight(abstract_txt:answering in 1191) [ClassicSimilarity], result of:
            0.12729335 = score(doc=1191,freq=1.0), product of:
              0.17440788 = queryWeight, product of:
                1.1942443 = boost
                6.6730065 = idf(docFreq=151, maxDocs=44218)
                0.021885244 = queryNorm
              0.72986007 = fieldWeight in 1191, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6730065 = idf(docFreq=151, maxDocs=44218)
                0.109375 = fieldNorm(doc=1191)
          0.09204159 = weight(abstract_txt:query in 1191) [ClassicSimilarity], result of:
            0.09204159 = score(doc=1191,freq=1.0), product of:
              0.17702246 = queryWeight, product of:
                1.7015287 = boost
                4.7537646 = idf(docFreq=1035, maxDocs=44218)
                0.021885244 = queryNorm
              0.519943 = fieldWeight in 1191, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.7537646 = idf(docFreq=1035, maxDocs=44218)
                0.109375 = fieldNorm(doc=1191)
          0.08150523 = weight(abstract_txt:knowledge in 1191) [ClassicSimilarity], result of:
            0.08150523 = score(doc=1191,freq=2.0), product of:
              0.1483143 = queryWeight, product of:
                1.9074899 = boost
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.021885244 = queryNorm
              0.549544 = fieldWeight in 1191, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.109375 = fieldNorm(doc=1191)
          0.32487792 = weight(abstract_txt:base in 1191) [ClassicSimilarity], result of:
            0.32487792 = score(doc=1191,freq=2.0), product of:
              0.3728546 = queryWeight, product of:
                3.0244086 = boost
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.021885244 = queryNorm
              0.871326 = fieldWeight in 1191, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.109375 = fieldNorm(doc=1191)
          0.089893386 = weight(abstract_txt:retrieval in 1191) [ClassicSimilarity], result of:
            0.089893386 = score(doc=1191,freq=1.0), product of:
              0.23650344 = queryWeight, product of:
                3.1096666 = boost
                3.4751394 = idf(docFreq=3720, maxDocs=44218)
                0.021885244 = queryNorm
              0.38009337 = fieldWeight in 1191, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4751394 = idf(docFreq=3720, maxDocs=44218)
                0.109375 = fieldNorm(doc=1191)
        0.24 = coord(6/25)
    
  3. Noy, N.F.: Knowledge representation for intelligent information retrieval in experimental sciences (1997) 0.17
    0.16742349 = sum of:
      0.16742349 = product of:
        0.5231984 = sum of:
          0.04232991 = weight(abstract_txt:ontologies in 694) [ClassicSimilarity], result of:
            0.04232991 = score(doc=694,freq=1.0), product of:
              0.1328864 = queryWeight, product of:
                1.0424383 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.021885244 = queryNorm
              0.3185421 = fieldWeight in 694, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
          0.042828772 = weight(abstract_txt:evaluating in 694) [ClassicSimilarity], result of:
            0.042828772 = score(doc=694,freq=1.0), product of:
              0.1339284 = queryWeight, product of:
                1.0465174 = boost
                5.8475623 = idf(docFreq=346, maxDocs=44218)
                0.021885244 = queryNorm
              0.31978858 = fieldWeight in 694, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8475623 = idf(docFreq=346, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
          0.0528465 = weight(abstract_txt:answers in 694) [ClassicSimilarity], result of:
            0.0528465 = score(doc=694,freq=1.0), product of:
              0.15407297 = queryWeight, product of:
                1.1224663 = boost
                6.2719374 = idf(docFreq=226, maxDocs=44218)
                0.021885244 = queryNorm
              0.34299657 = fieldWeight in 694, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2719374 = idf(docFreq=226, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
          0.063646674 = weight(abstract_txt:answering in 694) [ClassicSimilarity], result of:
            0.063646674 = score(doc=694,freq=1.0), product of:
              0.17440788 = queryWeight, product of:
                1.1942443 = boost
                6.6730065 = idf(docFreq=151, maxDocs=44218)
                0.021885244 = queryNorm
              0.36493003 = fieldWeight in 694, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6730065 = idf(docFreq=151, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
          0.040752616 = weight(abstract_txt:knowledge in 694) [ClassicSimilarity], result of:
            0.040752616 = score(doc=694,freq=2.0), product of:
              0.1483143 = queryWeight, product of:
                1.9074899 = boost
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.021885244 = queryNorm
              0.274772 = fieldWeight in 694, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
          0.11486168 = weight(abstract_txt:base in 694) [ClassicSimilarity], result of:
            0.11486168 = score(doc=694,freq=1.0), product of:
              0.3728546 = queryWeight, product of:
                3.0244086 = boost
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.021885244 = queryNorm
              0.30806026 = fieldWeight in 694, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
          0.089893386 = weight(abstract_txt:retrieval in 694) [ClassicSimilarity], result of:
            0.089893386 = score(doc=694,freq=4.0), product of:
              0.23650344 = queryWeight, product of:
                3.1096666 = boost
                3.4751394 = idf(docFreq=3720, maxDocs=44218)
                0.021885244 = queryNorm
              0.38009337 = fieldWeight in 694, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.4751394 = idf(docFreq=3720, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
          0.076038875 = weight(abstract_txt:problem in 694) [ClassicSimilarity], result of:
            0.076038875 = score(doc=694,freq=1.0), product of:
              0.31171623 = queryWeight, product of:
                3.1931536 = boost
                4.460548 = idf(docFreq=1388, maxDocs=44218)
                0.021885244 = queryNorm
              0.24393621 = fieldWeight in 694, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.460548 = idf(docFreq=1388, maxDocs=44218)
                0.0546875 = fieldNorm(doc=694)
        0.32 = coord(8/25)
    
  4. Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (2017) 0.16
    0.15833886 = sum of:
      0.15833886 = product of:
        0.6597453 = sum of:
          0.12568723 = weight(abstract_txt:ontologies in 3934) [ClassicSimilarity], result of:
            0.12568723 = score(doc=3934,freq=3.0), product of:
              0.1328864 = queryWeight, product of:
                1.0424383 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.021885244 = queryNorm
              0.9458247 = fieldWeight in 3934, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.09375 = fieldNorm(doc=3934)
          0.07603446 = weight(abstract_txt:answer in 3934) [ClassicSimilarity], result of:
            0.07603446 = score(doc=3934,freq=1.0), product of:
              0.13708831 = queryWeight, product of:
                1.0587912 = boost
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.021885244 = queryNorm
              0.5546385 = fieldWeight in 3934, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.09375 = fieldNorm(doc=3934)
          0.19060509 = weight(abstract_txt:reasoning in 3934) [ClassicSimilarity], result of:
            0.19060509 = score(doc=3934,freq=4.0), product of:
              0.1593663 = queryWeight, product of:
                1.1415852 = boost
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.021885244 = queryNorm
              1.1960188 = fieldWeight in 3934, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.09375 = fieldNorm(doc=3934)
          0.10910859 = weight(abstract_txt:answering in 3934) [ClassicSimilarity], result of:
            0.10910859 = score(doc=3934,freq=1.0), product of:
              0.17440788 = queryWeight, product of:
                1.1942443 = boost
                6.6730065 = idf(docFreq=151, maxDocs=44218)
                0.021885244 = queryNorm
              0.6255944 = fieldWeight in 3934, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6730065 = idf(docFreq=151, maxDocs=44218)
                0.09375 = fieldNorm(doc=3934)
          0.07941714 = weight(abstract_txt:over in 3934) [ClassicSimilarity], result of:
            0.07941714 = score(doc=3934,freq=2.0), product of:
              0.14112468 = queryWeight, product of:
                1.5192407 = boost
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.021885244 = queryNorm
              0.5627445 = fieldWeight in 3934, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.09375 = fieldNorm(doc=3934)
          0.07889279 = weight(abstract_txt:query in 3934) [ClassicSimilarity], result of:
            0.07889279 = score(doc=3934,freq=1.0), product of:
              0.17702246 = queryWeight, product of:
                1.7015287 = boost
                4.7537646 = idf(docFreq=1035, maxDocs=44218)
                0.021885244 = queryNorm
              0.44566542 = fieldWeight in 3934, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.7537646 = idf(docFreq=1035, maxDocs=44218)
                0.09375 = fieldNorm(doc=3934)
        0.24 = coord(6/25)
    
  5. Giunchiglia, F.; Maltese, V.; Dutta, B.: Domains and context : first steps towards managing diversity in knowledge (2011) 0.16
    0.15512869 = sum of:
      0.15512869 = product of:
        0.6463695 = sum of:
          0.051833507 = weight(abstract_txt:solution in 603) [ClassicSimilarity], result of:
            0.051833507 = score(doc=603,freq=1.0), product of:
              0.139143 = queryWeight, product of:
                1.0666963 = boost
                5.9603148 = idf(docFreq=309, maxDocs=44218)
                0.021885244 = queryNorm
              0.37251967 = fieldWeight in 603, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.9603148 = idf(docFreq=309, maxDocs=44218)
                0.0625 = fieldNorm(doc=603)
          0.058103506 = weight(abstract_txt:consists in 603) [ClassicSimilarity], result of:
            0.058103506 = score(doc=603,freq=1.0), product of:
              0.15014903 = queryWeight, product of:
                1.1080806 = boost
                6.1915555 = idf(docFreq=245, maxDocs=44218)
                0.021885244 = queryNorm
              0.38697222 = fieldWeight in 603, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1915555 = idf(docFreq=245, maxDocs=44218)
                0.0625 = fieldNorm(doc=603)
          0.0898521 = weight(abstract_txt:reasoning in 603) [ClassicSimilarity], result of:
            0.0898521 = score(doc=603,freq=2.0), product of:
              0.1593663 = queryWeight, product of:
                1.1415852 = boost
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.021885244 = queryNorm
              0.5638087 = fieldWeight in 603, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.0625 = fieldNorm(doc=603)
          0.08713275 = weight(abstract_txt:knowledge in 603) [ClassicSimilarity], result of:
            0.08713275 = score(doc=603,freq=7.0), product of:
              0.1483143 = queryWeight, product of:
                1.9074899 = boost
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.021885244 = queryNorm
              0.5874872 = fieldWeight in 603, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                3.5527887 = idf(docFreq=3442, maxDocs=44218)
                0.0625 = fieldNorm(doc=603)
          0.18564452 = weight(abstract_txt:base in 603) [ClassicSimilarity], result of:
            0.18564452 = score(doc=603,freq=2.0), product of:
              0.3728546 = queryWeight, product of:
                3.0244086 = boost
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.021885244 = queryNorm
              0.49790058 = fieldWeight in 603, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.633102 = idf(docFreq=429, maxDocs=44218)
                0.0625 = fieldNorm(doc=603)
          0.17380315 = weight(abstract_txt:problem in 603) [ClassicSimilarity], result of:
            0.17380315 = score(doc=603,freq=4.0), product of:
              0.31171623 = queryWeight, product of:
                3.1931536 = boost
                4.460548 = idf(docFreq=1388, maxDocs=44218)
                0.021885244 = queryNorm
              0.5575685 = fieldWeight in 603, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.460548 = idf(docFreq=1388, maxDocs=44218)
                0.0625 = fieldNorm(doc=603)
        0.24 = coord(6/25)