Document (#41540)

Author
Krötzsch, M.
Hitzler, P.
Ehrig, M.
Sure, Y.
Title
Category theory in ontology research : concrete gain from an abstract approach
Source
https://pdfs.semanticscholar.org/286e/6daf883a932bec65453c72b1eb9b44f54533.pdf
Year
2004 (?)
Abstract
The focus of research on representing and reasoning with knowledge traditionally has been on single specifications and appropriate inference paradigms to draw conclusions from such data. Accordingly, this is also an essential aspect of ontology research which has received much attention in recent years. But ontologies introduce another new challenge based on the distributed nature of most of their applications, which requires to relate heterogeneous ontological specifications and to integrate information from multiple sources. These problems have of course been recognized, but many current approaches still lack the deep formal backgrounds on which todays reasoning paradigms are already founded. Here we propose category theory as a well-explored and very extensive mathematical foundation for modelling distributed knowledge. A particular prospect is to derive conclusions from the structure of those distributed knowledge bases, as it is for example needed when merging ontologies
Theme
Wissensrepräsentation
Semantische Interoperabilität

Similar documents (author)

  1. Hitzler, P.; Krötzsch, M.; Rudolph, S.; Sure, Y.: Semantic Web : Grundlagen (2008) 5.18 
    5.1816564 = sum of:
  5.1816564 = sum of:
    1.5625818 = weight(author_txt:sure in 2359) [ClassicSimilarity], result of:
      1.5625818 = score(doc=2359,freq=1.0), product of:
        0.5396939 = queryWeight, product of:
          9.264996 = idf(docFreq=10, maxDocs=42740)
          0.058250856 = queryNorm
        2.895311 = fieldWeight in 2359, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.264996 = idf(docFreq=10, maxDocs=42740)
          0.3125 = fieldNorm(doc=2359)
    1.7293094 = weight(author_txt:krötzsch in 2359) [ClassicSimilarity], result of:
      1.7293094 = score(doc=2359,freq=1.0), product of:
        0.577432 = queryWeight, product of:
          1.0343717 = boost
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.058250856 = queryNorm
        2.994828 = fieldWeight in 2359, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.3125 = fieldNorm(doc=2359)
    1.8897653 = weight(author_txt:hitzler in 2359) [ClassicSimilarity], result of:
      1.8897653 = score(doc=2359,freq=1.0), product of:
        0.61261964 = queryWeight, product of:
          1.065422 = boost
          9.871131 = idf(docFreq=5, maxDocs=42740)
          0.058250856 = queryNorm
        3.0847285 = fieldWeight in 2359, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.871131 = idf(docFreq=5, maxDocs=42740)
          0.3125 = fieldNorm(doc=2359)
  2. Hitzler, P.; Krötzsch, M.; Rudolph, S.: Foundations of Semantic Web technologies (2010) 2.90 
    2.8952596 = sum of:
  2.8952596 = product of:
    4.3428893 = sum of:
      2.0751712 = weight(author_txt:krötzsch in 2360) [ClassicSimilarity], result of:
        2.0751712 = score(doc=2360,freq=1.0), product of:
          0.577432 = queryWeight, product of:
            1.0343717 = boost
            9.583449 = idf(docFreq=7, maxDocs=42740)
            0.058250856 = queryNorm
          3.5937934 = fieldWeight in 2360, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.583449 = idf(docFreq=7, maxDocs=42740)
            0.375 = fieldNorm(doc=2360)
      2.267718 = weight(author_txt:hitzler in 2360) [ClassicSimilarity], result of:
        2.267718 = score(doc=2360,freq=1.0), product of:
          0.61261964 = queryWeight, product of:
            1.065422 = boost
            9.871131 = idf(docFreq=5, maxDocs=42740)
            0.058250856 = queryNorm
          3.701674 = fieldWeight in 2360, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.871131 = idf(docFreq=5, maxDocs=42740)
            0.375 = fieldNorm(doc=2360)
    0.6666667 = coord(2/3)
  3. Krötzsch, J.: ¬Das Gelbe Haus Schotten (1992) 1.15 
    1.152873 = sum of:
  1.152873 = product of:
    3.4586189 = sum of:
      3.4586189 = weight(author_txt:krötzsch in 1797) [ClassicSimilarity], result of:
        3.4586189 = score(doc=1797,freq=1.0), product of:
          0.577432 = queryWeight, product of:
            1.0343717 = boost
            9.583449 = idf(docFreq=7, maxDocs=42740)
            0.058250856 = queryNorm
          5.989656 = fieldWeight in 1797, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.583449 = idf(docFreq=7, maxDocs=42740)
            0.625 = fieldNorm(doc=1797)
    0.33333334 = coord(1/3)
  4. Hitzler, P.; Janowicz, K.: Ontologies in a data driven world : finding the middle ground (2013) 1.01 
    1.0078748 = sum of:
  1.0078748 = product of:
    3.0236244 = sum of:
      3.0236244 = weight(author_txt:hitzler in 2804) [ClassicSimilarity], result of:
        3.0236244 = score(doc=2804,freq=1.0), product of:
          0.61261964 = queryWeight, product of:
            1.065422 = boost
            9.871131 = idf(docFreq=5, maxDocs=42740)
            0.058250856 = queryNorm
          4.9355655 = fieldWeight in 2804, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.871131 = idf(docFreq=5, maxDocs=42740)
            0.5 = fieldNorm(doc=2804)
    0.33333334 = coord(1/3)
  5. Krötzsch, M.; Vrandecic, D.: Semantic Wikipedia (2009) 0.92 
    0.9222984 = sum of:
  0.9222984 = product of:
    2.766895 = sum of:
      2.766895 = weight(author_txt:krötzsch in 1875) [ClassicSimilarity], result of:
        2.766895 = score(doc=1875,freq=1.0), product of:
          0.577432 = queryWeight, product of:
            1.0343717 = boost
            9.583449 = idf(docFreq=7, maxDocs=42740)
            0.058250856 = queryNorm
          4.7917247 = fieldWeight in 1875, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.583449 = idf(docFreq=7, maxDocs=42740)
            0.5 = fieldNorm(doc=1875)
    0.33333334 = coord(1/3)

Similar documents (content)

  1. McGuinness, D.L.: Conceptual modeling for distributed ontology environments (2000) 0.27 
    0.272771 = sum of:
  0.272771 = product of:
    0.85240936 = sum of:
      0.06604885 = weight(abstract_txt:draw in 6074) [ClassicSimilarity], result of:
        0.06604885 = score(doc=6074,freq=1.0), product of:
          0.15314086 = queryWeight, product of:
            1.0267017 = boost
            6.900717 = idf(docFreq=116, maxDocs=42740)
            0.021614868 = queryNorm
          0.4312948 = fieldWeight in 6074, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.900717 = idf(docFreq=116, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
      0.08657082 = weight(abstract_txt:merging in 6074) [ClassicSimilarity], result of:
        0.08657082 = score(doc=6074,freq=1.0), product of:
          0.18341236 = queryWeight, product of:
            1.1236033 = boost
            7.5520167 = idf(docFreq=60, maxDocs=42740)
            0.021614868 = queryNorm
          0.47200105 = fieldWeight in 6074, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.5520167 = idf(docFreq=60, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
      0.08892422 = weight(abstract_txt:backgrounds in 6074) [ClassicSimilarity], result of:
        0.08892422 = score(doc=6074,freq=1.0), product of:
          0.18672146 = queryWeight, product of:
            1.133694 = boost
            7.619839 = idf(docFreq=56, maxDocs=42740)
            0.021614868 = queryNorm
          0.47623995 = fieldWeight in 6074, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.619839 = idf(docFreq=56, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
      0.062357165 = weight(abstract_txt:knowledge in 6074) [ClassicSimilarity], result of:
        0.062357165 = score(doc=6074,freq=5.0), product of:
          0.12430508 = queryWeight, product of:
            1.6021523 = boost
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.021614868 = queryNorm
          0.50164616 = fieldWeight in 6074, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
      0.03487294 = weight(abstract_txt:from in 6074) [ClassicSimilarity], result of:
        0.03487294 = score(doc=6074,freq=4.0), product of:
          0.1000399 = queryWeight, product of:
            1.6596457 = boost
            2.7887225 = idf(docFreq=7144, maxDocs=42740)
            0.021614868 = queryNorm
          0.3485903 = fieldWeight in 6074, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            2.7887225 = idf(docFreq=7144, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
      0.20008437 = weight(abstract_txt:ontologies in 6074) [ClassicSimilarity], result of:
        0.20008437 = score(doc=6074,freq=6.0), product of:
          0.222305 = queryWeight, product of:
            1.7493969 = boost
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.021614868 = queryNorm
          0.90004444 = fieldWeight in 6074, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
      0.15125912 = weight(abstract_txt:reasoning in 6074) [ClassicSimilarity], result of:
        0.15125912 = score(doc=6074,freq=2.0), product of:
          0.26606962 = queryWeight, product of:
            1.9138653 = boost
            6.431782 = idf(docFreq=186, maxDocs=42740)
            0.021614868 = queryNorm
          0.56849456 = fieldWeight in 6074, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.431782 = idf(docFreq=186, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
      0.16229188 = weight(abstract_txt:distributed in 6074) [ClassicSimilarity], result of:
        0.16229188 = score(doc=6074,freq=2.0), product of:
          0.31920952 = queryWeight, product of:
            2.5674222 = boost
            5.752094 = idf(docFreq=368, maxDocs=42740)
            0.021614868 = queryNorm
          0.5084181 = fieldWeight in 6074, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.752094 = idf(docFreq=368, maxDocs=42740)
            0.0625 = fieldNorm(doc=6074)
    0.32 = coord(8/25)
  2. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.23 
    0.22834384 = sum of:
  0.22834384 = product of:
    0.63428843 = sum of:
      0.0856369 = weight(abstract_txt:inference in 1692) [ClassicSimilarity], result of:
        0.0856369 = score(doc=1692,freq=2.0), product of:
          0.15798147 = queryWeight, product of:
            1.0428019 = boost
            7.00893 = idf(docFreq=104, maxDocs=42740)
            0.021614868 = queryNorm
          0.54206926 = fieldWeight in 1692, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.00893 = idf(docFreq=104, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.026637737 = weight(abstract_txt:which in 1692) [ClassicSimilarity], result of:
        0.026637737 = score(doc=1692,freq=4.0), product of:
          0.08302218 = queryWeight, product of:
            1.309352 = boost
            2.9334934 = idf(docFreq=6181, maxDocs=42740)
            0.021614868 = queryNorm
          0.32085085 = fieldWeight in 1692, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            2.9334934 = idf(docFreq=6181, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.033725657 = weight(abstract_txt:theory in 1692) [ClassicSimilarity], result of:
        0.033725657 = score(doc=1692,freq=1.0), product of:
          0.13473873 = queryWeight, product of:
            1.3619462 = boost
            4.576989 = idf(docFreq=1194, maxDocs=42740)
            0.021614868 = queryNorm
          0.2503041 = fieldWeight in 1692, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.576989 = idf(docFreq=1194, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.035032406 = weight(abstract_txt:research in 1692) [ClassicSimilarity], result of:
        0.035032406 = score(doc=1692,freq=4.0), product of:
          0.09965733 = queryWeight, product of:
            1.4345443 = boost
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.021614868 = queryNorm
          0.35152864 = fieldWeight in 1692, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.0244011 = weight(abstract_txt:knowledge in 1692) [ClassicSimilarity], result of:
        0.0244011 = score(doc=1692,freq=1.0), product of:
          0.12430508 = queryWeight, product of:
            1.6021523 = boost
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.021614868 = queryNorm
          0.1963001 = fieldWeight in 1692, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.02157653 = weight(abstract_txt:from in 1692) [ClassicSimilarity], result of:
        0.02157653 = score(doc=1692,freq=2.0), product of:
          0.1000399 = queryWeight, product of:
            1.6596457 = boost
            2.7887225 = idf(docFreq=7144, maxDocs=42740)
            0.021614868 = queryNorm
          0.21567924 = fieldWeight in 1692, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            2.7887225 = idf(docFreq=7144, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.07147359 = weight(abstract_txt:ontologies in 1692) [ClassicSimilarity], result of:
        0.07147359 = score(doc=1692,freq=1.0), product of:
          0.222305 = queryWeight, product of:
            1.7493969 = boost
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.021614868 = queryNorm
          0.3215114 = fieldWeight in 1692, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.09358682 = weight(abstract_txt:reasoning in 1692) [ClassicSimilarity], result of:
        0.09358682 = score(doc=1692,freq=1.0), product of:
          0.26606962 = queryWeight, product of:
            1.9138653 = boost
            6.431782 = idf(docFreq=186, maxDocs=42740)
            0.021614868 = queryNorm
          0.35173807 = fieldWeight in 1692, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.431782 = idf(docFreq=186, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
      0.24221773 = weight(abstract_txt:paradigms in 1692) [ClassicSimilarity], result of:
        0.24221773 = score(doc=1692,freq=4.0), product of:
          0.31596294 = queryWeight, product of:
            2.0856037 = boost
            7.00893 = idf(docFreq=104, maxDocs=42740)
            0.021614868 = queryNorm
          0.76660174 = fieldWeight in 1692, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            7.00893 = idf(docFreq=104, maxDocs=42740)
            0.0546875 = fieldNorm(doc=1692)
    0.36 = coord(9/25)
  3. Choi, N.; Song, I.-Y.; Han, H.: ¬A survey on ontology mapping 0.21 
    0.20983712 = sum of:
  0.20983712 = product of:
    0.87432134 = sum of:
      0.029002383 = weight(abstract_txt:been in 2171) [ClassicSimilarity], result of:
        0.029002383 = score(doc=2171,freq=1.0), product of:
          0.08506531 = queryWeight, product of:
            1.0821563 = boost
            3.6367204 = idf(docFreq=3059, maxDocs=42740)
            0.021614868 = queryNorm
          0.34094253 = fieldWeight in 2171, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.6367204 = idf(docFreq=3059, maxDocs=42740)
            0.09375 = fieldNorm(doc=2171)
      0.042465687 = weight(abstract_txt:research in 2171) [ClassicSimilarity], result of:
        0.042465687 = score(doc=2171,freq=2.0), product of:
          0.09965733 = queryWeight, product of:
            1.4345443 = boost
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.021614868 = queryNorm
          0.42611706 = fieldWeight in 2171, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.09375 = fieldNorm(doc=2171)
      0.29715046 = weight(abstract_txt:ontology in 2171) [ClassicSimilarity], result of:
        0.29715046 = score(doc=2171,freq=8.0), product of:
          0.20064007 = queryWeight, product of:
            1.6619676 = boost
            5.5852485 = idf(docFreq=435, maxDocs=42740)
            0.021614868 = queryNorm
          1.4810126 = fieldWeight in 2171, product of:
            2.828427 = tf(freq=8.0), with freq of:
              8.0 = termFreq=8.0
            5.5852485 = idf(docFreq=435, maxDocs=42740)
            0.09375 = fieldNorm(doc=2171)
      0.12252615 = weight(abstract_txt:ontologies in 2171) [ClassicSimilarity], result of:
        0.12252615 = score(doc=2171,freq=1.0), product of:
          0.222305 = queryWeight, product of:
            1.7493969 = boost
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.021614868 = queryNorm
          0.55116236 = fieldWeight in 2171, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.09375 = fieldNorm(doc=2171)
      0.2110401 = weight(abstract_txt:category in 2171) [ClassicSimilarity], result of:
        0.2110401 = score(doc=2171,freq=2.0), product of:
          0.25353038 = queryWeight, product of:
            1.8682232 = boost
            6.2783957 = idf(docFreq=217, maxDocs=42740)
            0.021614868 = queryNorm
          0.8324055 = fieldWeight in 2171, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.2783957 = idf(docFreq=217, maxDocs=42740)
            0.09375 = fieldNorm(doc=2171)
      0.17213653 = weight(abstract_txt:distributed in 2171) [ClassicSimilarity], result of:
        0.17213653 = score(doc=2171,freq=1.0), product of:
          0.31920952 = queryWeight, product of:
            2.5674222 = boost
            5.752094 = idf(docFreq=368, maxDocs=42740)
            0.021614868 = queryNorm
          0.5392588 = fieldWeight in 2171, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.752094 = idf(docFreq=368, maxDocs=42740)
            0.09375 = fieldNorm(doc=2171)
    0.24 = coord(6/25)
  4. Herre, H.: Formal ontology and the foundation of knowledge organization (2013) 0.21 
    0.2096355 = sum of:
  0.2096355 = product of:
    0.65511096 = sum of:
      0.06580477 = weight(abstract_txt:recognized in 2777) [ClassicSimilarity], result of:
        0.06580477 = score(doc=2777,freq=1.0), product of:
          0.15276334 = queryWeight, product of:
            1.0254354 = boost
            6.8922057 = idf(docFreq=117, maxDocs=42740)
            0.021614868 = queryNorm
          0.43076286 = fieldWeight in 2777, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.8922057 = idf(docFreq=117, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
      0.015221563 = weight(abstract_txt:which in 2777) [ClassicSimilarity], result of:
        0.015221563 = score(doc=2777,freq=1.0), product of:
          0.08302218 = queryWeight, product of:
            1.309352 = boost
            2.9334934 = idf(docFreq=6181, maxDocs=42740)
            0.021614868 = queryNorm
          0.18334334 = fieldWeight in 2777, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            2.9334934 = idf(docFreq=6181, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
      0.038543608 = weight(abstract_txt:theory in 2777) [ClassicSimilarity], result of:
        0.038543608 = score(doc=2777,freq=1.0), product of:
          0.13473873 = queryWeight, product of:
            1.3619462 = boost
            4.576989 = idf(docFreq=1194, maxDocs=42740)
            0.021614868 = queryNorm
          0.28606182 = fieldWeight in 2777, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.576989 = idf(docFreq=1194, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
      0.020018516 = weight(abstract_txt:research in 2777) [ClassicSimilarity], result of:
        0.020018516 = score(doc=2777,freq=1.0), product of:
          0.09965733 = queryWeight, product of:
            1.4345443 = boost
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.021614868 = queryNorm
          0.20087351 = fieldWeight in 2777, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
      0.06830885 = weight(abstract_txt:knowledge in 2777) [ClassicSimilarity], result of:
        0.06830885 = score(doc=2777,freq=6.0), product of:
          0.12430508 = queryWeight, product of:
            1.6021523 = boost
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.021614868 = queryNorm
          0.54952586 = fieldWeight in 2777, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
      0.18530588 = weight(abstract_txt:ontology in 2777) [ClassicSimilarity], result of:
        0.18530588 = score(doc=2777,freq=7.0), product of:
          0.20064007 = queryWeight, product of:
            1.6619676 = boost
            5.5852485 = idf(docFreq=435, maxDocs=42740)
            0.021614868 = queryNorm
          0.9235736 = fieldWeight in 2777, product of:
            2.6457512 = tf(freq=7.0), with freq of:
              7.0 = termFreq=7.0
            5.5852485 = idf(docFreq=435, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
      0.11551876 = weight(abstract_txt:ontologies in 2777) [ClassicSimilarity], result of:
        0.11551876 = score(doc=2777,freq=2.0), product of:
          0.222305 = queryWeight, product of:
            1.7493969 = boost
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.021614868 = queryNorm
          0.51964086 = fieldWeight in 2777, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
      0.14638898 = weight(abstract_txt:specifications in 2777) [ClassicSimilarity], result of:
        0.14638898 = score(doc=2777,freq=1.0), product of:
          0.3279919 = queryWeight, product of:
            2.1249332 = boost
            7.141102 = idf(docFreq=91, maxDocs=42740)
            0.021614868 = queryNorm
          0.44631886 = fieldWeight in 2777, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.141102 = idf(docFreq=91, maxDocs=42740)
            0.0625 = fieldNorm(doc=2777)
    0.32 = coord(8/25)
  5. Herre, H.: General Formal Ontology (GFO) : a foundational ontology for conceptual modelling (2010) 0.20 
    0.2019931 = sum of:
  0.2019931 = product of:
    0.63122845 = sum of:
      0.049353577 = weight(abstract_txt:recognized in 2772) [ClassicSimilarity], result of:
        0.049353577 = score(doc=2772,freq=1.0), product of:
          0.15276334 = queryWeight, product of:
            1.0254354 = boost
            6.8922057 = idf(docFreq=117, maxDocs=42740)
            0.021614868 = queryNorm
          0.32307214 = fieldWeight in 2772, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.8922057 = idf(docFreq=117, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
      0.025527338 = weight(abstract_txt:which in 2772) [ClassicSimilarity], result of:
        0.025527338 = score(doc=2772,freq=5.0), product of:
          0.08302218 = queryWeight, product of:
            1.309352 = boost
            2.9334934 = idf(docFreq=6181, maxDocs=42740)
            0.021614868 = queryNorm
          0.30747613 = fieldWeight in 2772, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            2.9334934 = idf(docFreq=6181, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
      0.028907705 = weight(abstract_txt:theory in 2772) [ClassicSimilarity], result of:
        0.028907705 = score(doc=2772,freq=1.0), product of:
          0.13473873 = queryWeight, product of:
            1.3619462 = boost
            4.576989 = idf(docFreq=1194, maxDocs=42740)
            0.021614868 = queryNorm
          0.21454637 = fieldWeight in 2772, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.576989 = idf(docFreq=1194, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
      0.026004815 = weight(abstract_txt:research in 2772) [ClassicSimilarity], result of:
        0.026004815 = score(doc=2772,freq=3.0), product of:
          0.09965733 = queryWeight, product of:
            1.4345443 = boost
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.021614868 = queryNorm
          0.26094234 = fieldWeight in 2772, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.2139761 = idf(docFreq=4669, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
      0.05533649 = weight(abstract_txt:knowledge in 2772) [ClassicSimilarity], result of:
        0.05533649 = score(doc=2772,freq=7.0), product of:
          0.12430508 = queryWeight, product of:
            1.6021523 = boost
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.021614868 = queryNorm
          0.44516677 = fieldWeight in 2772, product of:
            2.6457512 = tf(freq=7.0), with freq of:
              7.0 = termFreq=7.0
            3.5894876 = idf(docFreq=3207, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
      0.1742199 = weight(abstract_txt:ontology in 2772) [ClassicSimilarity], result of:
        0.1742199 = score(doc=2772,freq=11.0), product of:
          0.20064007 = queryWeight, product of:
            1.6619676 = boost
            5.5852485 = idf(docFreq=435, maxDocs=42740)
            0.021614868 = queryNorm
          0.86832064 = fieldWeight in 2772, product of:
            3.3166249 = tf(freq=11.0), with freq of:
              11.0 = termFreq=11.0
            5.5852485 = idf(docFreq=435, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
      0.16208686 = weight(abstract_txt:ontologies in 2772) [ClassicSimilarity], result of:
        0.16208686 = score(doc=2772,freq=7.0), product of:
          0.222305 = queryWeight, product of:
            1.7493969 = boost
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.021614868 = queryNorm
          0.7291193 = fieldWeight in 2772, product of:
            2.6457512 = tf(freq=7.0), with freq of:
              7.0 = termFreq=7.0
            5.8790655 = idf(docFreq=324, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
      0.10979173 = weight(abstract_txt:specifications in 2772) [ClassicSimilarity], result of:
        0.10979173 = score(doc=2772,freq=1.0), product of:
          0.3279919 = queryWeight, product of:
            2.1249332 = boost
            7.141102 = idf(docFreq=91, maxDocs=42740)
            0.021614868 = queryNorm
          0.33473915 = fieldWeight in 2772, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.141102 = idf(docFreq=91, maxDocs=42740)
            0.046875 = fieldNorm(doc=2772)
    0.32 = coord(8/25)