-
Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (2017)
0.04
0.03927845 = product of:
0.1571138 = sum of:
0.1571138 = weight(_text_:logic in 3934) [ClassicSimilarity], result of:
0.1571138 = score(doc=3934,freq=8.0), product of:
0.2358082 = queryWeight, product of:
6.0304604 = idf(docFreq=288, maxDocs=44218)
0.039102852 = queryNorm
0.666278 = fieldWeight in 3934, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
6.0304604 = idf(docFreq=288, maxDocs=44218)
0.0390625 = fieldNorm(doc=3934)
0.25 = coord(1/4)
- LCSH
- Mathematical logic
Mathematical Logic and Formal Languages
- Subject
- Mathematical logic
Mathematical Logic and Formal Languages
-
Balakrishnan, U,; Soergel, D.; Helfer, O.: Representing concepts through description logic expressions for knowledge organization system (KOS) mapping (2020)
0.04
0.03927845 = product of:
0.1571138 = sum of:
0.1571138 = weight(_text_:logic in 144) [ClassicSimilarity], result of:
0.1571138 = score(doc=144,freq=2.0), product of:
0.2358082 = queryWeight, product of:
6.0304604 = idf(docFreq=288, maxDocs=44218)
0.039102852 = queryNorm
0.666278 = fieldWeight in 144, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.0304604 = idf(docFreq=288, maxDocs=44218)
0.078125 = fieldNorm(doc=144)
0.25 = coord(1/4)
-
Bittner, T.; Donnelly, M.; Winter, S.: Ontology and semantic interoperability (2006)
0.00
0.0026489482 = product of:
0.010595793 = sum of:
0.010595793 = product of:
0.031787377 = sum of:
0.031787377 = weight(_text_:22 in 4820) [ClassicSimilarity], result of:
0.031787377 = score(doc=4820,freq=2.0), product of:
0.13693152 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.039102852 = queryNorm
0.23214069 = fieldWeight in 4820, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.046875 = fieldNorm(doc=4820)
0.33333334 = coord(1/3)
0.25 = coord(1/4)
- Date
- 3.12.2016 18:39:22
-
Dobrev, P.; Kalaydjiev, O.; Angelova, G.: From conceptual structures to semantic interoperability of content (2007)
0.00
0.002207457 = product of:
0.008829828 = sum of:
0.008829828 = product of:
0.026489483 = sum of:
0.026489483 = weight(_text_:22 in 4607) [ClassicSimilarity], result of:
0.026489483 = score(doc=4607,freq=2.0), product of:
0.13693152 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.039102852 = queryNorm
0.19345059 = fieldWeight in 4607, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0390625 = fieldNorm(doc=4607)
0.33333334 = coord(1/3)
0.25 = coord(1/4)
- Source
- Conceptual structures: knowledge architectures for smart applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22 - 27, 2007 ; proceedings. Eds.: U. Priss u.a