-
Lee, D.-T.; Tsang, c.P.: Finding relevant knowledge in a knowledge base of linear logic (1998)
1.36
1.3630314 = sum of:
1.3630314 = sum of:
0.20856622 = weight(abstract_txt:knowledge in 5107) [ClassicSimilarity], result of:
0.20856622 = score(doc=5107,freq=6.0), product of:
0.21911943 = queryWeight, product of:
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.061675332 = queryNorm
0.9518381 = fieldWeight in 5107, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.109375 = fieldNorm(doc=5107)
0.46073422 = weight(abstract_txt:logic in 5107) [ClassicSimilarity], result of:
0.46073422 = score(doc=5107,freq=1.0), product of:
0.67536044 = queryWeight, product of:
1.7556072 = boost
6.237302 = idf(docFreq=234, maxDocs=44218)
0.061675332 = queryNorm
0.6822049 = fieldWeight in 5107, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.237302 = idf(docFreq=234, maxDocs=44218)
0.109375 = fieldNorm(doc=5107)
0.693731 = weight(abstract_txt:bases in 5107) [ClassicSimilarity], result of:
0.693731 = score(doc=5107,freq=2.0), product of:
0.7041839 = queryWeight, product of:
1.7926793 = boost
6.369011 = idf(docFreq=205, maxDocs=44218)
0.061675332 = queryNorm
0.98515606 = fieldWeight in 5107, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.369011 = idf(docFreq=205, maxDocs=44218)
0.109375 = fieldNorm(doc=5107)
-
Cadoli, M.; Donini, F.M.: ¬A survey on knowledge compilation (1997)
0.67
0.67361915 = sum of:
0.67361915 = product of:
1.0104287 = sum of:
0.2175932 = weight(abstract_txt:knowledge in 3320) [ClassicSimilarity], result of:
0.2175932 = score(doc=3320,freq=5.0), product of:
0.21911943 = queryWeight, product of:
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.061675332 = queryNorm
0.99303466 = fieldWeight in 3320, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.125 = fieldNorm(doc=3320)
0.7928354 = weight(abstract_txt:bases in 3320) [ClassicSimilarity], result of:
0.7928354 = score(doc=3320,freq=2.0), product of:
0.7041839 = queryWeight, product of:
1.7926793 = boost
6.369011 = idf(docFreq=205, maxDocs=44218)
0.061675332 = queryNorm
1.1258926 = fieldWeight in 3320, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.369011 = idf(docFreq=205, maxDocs=44218)
0.125 = fieldNorm(doc=3320)
0.6666667 = coord(2/3)
-
McGuinness, D.L.: Conceptual modeling for distributed ontology environments (2000)
0.65
0.65238297 = sum of:
0.65238297 = sum of:
0.1087966 = weight(abstract_txt:knowledge in 5073) [ClassicSimilarity], result of:
0.1087966 = score(doc=5073,freq=5.0), product of:
0.21911943 = queryWeight, product of:
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.061675332 = queryNorm
0.49651733 = fieldWeight in 5073, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.0625 = fieldNorm(doc=5073)
0.2632767 = weight(abstract_txt:logic in 5073) [ClassicSimilarity], result of:
0.2632767 = score(doc=5073,freq=1.0), product of:
0.67536044 = queryWeight, product of:
1.7556072 = boost
6.237302 = idf(docFreq=234, maxDocs=44218)
0.061675332 = queryNorm
0.38983136 = fieldWeight in 5073, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.237302 = idf(docFreq=234, maxDocs=44218)
0.0625 = fieldNorm(doc=5073)
0.28030968 = weight(abstract_txt:bases in 5073) [ClassicSimilarity], result of:
0.28030968 = score(doc=5073,freq=1.0), product of:
0.7041839 = queryWeight, product of:
1.7926793 = boost
6.369011 = idf(docFreq=205, maxDocs=44218)
0.061675332 = queryNorm
0.39806318 = fieldWeight in 5073, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.369011 = idf(docFreq=205, maxDocs=44218)
0.0625 = fieldNorm(doc=5073)
-
Dahlberg, I.: International Society for Knowledge Organization (ISKO) (2009)
0.64
0.64089704 = sum of:
0.64089704 = sum of:
0.09731063 = weight(abstract_txt:knowledge in 4693) [ClassicSimilarity], result of:
0.09731063 = score(doc=4693,freq=4.0), product of:
0.21911943 = queryWeight, product of:
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.061675332 = queryNorm
0.4440986 = fieldWeight in 4693, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.0625 = fieldNorm(doc=4693)
0.2632767 = weight(abstract_txt:logic in 4693) [ClassicSimilarity], result of:
0.2632767 = score(doc=4693,freq=1.0), product of:
0.67536044 = queryWeight, product of:
1.7556072 = boost
6.237302 = idf(docFreq=234, maxDocs=44218)
0.061675332 = queryNorm
0.38983136 = fieldWeight in 4693, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.237302 = idf(docFreq=234, maxDocs=44218)
0.0625 = fieldNorm(doc=4693)
0.28030968 = weight(abstract_txt:bases in 4693) [ClassicSimilarity], result of:
0.28030968 = score(doc=4693,freq=1.0), product of:
0.7041839 = queryWeight, product of:
1.7926793 = boost
6.369011 = idf(docFreq=205, maxDocs=44218)
0.061675332 = queryNorm
0.39806318 = fieldWeight in 4693, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.369011 = idf(docFreq=205, maxDocs=44218)
0.0625 = fieldNorm(doc=4693)
-
Chowdhury, G.G.: Natural language processing and information retrieval : pt.1: basic issues; pt.2: major applications (1991)
0.58
0.5818645 = sum of:
0.5818645 = product of:
0.8727967 = sum of:
0.17202252 = weight(abstract_txt:knowledge in 3313) [ClassicSimilarity], result of:
0.17202252 = score(doc=3313,freq=2.0), product of:
0.21911943 = queryWeight, product of:
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.061675332 = queryNorm
0.78506285 = fieldWeight in 3313, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.15625 = fieldNorm(doc=3313)
0.7007742 = weight(abstract_txt:bases in 3313) [ClassicSimilarity], result of:
0.7007742 = score(doc=3313,freq=1.0), product of:
0.7041839 = queryWeight, product of:
1.7926793 = boost
6.369011 = idf(docFreq=205, maxDocs=44218)
0.061675332 = queryNorm
0.99515796 = fieldWeight in 3313, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.369011 = idf(docFreq=205, maxDocs=44218)
0.15625 = fieldNorm(doc=3313)
0.6666667 = coord(2/3)
