Document (#41132)

Author
Thomer, A.
Cheng, Y.-Y.
Schneider, J.
Twidale, M.
Ludäscher, B.
Title
Logic-based schema alignment for natural history Mmuseum databases
Source
Knowledge organization. 44(2017) no.7, S.545-558
Year
2017
Abstract
In natural history museums, knowledge organization systems have gradually been migrated from paper-based catalog ledgers to electronic databases; these databases in turn must be migrated from one platform or software version to another. These migrations are by no means straightforward, particularly when one data schema must be mapped to another-or, when a database has been used in other-than-its-intended manner. There are few tools or methods available to support the necessary work of comparing divergent data schemas. Here we present a proof-of-concept in which we compare two versions of a subset of the Specify 6 data model using Euler/X, a logic-based reasoning tool. Specify 6 is a popular natural history museum database system whose data model has undergone several changes over its lifespan. We use Euler/X to produce visualizations (called "possible worlds") of the different ways that two versions of this data model might be mapped to one another. This proof-of-concept lays groundwork for further approaches that could aid data curators in database migration and maintenance work. It also contributes to research on the unique challenges to knowledge organization within natural history museums, and on the applicability of logic-based approaches to database schema migration or crosswalking.
Content
Beitrag in einem Special Issue: Knowledge Organization within the Museum Domain.
Theme
Wissensrepräsentation
Area
Museen

Similar documents (author)

  1. Twidale, M.: Collaboration in physical and digital libraries (1997) 1.22 
    1.218293 = sum of:
  1.218293 = product of:
    3.6548789 = sum of:
      3.6548789 = weight(author_txt:twidale in 2582) [ClassicSimilarity], result of:
        3.6548789 = score(doc=2582,freq=1.0), product of:
          0.6636866 = queryWeight, product of:
            1.2078685 = boost
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.062361054 = queryNorm
          5.506935 = fieldWeight in 2582, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.625 = fieldNorm(doc=2582)
    0.33333334 = coord(1/3)
  2. Cheng, L.R.L.: Beyond bilingualism : a quest for communicative competence (1996) 1.03 
    1.0309778 = sum of:
  1.0309778 = product of:
    3.0929334 = sum of:
      3.0929334 = weight(author_txt:cheng in 5291) [ClassicSimilarity], result of:
        3.0929334 = score(doc=5291,freq=1.0), product of:
          0.59378344 = queryWeight, product of:
            1.1424893 = boost
            8.334172 = idf(docFreq=28, maxDocs=44421)
            0.062361054 = queryNorm
          5.2088575 = fieldWeight in 5291, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.334172 = idf(docFreq=28, maxDocs=44421)
            0.625 = fieldNorm(doc=5291)
    0.33333334 = coord(1/3)
  3. Twidale, M.B.; Nichols, D.M.: Collaborative browsing and visualization of the search process (1996) 0.97 
    0.9746344 = sum of:
  0.9746344 = product of:
    2.9239032 = sum of:
      2.9239032 = weight(author_txt:twidale in 5895) [ClassicSimilarity], result of:
        2.9239032 = score(doc=5895,freq=1.0), product of:
          0.6636866 = queryWeight, product of:
            1.2078685 = boost
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.062361054 = queryNorm
          4.405548 = fieldWeight in 5895, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.5 = fieldNorm(doc=5895)
    0.33333334 = coord(1/3)
  4. Twidale, M.; Nichols, D.: Collaborative browsing and visualization of the search process (1996) 0.97 
    0.9746344 = sum of:
  0.9746344 = product of:
    2.9239032 = sum of:
      2.9239032 = weight(author_txt:twidale in 3767) [ClassicSimilarity], result of:
        2.9239032 = score(doc=3767,freq=1.0), product of:
          0.6636866 = queryWeight, product of:
            1.2078685 = boost
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.062361054 = queryNorm
          4.405548 = fieldWeight in 3767, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.5 = fieldNorm(doc=3767)
    0.33333334 = coord(1/3)
  5. Twidale, M.; Nichols, D.: Designing interfaces to support collaboration in information retrieval (1998) 0.97 
    0.9746344 = sum of:
  0.9746344 = product of:
    2.9239032 = sum of:
      2.9239032 = weight(author_txt:twidale in 4757) [ClassicSimilarity], result of:
        2.9239032 = score(doc=4757,freq=1.0), product of:
          0.6636866 = queryWeight, product of:
            1.2078685 = boost
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.062361054 = queryNorm
          4.405548 = fieldWeight in 4757, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.811096 = idf(docFreq=17, maxDocs=44421)
            0.5 = fieldNorm(doc=4757)
    0.33333334 = coord(1/3)

Similar documents (content)

  1. Chen, S.-J.: Semantic enrichment of linked archival materials (2019) 0.15 
    0.15309753 = sum of:
  0.15309753 = product of:
    0.4784298 = sum of:
      0.025216075 = weight(abstract_txt:approaches in 488) [ClassicSimilarity], result of:
        0.025216075 = score(doc=488,freq=1.0), product of:
          0.08774346 = queryWeight, product of:
            1.0563486 = boost
            4.5981455 = idf(docFreq=1215, maxDocs=44421)
            0.018064452 = queryNorm
          0.2873841 = fieldWeight in 488, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.5981455 = idf(docFreq=1215, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
      0.04257365 = weight(abstract_txt:model in 488) [ClassicSimilarity], result of:
        0.04257365 = score(doc=488,freq=3.0), product of:
          0.098744676 = queryWeight, product of:
            1.3724684 = boost
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.018064452 = queryNorm
          0.4311488 = fieldWeight in 488, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
      0.023660013 = weight(abstract_txt:based in 488) [ClassicSimilarity], result of:
        0.023660013 = score(doc=488,freq=2.0), product of:
          0.08409557 = queryWeight, product of:
            1.4625187 = boost
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.018064452 = queryNorm
          0.28134674 = fieldWeight in 488, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
      0.07887778 = weight(abstract_txt:museums in 488) [ClassicSimilarity], result of:
        0.07887778 = score(doc=488,freq=1.0), product of:
          0.18767202 = queryWeight, product of:
            1.5448974 = boost
            6.724734 = idf(docFreq=144, maxDocs=44421)
            0.018064452 = queryNorm
          0.42029586 = fieldWeight in 488, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.724734 = idf(docFreq=144, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
      0.040713966 = weight(abstract_txt:database in 488) [ClassicSimilarity], result of:
        0.040713966 = score(doc=488,freq=1.0), product of:
          0.15214886 = queryWeight, product of:
            1.9672031 = boost
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.018064452 = queryNorm
          0.26759297 = fieldWeight in 488, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
      0.10385582 = weight(abstract_txt:schema in 488) [ClassicSimilarity], result of:
        0.10385582 = score(doc=488,freq=1.0), product of:
          0.25807586 = queryWeight, product of:
            2.2188053 = boost
            6.4387774 = idf(docFreq=192, maxDocs=44421)
            0.018064452 = queryNorm
          0.4024236 = fieldWeight in 488, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.4387774 = idf(docFreq=192, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
      0.063977696 = weight(abstract_txt:history in 488) [ClassicSimilarity], result of:
        0.063977696 = score(doc=488,freq=1.0), product of:
          0.20564848 = queryWeight, product of:
            2.2870603 = boost
            4.9776354 = idf(docFreq=831, maxDocs=44421)
            0.018064452 = queryNorm
          0.3111022 = fieldWeight in 488, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.9776354 = idf(docFreq=831, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
      0.09955479 = weight(abstract_txt:data in 488) [ClassicSimilarity], result of:
        0.09955479 = score(doc=488,freq=12.0), product of:
          0.1380759 = queryWeight, product of:
            2.2951944 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.018064452 = queryNorm
          0.721015 = fieldWeight in 488, product of:
            3.4641016 = tf(freq=12.0), with freq of:
              12.0 = termFreq=12.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.0625 = fieldNorm(doc=488)
    0.32 = coord(8/25)
  2. Batra, D.; Zanakis, S.H.: ¬A conceptual database design approach based on rules and heuristics (1994) 0.15 
    0.1491753 = sum of:
  0.1491753 = product of:
    0.4661728 = sum of:
      0.044576142 = weight(abstract_txt:approaches in 854) [ClassicSimilarity], result of:
        0.044576142 = score(doc=854,freq=2.0), product of:
          0.08774346 = queryWeight, product of:
            1.0563486 = boost
            4.5981455 = idf(docFreq=1215, maxDocs=44421)
            0.018064452 = queryNorm
          0.5080281 = fieldWeight in 854, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.5981455 = idf(docFreq=1215, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
      0.042405624 = weight(abstract_txt:must in 854) [ClassicSimilarity], result of:
        0.042405624 = score(doc=854,freq=1.0), product of:
          0.10693144 = queryWeight, product of:
            1.1661451 = boost
            5.076075 = idf(docFreq=753, maxDocs=44421)
            0.018064452 = queryNorm
          0.39656836 = fieldWeight in 854, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.076075 = idf(docFreq=753, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
      0.043451548 = weight(abstract_txt:model in 854) [ClassicSimilarity], result of:
        0.043451548 = score(doc=854,freq=2.0), product of:
          0.098744676 = queryWeight, product of:
            1.3724684 = boost
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.018064452 = queryNorm
          0.4400394 = fieldWeight in 854, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
      0.029575018 = weight(abstract_txt:based in 854) [ClassicSimilarity], result of:
        0.029575018 = score(doc=854,freq=2.0), product of:
          0.08409557 = queryWeight, product of:
            1.4625187 = boost
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.018064452 = queryNorm
          0.35168344 = fieldWeight in 854, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
      0.05914461 = weight(abstract_txt:databases in 854) [ClassicSimilarity], result of:
        0.05914461 = score(doc=854,freq=2.0), product of:
          0.12127938 = queryWeight, product of:
            1.5210342 = boost
            4.413907 = idf(docFreq=1461, maxDocs=44421)
            0.018064452 = queryNorm
          0.48767242 = fieldWeight in 854, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.413907 = idf(docFreq=1461, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
      0.13912332 = weight(abstract_txt:specify in 854) [ClassicSimilarity], result of:
        0.13912332 = score(doc=854,freq=1.0), product of:
          0.23609659 = queryWeight, product of:
            1.7327852 = boost
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.018064452 = queryNorm
          0.5892644 = fieldWeight in 854, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
      0.071972795 = weight(abstract_txt:database in 854) [ClassicSimilarity], result of:
        0.071972795 = score(doc=854,freq=2.0), product of:
          0.15214886 = queryWeight, product of:
            1.9672031 = boost
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.018064452 = queryNorm
          0.47304198 = fieldWeight in 854, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
      0.03592374 = weight(abstract_txt:data in 854) [ClassicSimilarity], result of:
        0.03592374 = score(doc=854,freq=1.0), product of:
          0.1380759 = queryWeight, product of:
            2.2951944 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.018064452 = queryNorm
          0.26017386 = fieldWeight in 854, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.078125 = fieldNorm(doc=854)
    0.32 = coord(8/25)
  3. Siau, K.: ¬A visual object-relationship query language for user-database interaction (1998) 0.13 
    0.12628235 = sum of:
  0.12628235 = product of:
    0.52617645 = sum of:
      0.028586626 = weight(abstract_txt:organization in 5732) [ClassicSimilarity], result of:
        0.028586626 = score(doc=5732,freq=1.0), product of:
          0.08221133 = queryWeight, product of:
            1.0225056 = boost
            4.450832 = idf(docFreq=1408, maxDocs=44421)
            0.018064452 = queryNorm
          0.34772125 = fieldWeight in 5732, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.450832 = idf(docFreq=1408, maxDocs=44421)
            0.078125 = fieldNorm(doc=5732)
      0.043451548 = weight(abstract_txt:model in 5732) [ClassicSimilarity], result of:
        0.043451548 = score(doc=5732,freq=2.0), product of:
          0.098744676 = queryWeight, product of:
            1.3724684 = boost
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.018064452 = queryNorm
          0.4400394 = fieldWeight in 5732, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.078125 = fieldNorm(doc=5732)
      0.13912332 = weight(abstract_txt:specify in 5732) [ClassicSimilarity], result of:
        0.13912332 = score(doc=5732,freq=1.0), product of:
          0.23609659 = queryWeight, product of:
            1.7327852 = boost
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.018064452 = queryNorm
          0.5892644 = fieldWeight in 5732, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.078125 = fieldNorm(doc=5732)
      0.15443069 = weight(abstract_txt:proof in 5732) [ClassicSimilarity], result of:
        0.15443069 = score(doc=5732,freq=1.0), product of:
          0.25311166 = queryWeight, product of:
            1.7941384 = boost
            7.809647 = idf(docFreq=48, maxDocs=44421)
            0.018064452 = queryNorm
          0.6101287 = fieldWeight in 5732, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.809647 = idf(docFreq=48, maxDocs=44421)
            0.078125 = fieldNorm(doc=5732)
      0.12466056 = weight(abstract_txt:database in 5732) [ClassicSimilarity], result of:
        0.12466056 = score(doc=5732,freq=6.0), product of:
          0.15214886 = queryWeight, product of:
            1.9672031 = boost
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.018064452 = queryNorm
          0.81933284 = fieldWeight in 5732, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.078125 = fieldNorm(doc=5732)
      0.03592374 = weight(abstract_txt:data in 5732) [ClassicSimilarity], result of:
        0.03592374 = score(doc=5732,freq=1.0), product of:
          0.1380759 = queryWeight, product of:
            2.2951944 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.018064452 = queryNorm
          0.26017386 = fieldWeight in 5732, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.078125 = fieldNorm(doc=5732)
    0.24 = coord(6/25)
  4. Towell, E.; Haseman, W.D.: Semantic resolution in multi-database environment (1995) 0.11 
    0.11453046 = sum of:
  0.11453046 = product of:
    0.47721025 = sum of:
      0.05214186 = weight(abstract_txt:model in 3265) [ClassicSimilarity], result of:
        0.05214186 = score(doc=3265,freq=2.0), product of:
          0.098744676 = queryWeight, product of:
            1.3724684 = boost
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.018064452 = queryNorm
          0.5280473 = fieldWeight in 3265, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.09375 = fieldNorm(doc=3265)
      0.025095236 = weight(abstract_txt:based in 3265) [ClassicSimilarity], result of:
        0.025095236 = score(doc=3265,freq=1.0), product of:
          0.08409557 = queryWeight, product of:
            1.4625187 = boost
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.018064452 = queryNorm
          0.2984133 = fieldWeight in 3265, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.09375 = fieldNorm(doc=3265)
      0.050185867 = weight(abstract_txt:databases in 3265) [ClassicSimilarity], result of:
        0.050185867 = score(doc=3265,freq=1.0), product of:
          0.12127938 = queryWeight, product of:
            1.5210342 = boost
            4.413907 = idf(docFreq=1461, maxDocs=44421)
            0.018064452 = queryNorm
          0.4138038 = fieldWeight in 3265, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.413907 = idf(docFreq=1461, maxDocs=44421)
            0.09375 = fieldNorm(doc=3265)
      0.086367354 = weight(abstract_txt:database in 3265) [ClassicSimilarity], result of:
        0.086367354 = score(doc=3265,freq=2.0), product of:
          0.15214886 = queryWeight, product of:
            1.9672031 = boost
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.018064452 = queryNorm
          0.5676504 = fieldWeight in 3265, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.09375 = fieldNorm(doc=3265)
      0.22031145 = weight(abstract_txt:schema in 3265) [ClassicSimilarity], result of:
        0.22031145 = score(doc=3265,freq=2.0), product of:
          0.25807586 = queryWeight, product of:
            2.2188053 = boost
            6.4387774 = idf(docFreq=192, maxDocs=44421)
            0.018064452 = queryNorm
          0.85366935 = fieldWeight in 3265, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.4387774 = idf(docFreq=192, maxDocs=44421)
            0.09375 = fieldNorm(doc=3265)
      0.043108493 = weight(abstract_txt:data in 3265) [ClassicSimilarity], result of:
        0.043108493 = score(doc=3265,freq=1.0), product of:
          0.1380759 = queryWeight, product of:
            2.2951944 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.018064452 = queryNorm
          0.31220865 = fieldWeight in 3265, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.09375 = fieldNorm(doc=3265)
    0.24 = coord(6/25)
  5. Koho, M.; Burrows, T.; Hyvönen, E.; Ikkala, E.; Page, K.; Ransom, L.; Tuominen, J.; Emery, D.; Fraas, M.; Heller, B.; Lewis, D.; Morrison, A.; Porte, G.; Thomson, E.; Velios, A.; Wijsman, H.: Harmonizing and publishing heterogeneous premodern manuscript metadata as Linked Open Data (2022) 0.10 
    0.10137031 = sum of:
  0.10137031 = product of:
    0.36203682 = sum of:
      0.023711035 = weight(abstract_txt:concept in 1467) [ClassicSimilarity], result of:
        0.023711035 = score(doc=1467,freq=1.0), product of:
          0.08421642 = queryWeight, product of:
            1.0348997 = boost
            4.5047812 = idf(docFreq=1334, maxDocs=44421)
            0.018064452 = queryNorm
          0.28154883 = fieldWeight in 1467, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.5047812 = idf(docFreq=1334, maxDocs=44421)
            0.0625 = fieldNorm(doc=1467)
      0.024579909 = weight(abstract_txt:model in 1467) [ClassicSimilarity], result of:
        0.024579909 = score(doc=1467,freq=1.0), product of:
          0.098744676 = queryWeight, product of:
            1.3724684 = boost
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.018064452 = queryNorm
          0.24892388 = fieldWeight in 1467, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.0625 = fieldNorm(doc=1467)
      0.016730158 = weight(abstract_txt:based in 1467) [ClassicSimilarity], result of:
        0.016730158 = score(doc=1467,freq=1.0), product of:
          0.08409557 = queryWeight, product of:
            1.4625187 = boost
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.018064452 = queryNorm
          0.1989422 = fieldWeight in 1467, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1830752 = idf(docFreq=5005, maxDocs=44421)
            0.0625 = fieldNorm(doc=1467)
      0.033457246 = weight(abstract_txt:databases in 1467) [ClassicSimilarity], result of:
        0.033457246 = score(doc=1467,freq=1.0), product of:
          0.12127938 = queryWeight, product of:
            1.5210342 = boost
            4.413907 = idf(docFreq=1461, maxDocs=44421)
            0.018064452 = queryNorm
          0.2758692 = fieldWeight in 1467, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.413907 = idf(docFreq=1461, maxDocs=44421)
            0.0625 = fieldNorm(doc=1467)
      0.123544544 = weight(abstract_txt:proof in 1467) [ClassicSimilarity], result of:
        0.123544544 = score(doc=1467,freq=1.0), product of:
          0.25311166 = queryWeight, product of:
            1.7941384 = boost
            7.809647 = idf(docFreq=48, maxDocs=44421)
            0.018064452 = queryNorm
          0.48810294 = fieldWeight in 1467, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.809647 = idf(docFreq=48, maxDocs=44421)
            0.0625 = fieldNorm(doc=1467)
      0.063977696 = weight(abstract_txt:history in 1467) [ClassicSimilarity], result of:
        0.063977696 = score(doc=1467,freq=1.0), product of:
          0.20564848 = queryWeight, product of:
            2.2870603 = boost
            4.9776354 = idf(docFreq=831, maxDocs=44421)
            0.018064452 = queryNorm
          0.3111022 = fieldWeight in 1467, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.9776354 = idf(docFreq=831, maxDocs=44421)
            0.0625 = fieldNorm(doc=1467)
      0.07603623 = weight(abstract_txt:data in 1467) [ClassicSimilarity], result of:
        0.07603623 = score(doc=1467,freq=7.0), product of:
          0.1380759 = queryWeight, product of:
            2.2951944 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.018064452 = queryNorm
          0.5506843 = fieldWeight in 1467, product of:
            2.6457512 = tf(freq=7.0), with freq of:
              7.0 = termFreq=7.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.0625 = fieldNorm(doc=1467)
    0.28 = coord(7/25)