Document (#23108)

Author

Lee, D.-T.
Tsang, c.P.

Title

Finding relevant knowledge in a knowledge base of linear logic

Source

Knowledge-based systems. 10(1998) no.6, S.359-361

Year

1998

Abstract

There has been a trend toward the development of large-scale knowledge bases. In such knowledge bases, not all knowledge is closely related to each other and it is important to be able to determine which parts of knowledge are relevant to the current problem. Discusses the formula for interconnectivity graphs but also its use for selecting relevant knowledge from a knowledge base that is based on linear logic

Similar documents (content)

1. Mesquita, L.A.P.; Souza, R.R.; Baracho Porto, R.M.A.: Noun phrases in automatic indexing: : a structural analysis of the distribution of relevant terms in doctoral theses (2014) 0.21

   0.20692039 = sum of:
     0.20692039 = product of:
       0.64662623 = sum of:
         0.01326963 = weight(abstract_txt:there in 2442) [ClassicSimilarity], result of:
           0.01326963 = score(doc=2442,freq=1.0), product of:
             0.069144964 = queryWeight, product of:
               1.0365924 = boost
               4.094086 = idf(docFreq=2012, maxDocs=44421)
               0.016292794 = queryNorm
             0.1919103 = fieldWeight in 2442, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.094086 = idf(docFreq=2012, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
         0.03018844 = weight(abstract_txt:each in 2442) [ClassicSimilarity], result of:
           0.03018844 = score(doc=2442,freq=5.0), product of:
             0.06994528 = queryWeight, product of:
               1.0425742 = boost
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.016292794 = queryNorm
             0.43160078 = fieldWeight in 2442, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
         0.02023417 = weight(abstract_txt:related in 2442) [ClassicSimilarity], result of:
           0.02023417 = score(doc=2442,freq=2.0), product of:
             0.07270567 = queryWeight, product of:
               1.0629476 = boost
               4.198178 = idf(docFreq=1813, maxDocs=44421)
               0.016292794 = queryNorm
             0.2783025 = fieldWeight in 2442, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.198178 = idf(docFreq=1813, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
         0.061716236 = weight(abstract_txt:parts in 2442) [ClassicSimilarity], result of:
           0.061716236 = score(doc=2442,freq=2.0), product of:
             0.15291296 = queryWeight, product of:
               1.5415225 = boost
               6.0883393 = idf(docFreq=273, maxDocs=44421)
               0.016292794 = queryNorm
             0.4036037 = fieldWeight in 2442, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.0883393 = idf(docFreq=273, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
         0.06852396 = weight(abstract_txt:graphs in 2442) [ClassicSimilarity], result of:
           0.06852396 = score(doc=2442,freq=1.0), product of:
             0.20657748 = queryWeight, product of:
               1.7917162 = boost
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.016292794 = queryNorm
             0.3317107 = fieldWeight in 2442, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
         0.16237211 = weight(abstract_txt:linear in 2442) [ClassicSimilarity], result of:
           0.16237211 = score(doc=2442,freq=2.0), product of:
             0.36716586 = queryWeight, product of:
               3.378111 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.016292794 = queryNorm
             0.44223094 = fieldWeight in 2442, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
         0.15232508 = weight(abstract_txt:relevant in 2442) [ClassicSimilarity], result of:
           0.15232508 = score(doc=2442,freq=7.0), product of:
             0.26528338 = queryWeight, product of:
               3.516765 = boost
               4.6298943 = idf(docFreq=1177, maxDocs=44421)
               0.016292794 = queryNorm
             0.5741976 = fieldWeight in 2442, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               4.6298943 = idf(docFreq=1177, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
         0.13799658 = weight(abstract_txt:knowledge in 2442) [ClassicSimilarity], result of:
           0.13799658 = score(doc=2442,freq=4.0), product of:
             0.41505936 = queryWeight, product of:
               7.1833634 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.016292794 = queryNorm
             0.33247432 = fieldWeight in 2442, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.046875 = fieldNorm(doc=2442)
       0.32 = coord(8/25)
   

2. Engels, R.H.P.; Lech, T.Ch.: Generating ontologies for the Semantic Web : OntoBuilder (2004) 0.19

   0.192374 = sum of:
     0.192374 = product of:
       0.43721366 = sum of:
         0.01876609 = weight(abstract_txt:there in 404) [ClassicSimilarity], result of:
           0.01876609 = score(doc=404,freq=2.0), product of:
             0.069144964 = queryWeight, product of:
               1.0365924 = boost
               4.094086 = idf(docFreq=2012, maxDocs=44421)
               0.016292794 = queryNorm
             0.27140212 = fieldWeight in 404, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.094086 = idf(docFreq=2012, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.013500679 = weight(abstract_txt:each in 404) [ClassicSimilarity], result of:
           0.013500679 = score(doc=404,freq=1.0), product of:
             0.06994528 = queryWeight, product of:
               1.0425742 = boost
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.016292794 = queryNorm
             0.19301772 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.01430772 = weight(abstract_txt:related in 404) [ClassicSimilarity], result of:
           0.01430772 = score(doc=404,freq=1.0), product of:
             0.07270567 = queryWeight, product of:
               1.0629476 = boost
               4.198178 = idf(docFreq=1813, maxDocs=44421)
               0.016292794 = queryNorm
             0.19678959 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.198178 = idf(docFreq=1813, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.01443284 = weight(abstract_txt:important in 404) [ClassicSimilarity], result of:
           0.01443284 = score(doc=404,freq=1.0), product of:
             0.07312893 = queryWeight, product of:
               1.0660372 = boost
               4.21038 = idf(docFreq=1791, maxDocs=44421)
               0.016292794 = queryNorm
             0.19736156 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.21038 = idf(docFreq=1791, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.015331059 = weight(abstract_txt:current in 404) [ClassicSimilarity], result of:
           0.015331059 = score(doc=404,freq=1.0), product of:
             0.07613239 = queryWeight, product of:
               1.0877084 = boost
               4.295972 = idf(docFreq=1644, maxDocs=44421)
               0.016292794 = queryNorm
             0.20137368 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.295972 = idf(docFreq=1644, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.016952218 = weight(abstract_txt:large in 404) [ClassicSimilarity], result of:
           0.016952218 = score(doc=404,freq=1.0), product of:
             0.08140899 = queryWeight, product of:
               1.1247705 = boost
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.016292794 = queryNorm
             0.20823522 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.0242509 = weight(abstract_txt:problem in 404) [ClassicSimilarity], result of:
           0.0242509 = score(doc=404,freq=2.0), product of:
             0.082034506 = queryWeight, product of:
               1.1290834 = boost
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.016292794 = queryNorm
             0.2956183 = fieldWeight in 404, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.4593854 = idf(docFreq=1396, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.044830013 = weight(abstract_txt:finding in 404) [ClassicSimilarity], result of:
           0.044830013 = score(doc=404,freq=2.0), product of:
             0.12356361 = queryWeight, product of:
               1.3857121 = boost
               5.4729567 = idf(docFreq=506, maxDocs=44421)
               0.016292794 = queryNorm
             0.36280918 = fieldWeight in 404, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.4729567 = idf(docFreq=506, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.09776013 = weight(abstract_txt:base in 404) [ClassicSimilarity], result of:
           0.09776013 = score(doc=404,freq=2.0), product of:
             0.26179573 = queryWeight, product of:
               2.8524892 = boost
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.016292794 = queryNorm
             0.37342143 = fieldWeight in 404, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.057573467 = weight(abstract_txt:relevant in 404) [ClassicSimilarity], result of:
           0.057573467 = score(doc=404,freq=1.0), product of:
             0.26528338 = queryWeight, product of:
               3.516765 = boost
               4.6298943 = idf(docFreq=1177, maxDocs=44421)
               0.016292794 = queryNorm
             0.2170263 = fieldWeight in 404, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6298943 = idf(docFreq=1177, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
         0.11950854 = weight(abstract_txt:knowledge in 404) [ClassicSimilarity], result of:
           0.11950854 = score(doc=404,freq=3.0), product of:
             0.41505936 = queryWeight, product of:
               7.1833634 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.016292794 = queryNorm
             0.2879312 = fieldWeight in 404, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.046875 = fieldNorm(doc=404)
       0.44 = coord(11/25)
   

3. Trajanoska, M.; Stojanov, R.; Trajanov, D.: Enhancing knowledge graph construction using Large Language Models (2023) 0.18

   0.17612152 = sum of:
     0.17612152 = product of:
       0.62900543 = sum of:
         0.023846198 = weight(abstract_txt:related in 2334) [ClassicSimilarity], result of:
           0.023846198 = score(doc=2334,freq=1.0), product of:
             0.07270567 = queryWeight, product of:
               1.0629476 = boost
               4.198178 = idf(docFreq=1813, maxDocs=44421)
               0.016292794 = queryNorm
             0.32798263 = fieldWeight in 2334, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.198178 = idf(docFreq=1813, maxDocs=44421)
               0.078125 = fieldNorm(doc=2334)
         0.025551764 = weight(abstract_txt:current in 2334) [ClassicSimilarity], result of:
           0.025551764 = score(doc=2334,freq=1.0), product of:
             0.07613239 = queryWeight, product of:
               1.0877084 = boost
               4.295972 = idf(docFreq=1644, maxDocs=44421)
               0.016292794 = queryNorm
             0.3356228 = fieldWeight in 2334, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.295972 = idf(docFreq=1644, maxDocs=44421)
               0.078125 = fieldNorm(doc=2334)
         0.039956763 = weight(abstract_txt:large in 2334) [ClassicSimilarity], result of:
           0.039956763 = score(doc=2334,freq=2.0), product of:
             0.08140899 = queryWeight, product of:
               1.1247705 = boost
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.016292794 = queryNorm
             0.4908151 = fieldWeight in 2334, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.078125 = fieldNorm(doc=2334)
         0.08325282 = weight(abstract_txt:trend in 2334) [ClassicSimilarity], result of:
           0.08325282 = score(doc=2334,freq=1.0), product of:
             0.16732268 = queryWeight, product of:
               1.6125201 = boost
               6.3687487 = idf(docFreq=206, maxDocs=44421)
               0.016292794 = queryNorm
             0.49755847 = fieldWeight in 2334, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3687487 = idf(docFreq=206, maxDocs=44421)
               0.078125 = fieldNorm(doc=2334)
         0.19781162 = weight(abstract_txt:graphs in 2334) [ClassicSimilarity], result of:
           0.19781162 = score(doc=2334,freq=3.0), product of:
             0.20657748 = queryWeight, product of:
               1.7917162 = boost
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.016292794 = queryNorm
             0.95756626 = fieldWeight in 2334, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.078125 = fieldNorm(doc=2334)
         0.09595578 = weight(abstract_txt:relevant in 2334) [ClassicSimilarity], result of:
           0.09595578 = score(doc=2334,freq=1.0), product of:
             0.26528338 = queryWeight, product of:
               3.516765 = boost
               4.6298943 = idf(docFreq=1177, maxDocs=44421)
               0.016292794 = queryNorm
             0.3617105 = fieldWeight in 2334, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6298943 = idf(docFreq=1177, maxDocs=44421)
               0.078125 = fieldNorm(doc=2334)
         0.16263051 = weight(abstract_txt:knowledge in 2334) [ClassicSimilarity], result of:
           0.16263051 = score(doc=2334,freq=2.0), product of:
             0.41505936 = queryWeight, product of:
               7.1833634 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.016292794 = queryNorm
             0.39182472 = fieldWeight in 2334, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=2334)
       0.28 = coord(7/25)
   

4. Swartout, B.; Patil, R.; Knight, K.; Russ, T.: Toward Distributed Use of Large-Scale Ontologies (1996) 0.16

   0.15775704 = sum of:
     0.15775704 = product of:
       0.65732104 = sum of:
         0.018000906 = weight(abstract_txt:each in 5961) [ClassicSimilarity], result of:
           0.018000906 = score(doc=5961,freq=1.0), product of:
             0.06994528 = queryWeight, product of:
               1.0425742 = boost
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.016292794 = queryNorm
             0.25735697 = fieldWeight in 5961, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.0625 = fieldNorm(doc=5961)
         0.031965412 = weight(abstract_txt:large in 5961) [ClassicSimilarity], result of:
           0.031965412 = score(doc=5961,freq=2.0), product of:
             0.08140899 = queryWeight, product of:
               1.1247705 = boost
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.016292794 = queryNorm
             0.3926521 = fieldWeight in 5961, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.0625 = fieldNorm(doc=5961)
         0.059644442 = weight(abstract_txt:scale in 5961) [ClassicSimilarity], result of:
           0.059644442 = score(doc=5961,freq=2.0), product of:
             0.12338589 = queryWeight, product of:
               1.3847153 = boost
               5.4690194 = idf(docFreq=508, maxDocs=44421)
               0.016292794 = queryNorm
             0.48339757 = fieldWeight in 5961, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.4690194 = idf(docFreq=508, maxDocs=44421)
               0.0625 = fieldNorm(doc=5961)
         0.09216914 = weight(abstract_txt:base in 5961) [ClassicSimilarity], result of:
           0.09216914 = score(doc=5961,freq=1.0), product of:
             0.26179573 = queryWeight, product of:
               2.8524892 = boost
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.016292794 = queryNorm
             0.35206512 = fieldWeight in 5961, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.0625 = fieldNorm(doc=5961)
         0.23019367 = weight(abstract_txt:bases in 5961) [ClassicSimilarity], result of:
           0.23019367 = score(doc=5961,freq=3.0), product of:
             0.33413914 = queryWeight, product of:
               3.2226 = boost
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.016292794 = queryNorm
             0.6889156 = fieldWeight in 5961, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.0625 = fieldNorm(doc=5961)
         0.22534746 = weight(abstract_txt:knowledge in 5961) [ClassicSimilarity], result of:
           0.22534746 = score(doc=5961,freq=6.0), product of:
             0.41505936 = queryWeight, product of:
               7.1833634 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.016292794 = queryNorm
             0.5429283 = fieldWeight in 5961, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=5961)
       0.24 = coord(6/25)
   

5. Ohsuga, S.: ¬A way of designing knowledge based systems (1995) 0.16

   0.1569336 = sum of:
     0.1569336 = product of:
       0.65389 = sum of:
         0.03439095 = weight(abstract_txt:discusses in 3278) [ClassicSimilarity], result of:
           0.03439095 = score(doc=3278,freq=3.0), product of:
             0.064349405 = queryWeight, product of:
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.016292794 = queryNorm
             0.5344408 = fieldWeight in 3278, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.9495623 = idf(docFreq=2325, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.02211605 = weight(abstract_txt:there in 3278) [ClassicSimilarity], result of:
           0.02211605 = score(doc=3278,freq=1.0), product of:
             0.069144964 = queryWeight, product of:
               1.0365924 = boost
               4.094086 = idf(docFreq=2012, maxDocs=44421)
               0.016292794 = queryNorm
             0.31985047 = fieldWeight in 3278, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.094086 = idf(docFreq=2012, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.031821404 = weight(abstract_txt:each in 3278) [ClassicSimilarity], result of:
           0.031821404 = score(doc=3278,freq=2.0), product of:
             0.06994528 = queryWeight, product of:
               1.0425742 = boost
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.016292794 = queryNorm
             0.4549471 = fieldWeight in 3278, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.1177115 = idf(docFreq=1965, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.04893684 = weight(abstract_txt:large in 3278) [ClassicSimilarity], result of:
           0.04893684 = score(doc=3278,freq=3.0), product of:
             0.08140899 = queryWeight, product of:
               1.1247705 = boost
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.016292794 = queryNorm
             0.6011233 = fieldWeight in 3278, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.4423513 = idf(docFreq=1420, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.23494041 = weight(abstract_txt:bases in 3278) [ClassicSimilarity], result of:
           0.23494041 = score(doc=3278,freq=2.0), product of:
             0.33413914 = queryWeight, product of:
               3.2226 = boost
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.016292794 = queryNorm
             0.7031215 = fieldWeight in 3278, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
         0.2816843 = weight(abstract_txt:knowledge in 3278) [ClassicSimilarity], result of:
           0.2816843 = score(doc=3278,freq=6.0), product of:
             0.41505936 = queryWeight, product of:
               7.1833634 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.016292794 = queryNorm
             0.67866033 = fieldWeight in 3278, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=3278)
       0.24 = coord(6/25)