Document (#37137)

Author
Lange, C.
Title
Ontologies and languages for representing mathematical knowledge on the Semantic Web
Source
Semantic Web journal. 2(2012), no.x
Year
2011
Abstract
Mathematics is a ubiquitous foundation of science, technology, and engineering. Specific areas, such as numeric and symbolic computation or logics, enjoy considerable software support. Working mathematicians have recently started to adopt Web 2.0 environment, such as blogs and wikis, but these systems lack machine support for knowledge organization and reuse, and they are disconnected from tools such as computer algebra systems or interactive proof assistants.We argue that such scenarios will benefit from Semantic Web technology. Conversely, mathematics is still underrepresented on the Web of [Linked] Data. There are mathematics-related Linked Data, for example statistical government data or scientific publication databases, but their mathematical semantics has not yet been modeled. We argue that the services for the Web of Data will benefit from a deeper representation of mathematical knowledge. Mathematical knowledge comprises logical and functional structures - formulæ, statements, and theories -, a mixture of rigorous natural language and symbolic notation in documents, application-specific metadata, and discussions about conceptualizations, formalizations, proofs, and (counter-)examples. Our review of approaches to representing these structures covers ontologies for mathematical problems, proofs, interlinked scientific publications, scientific discourse, as well as mathematical metadata vocabularies and domain knowledge from pure and applied mathematics. Many fields of mathematics have not yet been implemented as proper Semantic Web ontologies; however, we show that MathML and OpenMath, the standard XML-based exchange languages for mathematical knowledge, can be fully integrated with RDF representations in order to contribute existing mathematical knowledge to theWeb of Data. We conclude with a roadmap for getting the mathematical Web of Data started: what datasets to publish, how to interlink them, and how to take advantage of these new connections.
Content
Vgl.: http://www.semantic-web-journal.net/content/ontologies-and-languages-representing-mathematical-knowledge-semantic-web http://www.semantic-web-journal.net/sites/default/files/swj122_2.pdf.
Theme
Wissensrepräsentation
Field
Mathematik

Similar documents (author)

  1. Lange, H.R.: Speech synthesis and speech recognition : tomorrow's human-computer interface? (1993) 5.23
    5.2294087 = sum of:
      5.2294087 = weight(author_txt:lange in 7224) [ClassicSimilarity], result of:
        5.2294087 = fieldWeight in 7224, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.367054 = idf(docFreq=26, maxDocs=42740)
          0.625 = fieldNorm(doc=7224)
    
  2. Lange, E.: Informationsgesellschaft und Medien (1992) 5.23
    5.2294087 = sum of:
      5.2294087 = weight(author_txt:lange in 405) [ClassicSimilarity], result of:
        5.2294087 = fieldWeight in 405, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.367054 = idf(docFreq=26, maxDocs=42740)
          0.625 = fieldNorm(doc=405)
    
  3. Lange, E.: Journalistische Informationsgewinnung : Informationsgewinnung für Journalisten (1986) 5.23
    5.2294087 = sum of:
      5.2294087 = weight(author_txt:lange in 557) [ClassicSimilarity], result of:
        5.2294087 = fieldWeight in 557, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.367054 = idf(docFreq=26, maxDocs=42740)
          0.625 = fieldNorm(doc=557)
    
  4. Lange, H.R.: Creating core records for federal documents : does it make a difference? (1998) 5.23
    5.2294087 = sum of:
      5.2294087 = weight(author_txt:lange in 5633) [ClassicSimilarity], result of:
        5.2294087 = fieldWeight in 5633, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.367054 = idf(docFreq=26, maxDocs=42740)
          0.625 = fieldNorm(doc=5633)
    
  5. Lange, H.: Wissensdatenbanken im Netz : Internetrecherche für das Projekt EFIL (2000) 5.23
    5.2294087 = sum of:
      5.2294087 = weight(author_txt:lange in 476) [ClassicSimilarity], result of:
        5.2294087 = fieldWeight in 476, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.367054 = idf(docFreq=26, maxDocs=42740)
          0.625 = fieldNorm(doc=476)
    

Similar documents (content)

  1. Lange, C.; Ion, P.; Dimou, A.; Bratsas, C.; Sperber, W.; Kohlhasel, M.; Antoniou, I.: Getting mathematics towards the Web of Data : the case of the Mathematics Subject Classification (2012) 0.38
    0.37988213 = sum of:
      0.37988213 = product of:
        1.0552281 = sum of:
          0.018648408 = weight(abstract_txt:support in 2112) [ClassicSimilarity], result of:
            0.018648408 = score(doc=2112,freq=1.0), product of:
              0.067602284 = queryWeight, product of:
                4.4136753 = idf(docFreq=1406, maxDocs=42740)
                0.015316552 = queryNorm
              0.2758547 = fieldWeight in 2112, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4136753 = idf(docFreq=1406, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.08166577 = weight(abstract_txt:roadmap in 2112) [ClassicSimilarity], result of:
            0.08166577 = score(doc=2112,freq=1.0), product of:
              0.14362065 = queryWeight, product of:
                1.0306537 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.015316552 = queryNorm
              0.56862134 = fieldWeight in 2112, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.0919738 = weight(abstract_txt:underrepresented in 2112) [ClassicSimilarity], result of:
            0.0919738 = score(doc=2112,freq=1.0), product of:
              0.15546511 = queryWeight, product of:
                1.072311 = boost
                9.465666 = idf(docFreq=8, maxDocs=42740)
                0.015316552 = queryNorm
              0.5916041 = fieldWeight in 2112, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.465666 = idf(docFreq=8, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.009407767 = weight(abstract_txt:from in 2112) [ClassicSimilarity], result of:
            0.009407767 = score(doc=2112,freq=1.0), product of:
              0.053976066 = queryWeight, product of:
                1.2636737 = boost
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.015316552 = queryNorm
              0.17429516 = fieldWeight in 2112, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.038553204 = weight(abstract_txt:linked in 2112) [ClassicSimilarity], result of:
            0.038553204 = score(doc=2112,freq=1.0), product of:
              0.10970856 = queryWeight, product of:
                1.2739124 = boost
                5.622636 = idf(docFreq=419, maxDocs=42740)
                0.015316552 = queryNorm
              0.35141474 = fieldWeight in 2112, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.622636 = idf(docFreq=419, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.024943931 = weight(abstract_txt:data in 2112) [ClassicSimilarity], result of:
            0.024943931 = score(doc=2112,freq=1.0), product of:
              0.11836334 = queryWeight, product of:
                2.2918625 = boost
                3.3718455 = idf(docFreq=3987, maxDocs=42740)
                0.015316552 = queryNorm
              0.21074034 = fieldWeight in 2112, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3718455 = idf(docFreq=3987, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.035107993 = weight(abstract_txt:knowledge in 2112) [ClassicSimilarity], result of:
            0.035107993 = score(doc=2112,freq=1.0), product of:
              0.1564925 = queryWeight, product of:
                2.8464274 = boost
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.015316552 = queryNorm
              0.22434297 = fieldWeight in 2112, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.3241457 = weight(abstract_txt:mathematics in 2112) [ClassicSimilarity], result of:
            0.3241457 = score(doc=2112,freq=4.0), product of:
              0.387841 = queryWeight, product of:
                3.7871819 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015316552 = queryNorm
              0.8357696 = fieldWeight in 2112, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
          0.43078145 = weight(abstract_txt:mathematical in 2112) [ClassicSimilarity], result of:
            0.43078145 = score(doc=2112,freq=3.0), product of:
              0.62767565 = queryWeight, product of:
                6.463879 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.015316552 = queryNorm
              0.6863122 = fieldWeight in 2112, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0625 = fieldNorm(doc=2112)
        0.36 = coord(9/25)
    
  2. Lange, C.; Ion, P.; Dimou, A.; Bratsas, C.; Sperber, W.; Kohlhasel, M.; Antoniou, I.: Bringing mathematics towards the Web of Data : the case of the Mathematics Subject Classification (2012) 0.38
    0.37988213 = sum of:
      0.37988213 = product of:
        1.0552281 = sum of:
          0.018648408 = weight(abstract_txt:support in 2264) [ClassicSimilarity], result of:
            0.018648408 = score(doc=2264,freq=1.0), product of:
              0.067602284 = queryWeight, product of:
                4.4136753 = idf(docFreq=1406, maxDocs=42740)
                0.015316552 = queryNorm
              0.2758547 = fieldWeight in 2264, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4136753 = idf(docFreq=1406, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.08166577 = weight(abstract_txt:roadmap in 2264) [ClassicSimilarity], result of:
            0.08166577 = score(doc=2264,freq=1.0), product of:
              0.14362065 = queryWeight, product of:
                1.0306537 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.015316552 = queryNorm
              0.56862134 = fieldWeight in 2264, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.0919738 = weight(abstract_txt:underrepresented in 2264) [ClassicSimilarity], result of:
            0.0919738 = score(doc=2264,freq=1.0), product of:
              0.15546511 = queryWeight, product of:
                1.072311 = boost
                9.465666 = idf(docFreq=8, maxDocs=42740)
                0.015316552 = queryNorm
              0.5916041 = fieldWeight in 2264, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.465666 = idf(docFreq=8, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.009407767 = weight(abstract_txt:from in 2264) [ClassicSimilarity], result of:
            0.009407767 = score(doc=2264,freq=1.0), product of:
              0.053976066 = queryWeight, product of:
                1.2636737 = boost
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.015316552 = queryNorm
              0.17429516 = fieldWeight in 2264, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.038553204 = weight(abstract_txt:linked in 2264) [ClassicSimilarity], result of:
            0.038553204 = score(doc=2264,freq=1.0), product of:
              0.10970856 = queryWeight, product of:
                1.2739124 = boost
                5.622636 = idf(docFreq=419, maxDocs=42740)
                0.015316552 = queryNorm
              0.35141474 = fieldWeight in 2264, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.622636 = idf(docFreq=419, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.024943931 = weight(abstract_txt:data in 2264) [ClassicSimilarity], result of:
            0.024943931 = score(doc=2264,freq=1.0), product of:
              0.11836334 = queryWeight, product of:
                2.2918625 = boost
                3.3718455 = idf(docFreq=3987, maxDocs=42740)
                0.015316552 = queryNorm
              0.21074034 = fieldWeight in 2264, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3718455 = idf(docFreq=3987, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.035107993 = weight(abstract_txt:knowledge in 2264) [ClassicSimilarity], result of:
            0.035107993 = score(doc=2264,freq=1.0), product of:
              0.1564925 = queryWeight, product of:
                2.8464274 = boost
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.015316552 = queryNorm
              0.22434297 = fieldWeight in 2264, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.3241457 = weight(abstract_txt:mathematics in 2264) [ClassicSimilarity], result of:
            0.3241457 = score(doc=2264,freq=4.0), product of:
              0.387841 = queryWeight, product of:
                3.7871819 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015316552 = queryNorm
              0.8357696 = fieldWeight in 2264, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
          0.43078145 = weight(abstract_txt:mathematical in 2264) [ClassicSimilarity], result of:
            0.43078145 = score(doc=2264,freq=3.0), product of:
              0.62767565 = queryWeight, product of:
                6.463879 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.015316552 = queryNorm
              0.6863122 = fieldWeight in 2264, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0625 = fieldNorm(doc=2264)
        0.36 = coord(9/25)
    
  3. Popescu, F.: ¬An approach to eponyms in mathematics (2009) 0.24
    0.24323277 = sum of:
      0.24323277 = product of:
        1.0134699 = sum of:
          0.04163654 = weight(abstract_txt:structures in 3120) [ClassicSimilarity], result of:
            0.04163654 = score(doc=3120,freq=2.0), product of:
              0.091658615 = queryWeight, product of:
                1.1644101 = boost
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.015316552 = queryNorm
              0.4542567 = fieldWeight in 3120, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.009407767 = weight(abstract_txt:from in 3120) [ClassicSimilarity], result of:
            0.009407767 = score(doc=3120,freq=1.0), product of:
              0.053976066 = queryWeight, product of:
                1.2636737 = boost
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.015316552 = queryNorm
              0.17429516 = fieldWeight in 3120, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.02521575 = weight(abstract_txt:such in 3120) [ClassicSimilarity], result of:
            0.02521575 = score(doc=3120,freq=2.0), product of:
              0.08266369 = queryWeight, product of:
                1.5638378 = boost
                3.451136 = idf(docFreq=3683, maxDocs=42740)
                0.015316552 = queryNorm
              0.3050402 = fieldWeight in 3120, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.451136 = idf(docFreq=3683, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.047274474 = weight(abstract_txt:scientific in 3120) [ClassicSimilarity], result of:
            0.047274474 = score(doc=3120,freq=2.0), product of:
              0.114192724 = queryWeight, product of:
                1.5917841 = boost
                4.6837454 = idf(docFreq=1073, maxDocs=42740)
                0.015316552 = queryNorm
              0.4139885 = fieldWeight in 3120, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.6837454 = idf(docFreq=1073, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.28071842 = weight(abstract_txt:mathematics in 3120) [ClassicSimilarity], result of:
            0.28071842 = score(doc=3120,freq=3.0), product of:
              0.387841 = queryWeight, product of:
                3.7871819 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015316552 = queryNorm
              0.7237977 = fieldWeight in 3120, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.609217 = weight(abstract_txt:mathematical in 3120) [ClassicSimilarity], result of:
            0.609217 = score(doc=3120,freq=6.0), product of:
              0.62767565 = queryWeight, product of:
                6.463879 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.015316552 = queryNorm
              0.970592 = fieldWeight in 3120, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
        0.24 = coord(6/25)
    
  4. Scheibe, E.: Calculemus! : The problem of the application of logic and mathematics (1996) 0.22
    0.2223432 = sum of:
      0.2223432 = product of:
        1.111716 = sum of:
          0.052045677 = weight(abstract_txt:structures in 4510) [ClassicSimilarity], result of:
            0.052045677 = score(doc=4510,freq=2.0), product of:
              0.091658615 = queryWeight, product of:
                1.1644101 = boost
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.015316552 = queryNorm
              0.5678209 = fieldWeight in 4510, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.02036841 = weight(abstract_txt:from in 4510) [ClassicSimilarity], result of:
            0.02036841 = score(doc=4510,freq=3.0), product of:
              0.053976066 = queryWeight, product of:
                1.2636737 = boost
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.015316552 = queryNorm
              0.37736005 = fieldWeight in 4510, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.24873936 = weight(abstract_txt:proofs in 4510) [ClassicSimilarity], result of:
            0.24873936 = score(doc=4510,freq=1.0), product of:
              0.32765982 = queryWeight, product of:
                2.201562 = boost
                9.71698 = idf(docFreq=6, maxDocs=42740)
                0.015316552 = queryNorm
              0.75913906 = fieldWeight in 4510, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.71698 = idf(docFreq=6, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.35089803 = weight(abstract_txt:mathematics in 4510) [ClassicSimilarity], result of:
            0.35089803 = score(doc=4510,freq=3.0), product of:
              0.387841 = queryWeight, product of:
                3.7871819 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015316552 = queryNorm
              0.9047471 = fieldWeight in 4510, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.4396645 = weight(abstract_txt:mathematical in 4510) [ClassicSimilarity], result of:
            0.4396645 = score(doc=4510,freq=2.0), product of:
              0.62767565 = queryWeight, product of:
                6.463879 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.015316552 = queryNorm
              0.7004645 = fieldWeight in 4510, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
        0.2 = coord(5/25)
    
  5. Krötzsch, M.; Hitzler, P.; Ehrig, M.; Sure, Y.: Category theory in ontology research : concrete gain from an abstract approach (2004 (?)) 0.21
    0.20720066 = sum of:
      0.20720066 = product of:
        0.64750206 = sum of:
          0.013563437 = weight(abstract_txt:these in 539) [ClassicSimilarity], result of:
            0.013563437 = score(doc=539,freq=1.0), product of:
              0.053934973 = queryWeight, product of:
                1.0939568 = boost
                3.2189133 = idf(docFreq=4646, maxDocs=42740)
                0.015316552 = queryNorm
              0.2514776 = fieldWeight in 539, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.2189133 = idf(docFreq=4646, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
          0.02036841 = weight(abstract_txt:from in 539) [ClassicSimilarity], result of:
            0.02036841 = score(doc=539,freq=3.0), product of:
              0.053976066 = queryWeight, product of:
                1.2636737 = boost
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.015316552 = queryNorm
              0.37736005 = fieldWeight in 539, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                2.7887225 = idf(docFreq=7144, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
          0.05633747 = weight(abstract_txt:representing in 539) [ClassicSimilarity], result of:
            0.05633747 = score(doc=539,freq=1.0), product of:
              0.12174704 = queryWeight, product of:
                1.3419876 = boost
                5.9230976 = idf(docFreq=310, maxDocs=42740)
                0.015316552 = queryNorm
              0.462742 = fieldWeight in 539, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.9230976 = idf(docFreq=310, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
          0.022287784 = weight(abstract_txt:such in 539) [ClassicSimilarity], result of:
            0.022287784 = score(doc=539,freq=1.0), product of:
              0.08266369 = queryWeight, product of:
                1.5638378 = boost
                3.451136 = idf(docFreq=3683, maxDocs=42740)
                0.015316552 = queryNorm
              0.26962 = fieldWeight in 539, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.451136 = idf(docFreq=3683, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
          0.116864264 = weight(abstract_txt:ontologies in 539) [ClassicSimilarity], result of:
            0.116864264 = score(doc=539,freq=2.0), product of:
              0.17991543 = queryWeight, product of:
                1.9980168 = boost
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.015316552 = queryNorm
              0.6495511 = fieldWeight in 539, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
          0.031179916 = weight(abstract_txt:data in 539) [ClassicSimilarity], result of:
            0.031179916 = score(doc=539,freq=1.0), product of:
              0.11836334 = queryWeight, product of:
                2.2918625 = boost
                3.3718455 = idf(docFreq=3987, maxDocs=42740)
                0.015316552 = queryNorm
              0.26342544 = fieldWeight in 539, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3718455 = idf(docFreq=3987, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
          0.07601103 = weight(abstract_txt:knowledge in 539) [ClassicSimilarity], result of:
            0.07601103 = score(doc=539,freq=3.0), product of:
              0.1564925 = queryWeight, product of:
                2.8464274 = boost
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.015316552 = queryNorm
              0.48571676 = fieldWeight in 539, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.5894876 = idf(docFreq=3207, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
          0.31088972 = weight(abstract_txt:mathematical in 539) [ClassicSimilarity], result of:
            0.31088972 = score(doc=539,freq=1.0), product of:
              0.62767565 = queryWeight, product of:
                6.463879 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.015316552 = queryNorm
              0.49530315 = fieldWeight in 539, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.078125 = fieldNorm(doc=539)
        0.32 = coord(8/25)