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.2177396 = sum of:
     1.2177396 = product of:
       3.6532187 = sum of:
         3.6532187 = weight(author_txt:twidale in 1582) [ClassicSimilarity], result of:
           3.6532187 = score(doc=1582,freq=1.0), product of:
             0.66373014 = queryWeight, product of:
               1.207999 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.062390845 = queryNorm
             5.504072 = fieldWeight in 1582, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.625 = fieldNorm(doc=1582)
       0.33333334 = coord(1/3)
   

2. Cheng, L.R.L.: Beyond bilingualism : a quest for communicative competence (1996) 1.03

   1.0304176 = sum of:
     1.0304176 = product of:
       3.0912526 = sum of:
         3.0912526 = weight(author_txt:cheng in 5223) [ClassicSimilarity], result of:
           3.0912526 = score(doc=5223,freq=1.0), product of:
             0.59378713 = queryWeight, product of:
               1.1425788 = boost
               8.329592 = idf(docFreq=28, maxDocs=44218)
               0.062390845 = queryNorm
             5.2059946 = fieldWeight in 5223, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.329592 = idf(docFreq=28, maxDocs=44218)
               0.625 = fieldNorm(doc=5223)
       0.33333334 = coord(1/3)
   

3. Twidale, M.B.; Nichols, D.M.: Collaborative browsing and visualization of the search process (1996) 0.97

   0.97419167 = sum of:
     0.97419167 = product of:
       2.922575 = sum of:
         2.922575 = weight(author_txt:twidale in 5827) [ClassicSimilarity], result of:
           2.922575 = score(doc=5827,freq=1.0), product of:
             0.66373014 = queryWeight, product of:
               1.207999 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.062390845 = queryNorm
             4.403258 = fieldWeight in 5827, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.5 = fieldNorm(doc=5827)
       0.33333334 = coord(1/3)
   

4. Twidale, M.; Nichols, D.: Collaborative browsing and visualization of the search process (1996) 0.97

   0.97419167 = sum of:
     0.97419167 = product of:
       2.922575 = sum of:
         2.922575 = weight(author_txt:twidale in 2767) [ClassicSimilarity], result of:
           2.922575 = score(doc=2767,freq=1.0), product of:
             0.66373014 = queryWeight, product of:
               1.207999 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.062390845 = queryNorm
             4.403258 = fieldWeight in 2767, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.5 = fieldNorm(doc=2767)
       0.33333334 = coord(1/3)
   

5. Twidale, M.; Nichols, D.: Designing interfaces to support collaboration in information retrieval (1998) 0.97

   0.97419167 = sum of:
     0.97419167 = product of:
       2.922575 = sum of:
         2.922575 = weight(author_txt:twidale in 3757) [ClassicSimilarity], result of:
           2.922575 = score(doc=3757,freq=1.0), product of:
             0.66373014 = queryWeight, product of:
               1.207999 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.062390845 = queryNorm
             4.403258 = fieldWeight in 3757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.5 = fieldNorm(doc=3757)
       0.33333334 = coord(1/3)
   

Similar documents (content)

