-
Lee, D.-T.; Tsang, c.P.: Finding relevant knowledge in a knowledge base of linear logic (1998)
1.36
1.3615668 = sum of:
1.3615668 = sum of:
0.20763163 = weight(abstract_txt:knowledge in 6107) [ClassicSimilarity], result of:
0.20763163 = score(doc=6107,freq=6.0), product of:
0.21853097 = queryWeight, product of:
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.061620634 = queryNorm
0.9501245 = fieldWeight in 6107, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.109375 = fieldNorm(doc=6107)
0.46122986 = weight(abstract_txt:logic in 6107) [ClassicSimilarity], result of:
0.46122986 = score(doc=6107,freq=1.0), product of:
0.67605084 = queryWeight, product of:
1.7588677 = boost
6.2376356 = idf(docFreq=235, maxDocs=44421)
0.061620634 = queryNorm
0.6822414 = fieldWeight in 6107, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.2376356 = idf(docFreq=235, maxDocs=44421)
0.109375 = fieldNorm(doc=6107)
0.6927053 = weight(abstract_txt:bases in 6107) [ClassicSimilarity], result of:
0.6927053 = score(doc=6107,freq=2.0), product of:
0.7037041 = queryWeight, product of:
1.7944797 = boost
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.061620634 = queryNorm
0.9843701 = fieldWeight in 6107, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.109375 = fieldNorm(doc=6107)
-
Cadoli, M.; Donini, F.M.: ¬A survey on knowledge compilation (1997)
0.67
0.67218757 = sum of:
0.67218757 = product of:
1.0082814 = sum of:
0.21661814 = weight(abstract_txt:knowledge in 4320) [ClassicSimilarity], result of:
0.21661814 = score(doc=4320,freq=5.0), product of:
0.21853097 = queryWeight, product of:
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.061620634 = queryNorm
0.9912469 = fieldWeight in 4320, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.125 = fieldNorm(doc=4320)
0.79166317 = weight(abstract_txt:bases in 4320) [ClassicSimilarity], result of:
0.79166317 = score(doc=4320,freq=2.0), product of:
0.7037041 = queryWeight, product of:
1.7944797 = boost
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.061620634 = queryNorm
1.1249944 = fieldWeight in 4320, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.125 = fieldNorm(doc=4320)
0.6666667 = coord(2/3)
-
McGuinness, D.L.: Conceptual modeling for distributed ontology environments (2000)
0.65
0.6517642 = sum of:
0.6517642 = sum of:
0.10830907 = weight(abstract_txt:knowledge in 6073) [ClassicSimilarity], result of:
0.10830907 = score(doc=6073,freq=5.0), product of:
0.21853097 = queryWeight, product of:
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.061620634 = queryNorm
0.49562344 = fieldWeight in 6073, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.0625 = fieldNorm(doc=6073)
0.26355994 = weight(abstract_txt:logic in 6073) [ClassicSimilarity], result of:
0.26355994 = score(doc=6073,freq=1.0), product of:
0.67605084 = queryWeight, product of:
1.7588677 = boost
6.2376356 = idf(docFreq=235, maxDocs=44421)
0.061620634 = queryNorm
0.38985223 = fieldWeight in 6073, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.2376356 = idf(docFreq=235, maxDocs=44421)
0.0625 = fieldNorm(doc=6073)
0.27989522 = weight(abstract_txt:bases in 6073) [ClassicSimilarity], result of:
0.27989522 = score(doc=6073,freq=1.0), product of:
0.7037041 = queryWeight, product of:
1.7944797 = boost
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.061620634 = queryNorm
0.3977456 = fieldWeight in 6073, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.0625 = fieldNorm(doc=6073)
-
Dahlberg, I.: International Society for Knowledge Organization (ISKO) (2009)
0.64
0.6403297 = sum of:
0.6403297 = sum of:
0.09687458 = weight(abstract_txt:knowledge in 693) [ClassicSimilarity], result of:
0.09687458 = score(doc=693,freq=4.0), product of:
0.21853097 = queryWeight, product of:
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.061620634 = queryNorm
0.44329908 = fieldWeight in 693, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.0625 = fieldNorm(doc=693)
0.26355994 = weight(abstract_txt:logic in 693) [ClassicSimilarity], result of:
0.26355994 = score(doc=693,freq=1.0), product of:
0.67605084 = queryWeight, product of:
1.7588677 = boost
6.2376356 = idf(docFreq=235, maxDocs=44421)
0.061620634 = queryNorm
0.38985223 = fieldWeight in 693, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.2376356 = idf(docFreq=235, maxDocs=44421)
0.0625 = fieldNorm(doc=693)
0.27989522 = weight(abstract_txt:bases in 693) [ClassicSimilarity], result of:
0.27989522 = score(doc=693,freq=1.0), product of:
0.7037041 = queryWeight, product of:
1.7944797 = boost
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.061620634 = queryNorm
0.3977456 = fieldWeight in 693, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.0625 = fieldNorm(doc=693)
-
Chowdhury, G.G.: Natural language processing and information retrieval : pt.1: basic issues; pt.2: major applications (1991)
0.58
0.58065987 = sum of:
0.58065987 = product of:
0.87098974 = sum of:
0.17125167 = weight(abstract_txt:knowledge in 3312) [ClassicSimilarity], result of:
0.17125167 = score(doc=3312,freq=2.0), product of:
0.21853097 = queryWeight, product of:
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.061620634 = queryNorm
0.78364944 = fieldWeight in 3312, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.15625 = fieldNorm(doc=3312)
0.6997381 = weight(abstract_txt:bases in 3312) [ClassicSimilarity], result of:
0.6997381 = score(doc=3312,freq=1.0), product of:
0.7037041 = queryWeight, product of:
1.7944797 = boost
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.061620634 = queryNorm
0.994364 = fieldWeight in 3312, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3639297 = idf(docFreq=207, maxDocs=44421)
0.15625 = fieldNorm(doc=3312)
0.6666667 = coord(2/3)
