Document (#37264)

Author
Lange, C.
Ion, P.
Dimou, A.
Bratsas, C.
Sperber, W.
Kohlhasel, M.
Antoniou, I.
Title
Bringing mathematics towards the Web of Data : the case of the Mathematics Subject Classification
Source
9th Extended Semantic Web Conference (ESWC), 2012-05-27/2012-05-31 in Hersonissos, Crete, Greece. Eds.: Elena Simperl et al
Imprint
Berlin : Springer
Year
2012
Pages
S.763-777
Series
Lecture notes in computer science; 7295
Abstract
The Mathematics Subject Classification (MSC), maintained by the American Mathematical Society's Mathematical Reviews (MR) and FIZ Karlsruhe's Zentralblatt für Mathematik (Zbl), is a scheme for classifying publications in mathematics according to their subjects. While it is widely used, its traditional, idiosyncratic conceptualization and representation requires custom implementations of search, query and annotation support. This did not encourage people to create and explore connections of mathematics to subjects of related domains (e.g. science), and it made the scheme hard to maintain. We have reimplemented the current version of MSC2010 as a Linked Open Dataset using SKOS and our focus is concentrated on turning it into the new MSC authority. This paper explains the motivation, and details of our design considerations and how we realized them in the implementation. We present in-the-field use cases and point out how e-science applications can take advantage of the MSC LOD set. We conclude with a roadmap for bootstrapping the presence of mathematical and mathematics-based science, technology, and engineering knowledge on the Web of Data, where it has been noticeably underrepresented so far, starting from MSC/SKOS as a seed.
Content
Vgl. auch den Preprint.
Object
MSC
SKOS
Zentralblatt für Mathematik

Similar documents (author)

  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) 3.91 
    3.9071817 = sum of:
  3.9071817 = sum of:
    1.036573 = weight(author_txt:lange in 1111) [ClassicSimilarity], result of:
      1.036573 = score(doc=1111,freq=1.0), product of:
        0.49327555 = queryWeight, product of:
          8.405631 = idf(docFreq=26, maxDocs=44421)
          0.05868394 = queryNorm
        2.1014078 = fieldWeight in 1111, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.405631 = idf(docFreq=26, maxDocs=44421)
          0.25 = fieldNorm(doc=1111)
    1.1720854 = weight(author_txt:sperber in 1111) [ClassicSimilarity], result of:
      1.1720854 = score(doc=1111,freq=1.0), product of:
        0.5353804 = queryWeight, product of:
          1.041805 = boost
          8.757029 = idf(docFreq=18, maxDocs=44421)
          0.05868394 = queryNorm
        2.1892571 = fieldWeight in 1111, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.757029 = idf(docFreq=18, maxDocs=44421)
          0.25 = fieldNorm(doc=1111)
    1.6985233 = weight(author_txt:antoniou in 1111) [ClassicSimilarity], result of:
      1.6985233 = score(doc=1111,freq=1.0), product of:
        0.68559974 = queryWeight, product of:
          1.1789368 = boost
          9.909708 = idf(docFreq=5, maxDocs=44421)
          0.05868394 = queryNorm
        2.477427 = fieldWeight in 1111, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.909708 = idf(docFreq=5, maxDocs=44421)
          0.25 = fieldNorm(doc=1111)
  2. Antoniou, G.: Integrity and rule checking in nonmonotonic knowledge bases (1996) 1.42 
    1.4154361 = sum of:
  1.4154361 = product of:
    4.2463083 = sum of:
      4.2463083 = weight(author_txt:antoniou in 344) [ClassicSimilarity], result of:
        4.2463083 = score(doc=344,freq=1.0), product of:
          0.68559974 = queryWeight, product of:
            1.1789368 = boost
            9.909708 = idf(docFreq=5, maxDocs=44421)
            0.05868394 = queryNorm
          6.1935673 = fieldWeight in 344, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.909708 = idf(docFreq=5, maxDocs=44421)
            0.625 = fieldNorm(doc=344)
    0.33333334 = coord(1/3)
  3. Antoniou, G.; Harmelen, F. van: ¬A semantic Web primer (2004) 0.99 
    0.9908053 = sum of:
  0.9908053 = product of:
    2.972416 = sum of:
      2.972416 = weight(author_txt:antoniou in 1468) [ClassicSimilarity], result of:
        2.972416 = score(doc=1468,freq=1.0), product of:
          0.68559974 = queryWeight, product of:
            1.1789368 = boost
            9.909708 = idf(docFreq=5, maxDocs=44421)
            0.05868394 = queryNorm
          4.3354974 = fieldWeight in 1468, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.909708 = idf(docFreq=5, maxDocs=44421)
            0.4375 = fieldNorm(doc=1468)
    0.33333334 = coord(1/3)
  4. Lange, H.R.: Speech synthesis and speech recognition : tomorrow's human-computer interface? (1993) 0.86 
    0.86381096 = sum of:
  0.86381096 = product of:
    2.5914328 = sum of:
      2.5914328 = weight(author_txt:lange in 7223) [ClassicSimilarity], result of:
        2.5914328 = score(doc=7223,freq=1.0), product of:
          0.49327555 = queryWeight, product of:
            8.405631 = idf(docFreq=26, maxDocs=44421)
            0.05868394 = queryNorm
          5.2535195 = fieldWeight in 7223, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.405631 = idf(docFreq=26, maxDocs=44421)
            0.625 = fieldNorm(doc=7223)
    0.33333334 = coord(1/3)
  5. Lange, E.: Informationsgesellschaft und Medien (1992) 0.86 
    0.86381096 = sum of:
  0.86381096 = product of:
    2.5914328 = sum of:
      2.5914328 = weight(author_txt:lange in 404) [ClassicSimilarity], result of:
        2.5914328 = score(doc=404,freq=1.0), product of:
          0.49327555 = queryWeight, product of:
            8.405631 = idf(docFreq=26, maxDocs=44421)
            0.05868394 = queryNorm
          5.2535195 = fieldWeight in 404, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.405631 = idf(docFreq=26, maxDocs=44421)
            0.625 = fieldNorm(doc=404)
    0.33333334 = coord(1/3)

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) 2.31 
    2.3065605 = sum of:
  2.3065605 = product of:
    2.4026673 = sum of:
      0.049029868 = weight(abstract_txt:maintained in 1111) [ClassicSimilarity], result of:
        0.049029868 = score(doc=1111,freq=1.0), product of:
          0.11205247 = queryWeight, product of:
            7.000987 = idf(docFreq=109, maxDocs=44421)
            0.016005239 = queryNorm
          0.4375617 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.000987 = idf(docFreq=109, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.049416393 = weight(abstract_txt:annotation in 1111) [ClassicSimilarity], result of:
        0.049416393 = score(doc=1111,freq=1.0), product of:
          0.112640604 = queryWeight, product of:
            1.0026209 = boost
            7.019336 = idf(docFreq=107, maxDocs=44421)
            0.016005239 = queryNorm
          0.4387085 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.019336 = idf(docFreq=107, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.051720023 = weight(abstract_txt:implementations in 1111) [ClassicSimilarity], result of:
        0.051720023 = score(doc=1111,freq=1.0), product of:
          0.11611458 = queryWeight, product of:
            1.0179646 = boost
            7.1267567 = idf(docFreq=96, maxDocs=44421)
            0.016005239 = queryNorm
          0.4454223 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.1267567 = idf(docFreq=96, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.05661292 = weight(abstract_txt:conceptualization in 1111) [ClassicSimilarity], result of:
        0.05661292 = score(doc=1111,freq=1.0), product of:
          0.12332695 = queryWeight, product of:
            1.0491034 = boost
            7.344759 = idf(docFreq=77, maxDocs=44421)
            0.016005239 = queryNorm
          0.45904744 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.344759 = idf(docFreq=77, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.05881518 = weight(abstract_txt:realized in 1111) [ClassicSimilarity], result of:
        0.05881518 = score(doc=1111,freq=1.0), product of:
          0.12650487 = queryWeight, product of:
            1.0625342 = boost
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.016005239 = queryNorm
          0.46492425 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.017081453 = weight(abstract_txt:subject in 1111) [ClassicSimilarity], result of:
        0.017081453 = score(doc=1111,freq=1.0), product of:
          0.069899514 = queryWeight, product of:
            1.1169696 = boost
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.016005239 = queryNorm
          0.24437155 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.06859817 = weight(abstract_txt:concentrated in 1111) [ClassicSimilarity], result of:
        0.06859817 = score(doc=1111,freq=1.0), product of:
          0.14017029 = queryWeight, product of:
            1.1184518 = boost
            7.8302665 = idf(docFreq=47, maxDocs=44421)
            0.016005239 = queryNorm
          0.48939165 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.8302665 = idf(docFreq=47, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.018181784 = weight(abstract_txt:classification in 1111) [ClassicSimilarity], result of:
        0.018181784 = score(doc=1111,freq=1.0), product of:
          0.07286997 = queryWeight, product of:
            1.1404562 = boost
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.016005239 = queryNorm
          0.24950996 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.073502384 = weight(abstract_txt:custom in 1111) [ClassicSimilarity], result of:
        0.073502384 = score(doc=1111,freq=1.0), product of:
          0.14677382 = queryWeight, product of:
            1.1444942 = boost
            8.0125885 = idf(docFreq=39, maxDocs=44421)
            0.016005239 = queryNorm
          0.5007868 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.0125885 = idf(docFreq=39, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.07420132 = weight(abstract_txt:turning in 1111) [ClassicSimilarity], result of:
        0.07420132 = score(doc=1111,freq=1.0), product of:
          0.1477028 = queryWeight, product of:
            1.1481104 = boost
            8.037906 = idf(docFreq=38, maxDocs=44421)
            0.016005239 = queryNorm
          0.5023691 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.037906 = idf(docFreq=38, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.08485822 = weight(abstract_txt:society's in 1111) [ClassicSimilarity], result of:
        0.08485822 = score(doc=1111,freq=1.0), product of:
          0.16152641 = queryWeight, product of:
            1.2006352 = boost
            8.405631 = idf(docFreq=26, maxDocs=44421)
            0.016005239 = queryNorm
          0.52535194 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.405631 = idf(docFreq=26, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.088475615 = weight(abstract_txt:seed in 1111) [ClassicSimilarity], result of:
        0.088475615 = score(doc=1111,freq=1.0), product of:
          0.16608484 = queryWeight, product of:
            1.2174588 = boost
            8.523414 = idf(docFreq=23, maxDocs=44421)
            0.016005239 = queryNorm
          0.53271335 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.523414 = idf(docFreq=23, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.097740084 = weight(abstract_txt:idiosyncratic in 1111) [ClassicSimilarity], result of:
        0.097740084 = score(doc=1111,freq=1.0), product of:
          0.17748545 = queryWeight, product of:
            1.2585505 = boost
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.016005239 = queryNorm
          0.5506935 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.10393389 = weight(abstract_txt:roadmap in 1111) [ClassicSimilarity], result of:
        0.10393389 = score(doc=1111,freq=1.0), product of:
          0.1849066 = queryWeight, product of:
            1.2845929 = boost
            8.993418 = idf(docFreq=14, maxDocs=44421)
            0.016005239 = queryNorm
          0.5620886 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.993418 = idf(docFreq=14, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.10897455 = weight(abstract_txt:zentralblatt in 1111) [ClassicSimilarity], result of:
        0.10897455 = score(doc=1111,freq=1.0), product of:
          0.19083777 = queryWeight, product of:
            1.3050328 = boost
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.016005239 = queryNorm
          0.5710324 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.11506206 = weight(abstract_txt:underrepresented in 1111) [ClassicSimilarity], result of:
        0.11506206 = score(doc=1111,freq=1.0), product of:
          0.19788021 = queryWeight, product of:
            1.3288944 = boost
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.016005239 = queryNorm
          0.5814733 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.12728655 = weight(abstract_txt:noticeably in 1111) [ClassicSimilarity], result of:
        0.12728655 = score(doc=1111,freq=1.0), product of:
          0.21165863 = queryWeight, product of:
            1.3743814 = boost
            9.622026 = idf(docFreq=7, maxDocs=44421)
            0.016005239 = queryNorm
          0.60137665 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.622026 = idf(docFreq=7, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.13265973 = weight(abstract_txt:bootstrapping in 1111) [ClassicSimilarity], result of:
        0.13265973 = score(doc=1111,freq=1.0), product of:
          0.21757402 = queryWeight, product of:
            1.3934546 = boost
            9.755557 = idf(docFreq=6, maxDocs=44421)
            0.016005239 = queryNorm
          0.6097223 = fieldWeight in 1111, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.755557 = idf(docFreq=6, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.064451605 = weight(abstract_txt:subjects in 1111) [ClassicSimilarity], result of:
        0.064451605 = score(doc=1111,freq=2.0), product of:
          0.1344632 = queryWeight, product of:
            1.5491947 = boost
            5.422946 = idf(docFreq=532, maxDocs=44421)
            0.016005239 = queryNorm
          0.47932523 = fieldWeight in 1111, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.422946 = idf(docFreq=532, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.06675739 = weight(abstract_txt:scheme in 1111) [ClassicSimilarity], result of:
        0.06675739 = score(doc=1111,freq=2.0), product of:
          0.13765135 = queryWeight, product of:
            1.567453 = boost
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.016005239 = queryNorm
          0.4849744 = fieldWeight in 1111, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.042388193 = weight(abstract_txt:science in 1111) [ClassicSimilarity], result of:
        0.042388193 = score(doc=1111,freq=3.0), product of:
          0.10168984 = queryWeight, product of:
            1.6500181 = boost
            3.850585 = idf(docFreq=2567, maxDocs=44421)
            0.016005239 = queryNorm
          0.41683805 = fieldWeight in 1111, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.850585 = idf(docFreq=2567, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.15382408 = weight(abstract_txt:skos in 1111) [ClassicSimilarity], result of:
        0.15382408 = score(doc=1111,freq=2.0), product of:
          0.24013963 = queryWeight, product of:
            2.070314 = boost
            7.2471204 = idf(docFreq=85, maxDocs=44421)
            0.016005239 = queryNorm
          0.640561 = fieldWeight in 1111, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.2471204 = idf(docFreq=85, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.19006659 = weight(abstract_txt:mathematical in 1111) [ClassicSimilarity], result of:
        0.19006659 = score(doc=1111,freq=3.0), product of:
          0.27651465 = queryWeight, product of:
            2.7208774 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.016005239 = queryNorm
          0.68736535 = fieldWeight in 1111, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
      0.5090292 = weight(abstract_txt:mathematics in 1111) [ClassicSimilarity], result of:
        0.5090292 = score(doc=1111,freq=4.0), product of:
          0.61043555 = queryWeight, product of:
            5.717219 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.016005239 = queryNorm
          0.8338787 = fieldWeight in 1111, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.0625 = fieldNorm(doc=1111)
    0.96 = coord(24/25)
  2. Fraser, C.: Mathematics in library and review classification systems : an historical overview (2020) 0.34 
    0.34482506 = sum of:
  0.34482506 = product of:
    1.231518 = sum of:
      0.030196026 = weight(abstract_txt:subject in 900) [ClassicSimilarity], result of:
        0.030196026 = score(doc=900,freq=2.0), product of:
          0.069899514 = queryWeight, product of:
            1.1169696 = boost
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.016005239 = queryNorm
          0.43199193 = fieldWeight in 900, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.078125 = fieldNorm(doc=900)
      0.050819628 = weight(abstract_txt:classification in 900) [ClassicSimilarity], result of:
        0.050819628 = score(doc=900,freq=5.0), product of:
          0.07286997 = queryWeight, product of:
            1.1404562 = boost
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.016005239 = queryNorm
          0.6974015 = fieldWeight in 900, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.078125 = fieldNorm(doc=900)
      0.13621819 = weight(abstract_txt:zentralblatt in 900) [ClassicSimilarity], result of:
        0.13621819 = score(doc=900,freq=1.0), product of:
          0.19083777 = queryWeight, product of:
            1.3050328 = boost
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.016005239 = queryNorm
          0.71379054 = fieldWeight in 900, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.078125 = fieldNorm(doc=900)
      0.056967713 = weight(abstract_txt:subjects in 900) [ClassicSimilarity], result of:
        0.056967713 = score(doc=900,freq=1.0), product of:
          0.1344632 = queryWeight, product of:
            1.5491947 = boost
            5.422946 = idf(docFreq=532, maxDocs=44421)
            0.016005239 = queryNorm
          0.42366767 = fieldWeight in 900, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.422946 = idf(docFreq=532, maxDocs=44421)
            0.078125 = fieldNorm(doc=900)
      0.08344673 = weight(abstract_txt:scheme in 900) [ClassicSimilarity], result of:
        0.08344673 = score(doc=900,freq=2.0), product of:
          0.13765135 = queryWeight, product of:
            1.567453 = boost
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.016005239 = queryNorm
          0.60621804 = fieldWeight in 900, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.078125 = fieldNorm(doc=900)
      0.23758323 = weight(abstract_txt:mathematical in 900) [ClassicSimilarity], result of:
        0.23758323 = score(doc=900,freq=3.0), product of:
          0.27651465 = queryWeight, product of:
            2.7208774 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.016005239 = queryNorm
          0.8592067 = fieldWeight in 900, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.078125 = fieldNorm(doc=900)
      0.6362865 = weight(abstract_txt:mathematics in 900) [ClassicSimilarity], result of:
        0.6362865 = score(doc=900,freq=4.0), product of:
          0.61043555 = queryWeight, product of:
            5.717219 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.016005239 = queryNorm
          1.0423484 = fieldWeight in 900, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.078125 = fieldNorm(doc=900)
    0.28 = coord(7/25)
  3. Martínez-Ávila, D.: Classification & authority control : expanding resource discovery (2016) 0.22 
    0.21981733 = sum of:
  0.21981733 = product of:
    1.0990866 = sum of:
      0.021351816 = weight(abstract_txt:subject in 3827) [ClassicSimilarity], result of:
        0.021351816 = score(doc=3827,freq=1.0), product of:
          0.069899514 = queryWeight, product of:
            1.1169696 = boost
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.016005239 = queryNorm
          0.30546445 = fieldWeight in 3827, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.078125 = fieldNorm(doc=3827)
      0.045454457 = weight(abstract_txt:classification in 3827) [ClassicSimilarity], result of:
        0.045454457 = score(doc=3827,freq=4.0), product of:
          0.07286997 = queryWeight, product of:
            1.1404562 = boost
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.016005239 = queryNorm
          0.6237749 = fieldWeight in 3827, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.078125 = fieldNorm(doc=3827)
      0.05900575 = weight(abstract_txt:scheme in 3827) [ClassicSimilarity], result of:
        0.05900575 = score(doc=3827,freq=1.0), product of:
          0.13765135 = queryWeight, product of:
            1.567453 = boost
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.016005239 = queryNorm
          0.42866087 = fieldWeight in 3827, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.078125 = fieldNorm(doc=3827)
      0.19398592 = weight(abstract_txt:mathematical in 3827) [ClassicSimilarity], result of:
        0.19398592 = score(doc=3827,freq=2.0), product of:
          0.27651465 = queryWeight, product of:
            2.7208774 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.016005239 = queryNorm
          0.7015394 = fieldWeight in 3827, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.078125 = fieldNorm(doc=3827)
      0.7792887 = weight(abstract_txt:mathematics in 3827) [ClassicSimilarity], result of:
        0.7792887 = score(doc=3827,freq=6.0), product of:
          0.61043555 = queryWeight, product of:
            5.717219 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.016005239 = queryNorm
          1.276611 = fieldWeight in 3827, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.078125 = fieldNorm(doc=3827)
    0.2 = coord(5/25)
  4. Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011) 0.20 
    0.19651769 = sum of:
  0.19651769 = product of:
    0.9825884 = sum of:
      0.09094216 = weight(abstract_txt:roadmap in 1135) [ClassicSimilarity], result of:
        0.09094216 = score(doc=1135,freq=1.0), product of:
          0.1849066 = queryWeight, product of:
            1.2845929 = boost
            8.993418 = idf(docFreq=14, maxDocs=44421)
            0.016005239 = queryNorm
          0.49182755 = fieldWeight in 1135, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.993418 = idf(docFreq=14, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1135)
      0.1006793 = weight(abstract_txt:underrepresented in 1135) [ClassicSimilarity], result of:
        0.1006793 = score(doc=1135,freq=1.0), product of:
          0.19788021 = queryWeight, product of:
            1.3288944 = boost
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.016005239 = queryNorm
          0.5087891 = fieldWeight in 1135, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.303573 = idf(docFreq=10, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1135)
      0.02141373 = weight(abstract_txt:science in 1135) [ClassicSimilarity], result of:
        0.02141373 = score(doc=1135,freq=1.0), product of:
          0.10168984 = queryWeight, product of:
            1.6500181 = boost
            3.850585 = idf(docFreq=2567, maxDocs=44421)
            0.016005239 = queryNorm
          0.21057886 = fieldWeight in 1135, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.850585 = idf(docFreq=2567, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1135)
      0.27158028 = weight(abstract_txt:mathematical in 1135) [ClassicSimilarity], result of:
        0.27158028 = score(doc=1135,freq=8.0), product of:
          0.27651465 = queryWeight, product of:
            2.7208774 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.016005239 = queryNorm
          0.9821551 = fieldWeight in 1135, product of:
            2.828427 = tf(freq=8.0), with freq of:
              8.0 = termFreq=8.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1135)
      0.49797294 = weight(abstract_txt:mathematics in 1135) [ClassicSimilarity], result of:
        0.49797294 = score(doc=1135,freq=5.0), product of:
          0.61043555 = queryWeight, product of:
            5.717219 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.016005239 = queryNorm
          0.81576663 = fieldWeight in 1135, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1135)
    0.2 = coord(5/25)
  5. Sperber, W.; Ion, P.D.F.: Content analysis and classification in mathematics (2011) 0.17 
    0.17129663 = sum of:
  0.17129663 = product of:
    0.71373594 = sum of:
      0.017081453 = weight(abstract_txt:subject in 818) [ClassicSimilarity], result of:
        0.017081453 = score(doc=818,freq=1.0), product of:
          0.069899514 = queryWeight, product of:
            1.1169696 = boost
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.016005239 = queryNorm
          0.24437155 = fieldWeight in 818, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9099448 = idf(docFreq=2419, maxDocs=44421)
            0.0625 = fieldNorm(doc=818)
      0.03149177 = weight(abstract_txt:classification in 818) [ClassicSimilarity], result of:
        0.03149177 = score(doc=818,freq=3.0), product of:
          0.07286997 = queryWeight, product of:
            1.1404562 = boost
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.016005239 = queryNorm
          0.43216392 = fieldWeight in 818, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.9921594 = idf(docFreq=2228, maxDocs=44421)
            0.0625 = fieldNorm(doc=818)
      0.06675739 = weight(abstract_txt:scheme in 818) [ClassicSimilarity], result of:
        0.06675739 = score(doc=818,freq=2.0), product of:
          0.13765135 = queryWeight, product of:
            1.567453 = boost
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.016005239 = queryNorm
          0.4849744 = fieldWeight in 818, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.4868593 = idf(docFreq=499, maxDocs=44421)
            0.0625 = fieldNorm(doc=818)
      0.15382408 = weight(abstract_txt:skos in 818) [ClassicSimilarity], result of:
        0.15382408 = score(doc=818,freq=2.0), product of:
          0.24013963 = queryWeight, product of:
            2.070314 = boost
            7.2471204 = idf(docFreq=85, maxDocs=44421)
            0.016005239 = queryNorm
          0.640561 = fieldWeight in 818, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.2471204 = idf(docFreq=85, maxDocs=44421)
            0.0625 = fieldNorm(doc=818)
      0.19006659 = weight(abstract_txt:mathematical in 818) [ClassicSimilarity], result of:
        0.19006659 = score(doc=818,freq=3.0), product of:
          0.27651465 = queryWeight, product of:
            2.7208774 = boost
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.016005239 = queryNorm
          0.68736535 = fieldWeight in 818, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.3496094 = idf(docFreq=210, maxDocs=44421)
            0.0625 = fieldNorm(doc=818)
      0.2545146 = weight(abstract_txt:mathematics in 818) [ClassicSimilarity], result of:
        0.2545146 = score(doc=818,freq=1.0), product of:
          0.61043555 = queryWeight, product of:
            5.717219 = boost
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.016005239 = queryNorm
          0.41693935 = fieldWeight in 818, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6710296 = idf(docFreq=152, maxDocs=44421)
            0.0625 = fieldNorm(doc=818)
    0.24 = coord(6/25)