1. Chen, S.-J.: Semantic enrichment of linked archival materials (2019) 0.15

   0.15307361 = sum of:
     0.15307361 = product of:
       0.47835502 = sum of:
         0.025326537 = weight(abstract_txt:approaches in 5488) [ClassicSimilarity], result of:
           0.025326537 = score(doc=5488,freq=1.0), product of:
             0.08793023 = queryWeight, product of:
               1.0592798 = boost
               4.6084785 = idf(docFreq=1197, maxDocs=44218)
               0.018012334 = queryNorm
             0.2880299 = fieldWeight in 5488, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6084785 = idf(docFreq=1197, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
         0.042583697 = weight(abstract_txt:model in 5488) [ClassicSimilarity], result of:
           0.042583697 = score(doc=5488,freq=3.0), product of:
             0.09868245 = queryWeight, product of:
               1.3743811 = boost
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.018012334 = queryNorm
             0.4315225 = fieldWeight in 5488, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
         0.023712289 = weight(abstract_txt:based in 5488) [ClassicSimilarity], result of:
           0.023712289 = score(doc=5488,freq=2.0), product of:
             0.08415308 = queryWeight, product of:
               1.4655194 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.018012334 = queryNorm
             0.28177565 = fieldWeight in 5488, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
         0.079018846 = weight(abstract_txt:museums in 5488) [ClassicSimilarity], result of:
           0.079018846 = score(doc=5488,freq=1.0), product of:
             0.18774778 = queryWeight, product of:
               1.5478504 = boost
               6.7340426 = idf(docFreq=142, maxDocs=44218)
               0.018012334 = queryNorm
             0.42087767 = fieldWeight in 5488, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7340426 = idf(docFreq=142, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
         0.040572923 = weight(abstract_txt:database in 5488) [ClassicSimilarity], result of:
           0.040572923 = score(doc=5488,freq=1.0), product of:
             0.15167774 = queryWeight, product of:
               1.9675125 = boost
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.018012334 = queryNorm
             0.26749423 = fieldWeight in 5488, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
         0.10338974 = weight(abstract_txt:schema in 5488) [ClassicSimilarity], result of:
           0.10338974 = score(doc=5488,freq=1.0), product of:
             0.25710058 = queryWeight, product of:
               2.2183943 = boost
               6.434197 = idf(docFreq=192, maxDocs=44218)
               0.018012334 = queryNorm
             0.4021373 = fieldWeight in 5488, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.434197 = idf(docFreq=192, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
         0.06388238 = weight(abstract_txt:history in 5488) [ClassicSimilarity], result of:
           0.06388238 = score(doc=5488,freq=1.0), product of:
             0.2052824 = queryWeight, product of:
               2.2889295 = boost
               4.9790826 = idf(docFreq=826, maxDocs=44218)
               0.018012334 = queryNorm
             0.31119266 = fieldWeight in 5488, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9790826 = idf(docFreq=826, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
         0.09986859 = weight(abstract_txt:data in 5488) [ClassicSimilarity], result of:
           0.09986859 = score(doc=5488,freq=12.0), product of:
             0.13825695 = queryWeight, product of:
               2.3006241 = boost
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.018012334 = queryNorm
             0.72234046 = fieldWeight in 5488, product of:
               3.4641016 = tf(freq=12.0), with freq of:
                 12.0 = termFreq=12.0
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.0625 = fieldNorm(doc=5488)
       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.14896825 = sum of:
     0.14896825 = product of:
       0.4655258 = sum of:
         0.044771414 = weight(abstract_txt:approaches in 786) [ClassicSimilarity], result of:
           0.044771414 = score(doc=786,freq=2.0), product of:
             0.08793023 = queryWeight, product of:
               1.0592798 = boost
               4.6084785 = idf(docFreq=1197, maxDocs=44218)
               0.018012334 = queryNorm
             0.50916976 = fieldWeight in 786, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.6084785 = idf(docFreq=1197, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
         0.04239084 = weight(abstract_txt:must in 786) [ClassicSimilarity], result of:
           0.04239084 = score(doc=786,freq=1.0), product of:
             0.1068224 = queryWeight, product of:
               1.1675426 = boost
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.018012334 = queryNorm
             0.39683473 = fieldWeight in 786, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.0794845 = idf(docFreq=747, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
         0.0434618 = weight(abstract_txt:model in 786) [ClassicSimilarity], result of:
           0.0434618 = score(doc=786,freq=2.0), product of:
             0.09868245 = queryWeight, product of:
               1.3743811 = boost
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.018012334 = queryNorm
             0.44042078 = fieldWeight in 786, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
         0.029640362 = weight(abstract_txt:based in 786) [ClassicSimilarity], result of:
           0.029640362 = score(doc=786,freq=2.0), product of:
             0.08415308 = queryWeight, product of:
               1.4655194 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.018012334 = queryNorm
             0.35221958 = fieldWeight in 786, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
         0.058958724 = weight(abstract_txt:databases in 786) [ClassicSimilarity], result of:
           0.058958724 = score(doc=786,freq=2.0), product of:
             0.120929845 = queryWeight, product of:
               1.5214369 = boost
               4.4127526 = idf(docFreq=1456, maxDocs=44218)
               0.018012334 = queryNorm
             0.48754486 = fieldWeight in 786, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.4127526 = idf(docFreq=1456, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
         0.13854223 = weight(abstract_txt:specify in 786) [ClassicSimilarity], result of:
           0.13854223 = score(doc=786,freq=1.0), product of:
             0.23525335 = queryWeight, product of:
               1.7326446 = boost
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.018012334 = queryNorm
             0.5889065 = fieldWeight in 786, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
         0.07172347 = weight(abstract_txt:database in 786) [ClassicSimilarity], result of:
           0.07172347 = score(doc=786,freq=2.0), product of:
             0.15167774 = queryWeight, product of:
               1.9675125 = boost
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.018012334 = queryNorm
             0.47286746 = fieldWeight in 786, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
         0.036036976 = weight(abstract_txt:data in 786) [ClassicSimilarity], result of:
           0.036036976 = score(doc=786,freq=1.0), product of:
             0.13825695 = queryWeight, product of:
               2.3006241 = boost
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.018012334 = queryNorm
             0.26065218 = fieldWeight in 786, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.078125 = fieldNorm(doc=786)
       0.32 = coord(8/25)
   

3. Siau, K.: ¬A visual object-relationship query language for user-database interaction (1998) 0.13

   0.12591194 = sum of:
     0.12591194 = product of:
       0.52463305 = sum of:
         0.02856806 = weight(abstract_txt:organization in 4732) [ClassicSimilarity], result of:
           0.02856806 = score(doc=4732,freq=1.0), product of:
             0.08211103 = queryWeight, product of:
               1.0236284 = boost
               4.4533744 = idf(docFreq=1398, maxDocs=44218)
               0.018012334 = queryNorm
             0.34791988 = fieldWeight in 4732, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4533744 = idf(docFreq=1398, maxDocs=44218)
               0.078125 = fieldNorm(doc=4732)
         0.0434618 = weight(abstract_txt:model in 4732) [ClassicSimilarity], result of:
           0.0434618 = score(doc=4732,freq=2.0), product of:
             0.09868245 = queryWeight, product of:
               1.3743811 = boost
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.018012334 = queryNorm
             0.44042078 = fieldWeight in 4732, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.078125 = fieldNorm(doc=4732)
         0.13854223 = weight(abstract_txt:specify in 4732) [ClassicSimilarity], result of:
           0.13854223 = score(doc=4732,freq=1.0), product of:
             0.23525335 = queryWeight, product of:
               1.7326446 = boost
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.018012334 = queryNorm
             0.5889065 = fieldWeight in 4732, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.078125 = fieldNorm(doc=4732)
         0.1537953 = weight(abstract_txt:proof in 4732) [ClassicSimilarity], result of:
           0.1537953 = score(doc=4732,freq=1.0), product of:
             0.2522182 = queryWeight, product of:
               1.7940302 = boost
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.018012334 = queryNorm
             0.6097709 = fieldWeight in 4732, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.078125 = fieldNorm(doc=4732)
         0.12422869 = weight(abstract_txt:database in 4732) [ClassicSimilarity], result of:
           0.12422869 = score(doc=4732,freq=6.0), product of:
             0.15167774 = queryWeight, product of:
               1.9675125 = boost
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.018012334 = queryNorm
             0.81903046 = fieldWeight in 4732, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.078125 = fieldNorm(doc=4732)
         0.036036976 = weight(abstract_txt:data in 4732) [ClassicSimilarity], result of:
           0.036036976 = score(doc=4732,freq=1.0), product of:
             0.13825695 = queryWeight, product of:
               2.3006241 = boost
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.018012334 = queryNorm
             0.26065218 = fieldWeight in 4732, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.078125 = fieldNorm(doc=4732)
       0.24 = coord(6/25)
   

4. Towell, E.; Haseman, W.D.: Semantic resolution in multi-database environment (1995) 0.11

   0.114232376 = sum of:
     0.114232376 = product of:
       0.47596824 = sum of:
         0.052154157 = weight(abstract_txt:model in 3197) [ClassicSimilarity], result of:
           0.052154157 = score(doc=3197,freq=2.0), product of:
             0.09868245 = queryWeight, product of:
               1.3743811 = boost
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.018012334 = queryNorm
             0.5285049 = fieldWeight in 3197, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.09375 = fieldNorm(doc=3197)
         0.025150683 = weight(abstract_txt:based in 3197) [ClassicSimilarity], result of:
           0.025150683 = score(doc=3197,freq=1.0), product of:
             0.08415308 = queryWeight, product of:
               1.4655194 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.018012334 = queryNorm
             0.29886824 = fieldWeight in 3197, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.09375 = fieldNorm(doc=3197)
         0.05002814 = weight(abstract_txt:databases in 3197) [ClassicSimilarity], result of:
           0.05002814 = score(doc=3197,freq=1.0), product of:
             0.120929845 = queryWeight, product of:
               1.5214369 = boost
               4.4127526 = idf(docFreq=1456, maxDocs=44218)
               0.018012334 = queryNorm
             0.41369557 = fieldWeight in 3197, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4127526 = idf(docFreq=1456, maxDocs=44218)
               0.09375 = fieldNorm(doc=3197)
         0.08606816 = weight(abstract_txt:database in 3197) [ClassicSimilarity], result of:
           0.08606816 = score(doc=3197,freq=2.0), product of:
             0.15167774 = queryWeight, product of:
               1.9675125 = boost
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.018012334 = queryNorm
             0.5674409 = fieldWeight in 3197, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.2799077 = idf(docFreq=1663, maxDocs=44218)
               0.09375 = fieldNorm(doc=3197)
         0.21932274 = weight(abstract_txt:schema in 3197) [ClassicSimilarity], result of:
           0.21932274 = score(doc=3197,freq=2.0), product of:
             0.25710058 = queryWeight, product of:
               2.2183943 = boost
               6.434197 = idf(docFreq=192, maxDocs=44218)
               0.018012334 = queryNorm
             0.85306203 = fieldWeight in 3197, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.434197 = idf(docFreq=192, maxDocs=44218)
               0.09375 = fieldNorm(doc=3197)
         0.04324437 = weight(abstract_txt:data in 3197) [ClassicSimilarity], result of:
           0.04324437 = score(doc=3197,freq=1.0), product of:
             0.13825695 = queryWeight, product of:
               2.3006241 = boost
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.018012334 = queryNorm
             0.31278262 = fieldWeight in 3197, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.09375 = fieldNorm(doc=3197)
       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.10123825 = sum of:
     0.10123825 = product of:
       0.36156517 = sum of:
         0.02366573 = weight(abstract_txt:concept in 466) [ClassicSimilarity], result of:
           0.02366573 = score(doc=466,freq=1.0), product of:
             0.084042884 = queryWeight, product of:
               1.0356 = boost
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.018012334 = queryNorm
             0.28159112 = fieldWeight in 466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.0625 = fieldNorm(doc=466)
         0.024585707 = weight(abstract_txt:model in 466) [ClassicSimilarity], result of:
           0.024585707 = score(doc=466,freq=1.0), product of:
             0.09868245 = queryWeight, product of:
               1.3743811 = boost
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.018012334 = queryNorm
             0.24913962 = fieldWeight in 466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.0625 = fieldNorm(doc=466)
         0.01676712 = weight(abstract_txt:based in 466) [ClassicSimilarity], result of:
           0.01676712 = score(doc=466,freq=1.0), product of:
             0.08415308 = queryWeight, product of:
               1.4655194 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.018012334 = queryNorm
             0.19924548 = fieldWeight in 466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.0625 = fieldNorm(doc=466)
         0.033352092 = weight(abstract_txt:databases in 466) [ClassicSimilarity], result of:
           0.033352092 = score(doc=466,freq=1.0), product of:
             0.120929845 = queryWeight, product of:
               1.5214369 = boost
               4.4127526 = idf(docFreq=1456, maxDocs=44218)
               0.018012334 = queryNorm
             0.27579704 = fieldWeight in 466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4127526 = idf(docFreq=1456, maxDocs=44218)
               0.0625 = fieldNorm(doc=466)
         0.12303624 = weight(abstract_txt:proof in 466) [ClassicSimilarity], result of:
           0.12303624 = score(doc=466,freq=1.0), product of:
             0.2522182 = queryWeight, product of:
               1.7940302 = boost
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.018012334 = queryNorm
             0.4878167 = fieldWeight in 466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.0625 = fieldNorm(doc=466)
         0.06388238 = weight(abstract_txt:history in 466) [ClassicSimilarity], result of:
           0.06388238 = score(doc=466,freq=1.0), product of:
             0.2052824 = queryWeight, product of:
               2.2889295 = boost
               4.9790826 = idf(docFreq=826, maxDocs=44218)
               0.018012334 = queryNorm
             0.31119266 = fieldWeight in 466, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9790826 = idf(docFreq=826, maxDocs=44218)
               0.0625 = fieldNorm(doc=466)
         0.0762759 = weight(abstract_txt:data in 466) [ClassicSimilarity], result of:
           0.0762759 = score(doc=466,freq=7.0), product of:
             0.13825695 = queryWeight, product of:
               2.3006241 = boost
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.018012334 = queryNorm
             0.55169666 = fieldWeight in 466, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.3363478 = idf(docFreq=4274, maxDocs=44218)
               0.0625 = fieldNorm(doc=466)
       0.28 = coord(7/25)