Document (#41539)

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.17

   5.1747313 = sum of:
     5.1747313 = sum of:
       1.5877388 = weight(author_txt:sure in 1358) [ClassicSimilarity], result of:
         1.5877388 = score(doc=1358,freq=1.0), product of:
           0.5461089 = queryWeight, product of:
             9.303573 = idf(docFreq=10, maxDocs=44421)
             0.058698837 = queryNorm
           2.9073665 = fieldWeight in 1358, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.303573 = idf(docFreq=10, maxDocs=44421)
             0.3125 = fieldNorm(doc=1358)
       1.7564241 = weight(author_txt:krötzsch in 1358) [ClassicSimilarity], result of:
         1.7564241 = score(doc=1358,freq=1.0), product of:
           0.58413446 = queryWeight, product of:
             1.0342292 = boost
             9.622026 = idf(docFreq=7, maxDocs=44421)
             0.058698837 = queryNorm
           3.0068831 = fieldWeight in 1358, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.622026 = idf(docFreq=7, maxDocs=44421)
             0.3125 = fieldNorm(doc=1358)
       1.8305686 = weight(author_txt:hitzler in 1358) [ClassicSimilarity], result of:
         1.8305686 = score(doc=1358,freq=1.0), product of:
           0.60045975 = queryWeight, product of:
             1.0485818 = boost
             9.755557 = idf(docFreq=6, maxDocs=44421)
             0.058698837 = queryNorm
           3.0486116 = fieldWeight in 1358, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             9.755557 = idf(docFreq=6, maxDocs=44421)
             0.3125 = fieldNorm(doc=1358)
   

2. Hitzler, P.; Krötzsch, M.; Rudolph, S.: Foundations of Semantic Web technologies (2010) 2.87

   2.869594 = sum of:
     2.869594 = product of:
       4.304391 = sum of:
         2.107709 = weight(author_txt:krötzsch in 1359) [ClassicSimilarity], result of:
           2.107709 = score(doc=1359,freq=1.0), product of:
             0.58413446 = queryWeight, product of:
               1.0342292 = boost
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.058698837 = queryNorm
             3.60826 = fieldWeight in 1359, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.375 = fieldNorm(doc=1359)
         2.1966822 = weight(author_txt:hitzler in 1359) [ClassicSimilarity], result of:
           2.1966822 = score(doc=1359,freq=1.0), product of:
             0.60045975 = queryWeight, product of:
               1.0485818 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.058698837 = queryNorm
             3.6583338 = fieldWeight in 1359, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.375 = fieldNorm(doc=1359)
       0.6666667 = coord(2/3)
   

3. Krötzsch, J.: ¬Das Gelbe Haus Schotten (1992) 1.17

   1.1709495 = sum of:
     1.1709495 = product of:
       3.5128481 = sum of:
         3.5128481 = weight(author_txt:krötzsch in 1796) [ClassicSimilarity], result of:
           3.5128481 = score(doc=1796,freq=1.0), product of:
             0.58413446 = queryWeight, product of:
               1.0342292 = boost
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.058698837 = queryNorm
             6.0137663 = fieldWeight in 1796, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.622026 = idf(docFreq=7, maxDocs=44421)
               0.625 = fieldNorm(doc=1796)
       0.33333334 = coord(1/3)
   

4. Hitzler, P.; Janowicz, K.: Ontologies in a data driven world : finding the middle ground (2013) 0.98

   0.9763033 = sum of:
     0.9763033 = product of:
       2.9289098 = sum of:
         2.9289098 = weight(author_txt:hitzler in 1803) [ClassicSimilarity], result of:
           2.9289098 = score(doc=1803,freq=1.0), product of:
             0.60045975 = queryWeight, product of:
               1.0485818 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.058698837 = queryNorm
             4.8777785 = fieldWeight in 1803, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.5 = fieldNorm(doc=1803)
       0.33333334 = coord(1/3)
   

5. Shimizu, C.; Hitzler, P.: Accelerating knowledge graph and ontology engineering with Large Language Models (2024) 0.98

   0.9763033 = sum of:
     0.9763033 = product of:
       2.9289098 = sum of:
         2.9289098 = weight(author_txt:hitzler in 2382) [ClassicSimilarity], result of:
           2.9289098 = score(doc=2382,freq=1.0), product of:
             0.60045975 = queryWeight, product of:
               1.0485818 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.058698837 = queryNorm
             4.8777785 = fieldWeight in 2382, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.5 = fieldNorm(doc=2382)
       0.33333334 = coord(1/3)
   

Similar documents (content)

1. McGuinness, D.L.: Conceptual modeling for distributed ontology environments (2000) 0.27

   0.27077305 = sum of:
     0.27077305 = product of:
       0.84616584 = sum of:
         0.06531321 = weight(abstract_txt:draw in 6073) [ClassicSimilarity], result of:
           0.06531321 = score(doc=6073,freq=1.0), product of:
             0.15256895 = queryWeight, product of:
               1.0237049 = boost
               6.849437 = idf(docFreq=127, maxDocs=44421)
               0.021758879 = queryNorm
             0.42808983 = fieldWeight in 6073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.849437 = idf(docFreq=127, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.08721616 = weight(abstract_txt:merging in 6073) [ClassicSimilarity], result of:
           0.08721616 = score(doc=6073,freq=1.0), product of:
             0.18501067 = queryWeight, product of:
               1.1273015 = boost
               7.5425844 = idf(docFreq=63, maxDocs=44421)
               0.021758879 = queryNorm
             0.47141153 = fieldWeight in 6073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.5425844 = idf(docFreq=63, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.09067576 = weight(abstract_txt:backgrounds in 6073) [ClassicSimilarity], result of:
           0.09067576 = score(doc=6073,freq=1.0), product of:
             0.18987142 = queryWeight, product of:
               1.1420141 = boost
               7.6410246 = idf(docFreq=57, maxDocs=44421)
               0.021758879 = queryNorm
             0.47756404 = fieldWeight in 6073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.6410246 = idf(docFreq=57, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.06081394 = weight(abstract_txt:knowledge in 6073) [ClassicSimilarity], result of:
           0.06081394 = score(doc=6073,freq=5.0), product of:
             0.122701906 = queryWeight, product of:
               1.5901129 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.021758879 = 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.03416409 = weight(abstract_txt:from in 6073) [ClassicSimilarity], result of:
           0.03416409 = score(doc=6073,freq=4.0), product of:
             0.09904792 = queryWeight, product of:
               1.6496596 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.021758879 = queryNorm
             0.34492487 = fieldWeight in 6073, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.19610819 = weight(abstract_txt:ontologies in 6073) [ClassicSimilarity], result of:
           0.19610819 = score(doc=6073,freq=6.0), product of:
             0.22016867 = queryWeight, product of:
               1.7391396 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.021758879 = queryNorm
             0.890718 = fieldWeight in 6073, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.14651605 = weight(abstract_txt:reasoning in 6073) [ClassicSimilarity], result of:
           0.14651605 = score(doc=6073,freq=2.0), product of:
             0.26145017 = queryWeight, product of:
               1.895183 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.021758879 = queryNorm
             0.5603976 = fieldWeight in 6073, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.16535835 = weight(abstract_txt:distributed in 6073) [ClassicSimilarity], result of:
           0.16535835 = score(doc=6073,freq=2.0), product of:
             0.32442424 = queryWeight, product of:
               2.5855858 = boost
               5.7665734 = idf(docFreq=377, maxDocs=44421)
               0.021758879 = queryNorm
             0.5096979 = fieldWeight in 6073, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.7665734 = idf(docFreq=377, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
       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.22

   0.22212125 = sum of:
     0.22212125 = product of:
       0.61700344 = sum of:
         0.08312716 = weight(abstract_txt:inference in 1691) [ClassicSimilarity], result of:
           0.08312716 = score(doc=1691,freq=2.0), product of:
             0.15545765 = queryWeight, product of:
               1.0333507 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.021758879 = queryNorm
             0.5347255 = fieldWeight in 1691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.026397943 = weight(abstract_txt:which in 1691) [ClassicSimilarity], result of:
           0.026397943 = score(doc=1691,freq=4.0), product of:
             0.08283119 = queryWeight, product of:
               1.3064694 = boost
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.021758879 = queryNorm
             0.3186957 = fieldWeight in 1691, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.033060897 = weight(abstract_txt:theory in 1691) [ClassicSimilarity], result of:
           0.033060897 = score(doc=1691,freq=1.0), product of:
             0.13345858 = queryWeight, product of:
               1.3540351 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.021758879 = queryNorm
             0.24772403 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.033657707 = weight(abstract_txt:research in 1691) [ClassicSimilarity], result of:
           0.033657707 = score(doc=1691,freq=4.0), product of:
             0.09739504 = queryWeight, product of:
               1.4166766 = boost
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.021758879 = queryNorm
             0.34557927 = fieldWeight in 1691, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.02379722 = weight(abstract_txt:knowledge in 1691) [ClassicSimilarity], result of:
           0.02379722 = score(doc=1691,freq=1.0), product of:
             0.122701906 = queryWeight, product of:
               1.5901129 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.021758879 = queryNorm
             0.19394335 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.021137951 = weight(abstract_txt:from in 1691) [ClassicSimilarity], result of:
           0.021137951 = score(doc=1691,freq=2.0), product of:
             0.09904792 = queryWeight, product of:
               1.6496596 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.021758879 = queryNorm
             0.21341136 = fieldWeight in 1691, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.07005323 = weight(abstract_txt:ontologies in 1691) [ClassicSimilarity], result of:
           0.07005323 = score(doc=1691,freq=1.0), product of:
             0.22016867 = queryWeight, product of:
               1.7391396 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.021758879 = queryNorm
             0.31817982 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.09065219 = weight(abstract_txt:reasoning in 1691) [ClassicSimilarity], result of:
           0.09065219 = score(doc=1691,freq=1.0), product of:
             0.26145017 = queryWeight, product of:
               1.895183 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.021758879 = queryNorm
             0.34672835 = fieldWeight in 1691, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
         0.23511915 = weight(abstract_txt:paradigms in 1691) [ClassicSimilarity], result of:
           0.23511915 = score(doc=1691,freq=4.0), product of:
             0.3109153 = queryWeight, product of:
               2.0667014 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.021758879 = queryNorm
             0.7562161 = fieldWeight in 1691, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1691)
       0.36 = coord(9/25)
   

3. Choi, N.; Song, I.-Y.; Han, H.: ¬A survey on ontology mapping 0.21

   0.2078039 = sum of:
     0.2078039 = product of:
       0.8658496 = sum of:
         0.02879264 = weight(abstract_txt:been in 1170) [ClassicSimilarity], result of:
           0.02879264 = score(doc=1170,freq=1.0), product of:
             0.084970646 = queryWeight, product of:
               1.0804163 = boost
               3.614442 = idf(docFreq=3251, maxDocs=44421)
               0.021758879 = queryNorm
             0.33885396 = fieldWeight in 1170, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.614442 = idf(docFreq=3251, maxDocs=44421)
               0.09375 = fieldNorm(doc=1170)
         0.040799305 = weight(abstract_txt:research in 1170) [ClassicSimilarity], result of:
           0.040799305 = score(doc=1170,freq=2.0), product of:
             0.09739504 = queryWeight, product of:
               1.4166766 = boost
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.021758879 = queryNorm
             0.41890535 = fieldWeight in 1170, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.09375 = fieldNorm(doc=1170)
         0.2906372 = weight(abstract_txt:ontology in 1170) [ClassicSimilarity], result of:
           0.2906372 = score(doc=1170,freq=8.0), product of:
             0.19843522 = queryWeight, product of:
               1.6510721 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.021758879 = queryNorm
             1.4646453 = fieldWeight in 1170, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.09375 = fieldNorm(doc=1170)
         0.120091245 = weight(abstract_txt:ontologies in 1170) [ClassicSimilarity], result of:
           0.120091245 = score(doc=1170,freq=1.0), product of:
             0.22016867 = queryWeight, product of:
               1.7391396 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.021758879 = queryNorm
             0.5454511 = fieldWeight in 1170, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.09375 = fieldNorm(doc=1170)
         0.2101402 = weight(abstract_txt:category in 1170) [ClassicSimilarity], result of:
           0.2101402 = score(doc=1170,freq=2.0), product of:
             0.2537527 = queryWeight, product of:
               1.8670762 = boost
               6.2461467 = idf(docFreq=233, maxDocs=44421)
               0.021758879 = queryNorm
             0.8281299 = fieldWeight in 1170, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2461467 = idf(docFreq=233, maxDocs=44421)
               0.09375 = fieldNorm(doc=1170)
         0.17538902 = weight(abstract_txt:distributed in 1170) [ClassicSimilarity], result of:
           0.17538902 = score(doc=1170,freq=1.0), product of:
             0.32442424 = queryWeight, product of:
               2.5855858 = boost
               5.7665734 = idf(docFreq=377, maxDocs=44421)
               0.021758879 = queryNorm
             0.5406163 = fieldWeight in 1170, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7665734 = idf(docFreq=377, maxDocs=44421)
               0.09375 = fieldNorm(doc=1170)
       0.24 = coord(6/25)
   

4. Herre, H.: Formal ontology and the foundation of knowledge organization (2013) 0.21

   0.20646296 = sum of:
     0.20646296 = product of:
       0.6451968 = sum of:
         0.06422317 = weight(abstract_txt:recognized in 1776) [ClassicSimilarity], result of:
           0.06422317 = score(doc=1776,freq=1.0), product of:
             0.15086666 = queryWeight, product of:
               1.0179778 = boost
               6.8111186 = idf(docFreq=132, maxDocs=44421)
               0.021758879 = queryNorm
             0.4256949 = fieldWeight in 1776, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8111186 = idf(docFreq=132, maxDocs=44421)
               0.0625 = fieldNorm(doc=1776)
         0.01508454 = weight(abstract_txt:which in 1776) [ClassicSimilarity], result of:
           0.01508454 = score(doc=1776,freq=1.0), product of:
             0.08283119 = queryWeight, product of:
               1.3064694 = boost
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.021758879 = queryNorm
             0.18211183 = fieldWeight in 1776, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.0625 = fieldNorm(doc=1776)
         0.037783884 = weight(abstract_txt:theory in 1776) [ClassicSimilarity], result of:
           0.037783884 = score(doc=1776,freq=1.0), product of:
             0.13345858 = queryWeight, product of:
               1.3540351 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.021758879 = queryNorm
             0.28311318 = fieldWeight in 1776, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0625 = fieldNorm(doc=1776)
         0.019232975 = weight(abstract_txt:research in 1776) [ClassicSimilarity], result of:
           0.019232975 = score(doc=1776,freq=1.0), product of:
             0.09739504 = queryWeight, product of:
               1.4166766 = boost
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.021758879 = queryNorm
             0.19747387 = fieldWeight in 1776, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.0625 = fieldNorm(doc=1776)
         0.06661833 = weight(abstract_txt:knowledge in 1776) [ClassicSimilarity], result of:
           0.06661833 = score(doc=1776,freq=6.0), product of:
             0.122701906 = queryWeight, product of:
               1.5901129 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.021758879 = queryNorm
             0.5429283 = fieldWeight in 1776, 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=1776)
         0.18124413 = weight(abstract_txt:ontology in 1776) [ClassicSimilarity], result of:
           0.18124413 = score(doc=1776,freq=7.0), product of:
             0.19843522 = queryWeight, product of:
               1.6510721 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.021758879 = queryNorm
             0.9133668 = fieldWeight in 1776, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0625 = fieldNorm(doc=1776)
         0.11322311 = weight(abstract_txt:ontologies in 1776) [ClassicSimilarity], result of:
           0.11322311 = score(doc=1776,freq=2.0), product of:
             0.22016867 = queryWeight, product of:
               1.7391396 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.021758879 = queryNorm
             0.51425624 = fieldWeight in 1776, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.0625 = fieldNorm(doc=1776)
         0.14778666 = weight(abstract_txt:specifications in 1776) [ClassicSimilarity], result of:
           0.14778666 = score(doc=1776,freq=1.0), product of:
             0.33130828 = queryWeight, product of:
               2.1334026 = boost
               7.1371193 = idf(docFreq=95, maxDocs=44421)
               0.021758879 = queryNorm
             0.44606996 = fieldWeight in 1776, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1371193 = idf(docFreq=95, maxDocs=44421)
               0.0625 = fieldNorm(doc=1776)
       0.32 = coord(8/25)
   

5. Herre, H.: General Formal Ontology (GFO) : a foundational ontology for conceptual modelling (2010) 0.20

   0.19867557 = sum of:
     0.19867557 = product of:
       0.6208612 = sum of:
         0.048167374 = weight(abstract_txt:recognized in 1771) [ClassicSimilarity], result of:
           0.048167374 = score(doc=1771,freq=1.0), product of:
             0.15086666 = queryWeight, product of:
               1.0179778 = boost
               6.8111186 = idf(docFreq=132, maxDocs=44421)
               0.021758879 = queryNorm
             0.31927118 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8111186 = idf(docFreq=132, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.025297543 = weight(abstract_txt:which in 1771) [ClassicSimilarity], result of:
           0.025297543 = score(doc=1771,freq=5.0), product of:
             0.08283119 = queryWeight, product of:
               1.3064694 = boost
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.021758879 = queryNorm
             0.30541083 = fieldWeight in 1771, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               2.9137893 = idf(docFreq=6552, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.028337913 = weight(abstract_txt:theory in 1771) [ClassicSimilarity], result of:
           0.028337913 = score(doc=1771,freq=1.0), product of:
             0.13345858 = queryWeight, product of:
               1.3540351 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.021758879 = queryNorm
             0.21233489 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.024984365 = weight(abstract_txt:research in 1771) [ClassicSimilarity], result of:
           0.024984365 = score(doc=1771,freq=3.0), product of:
             0.09739504 = queryWeight, product of:
               1.4166766 = boost
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.021758879 = queryNorm
             0.25652605 = fieldWeight in 1771, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.159582 = idf(docFreq=5124, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.053967014 = weight(abstract_txt:knowledge in 1771) [ClassicSimilarity], result of:
           0.053967014 = score(doc=1771,freq=7.0), product of:
             0.122701906 = queryWeight, product of:
               1.5901129 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.021758879 = queryNorm
             0.43982214 = fieldWeight in 1771, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.17040117 = weight(abstract_txt:ontology in 1771) [ClassicSimilarity], result of:
           0.17040117 = score(doc=1771,freq=11.0), product of:
             0.19843522 = queryWeight, product of:
               1.6510721 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.021758879 = queryNorm
             0.8587244 = fieldWeight in 1771, product of:
               3.3166249 = tf(freq=11.0), with freq of:
                 11.0 = termFreq=11.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.15886578 = weight(abstract_txt:ontologies in 1771) [ClassicSimilarity], result of:
           0.15886578 = score(doc=1771,freq=7.0), product of:
             0.22016867 = queryWeight, product of:
               1.7391396 = boost
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.021758879 = queryNorm
             0.721564 = fieldWeight in 1771, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               5.8181453 = idf(docFreq=358, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.11084 = weight(abstract_txt:specifications in 1771) [ClassicSimilarity], result of:
           0.11084 = score(doc=1771,freq=1.0), product of:
             0.33130828 = queryWeight, product of:
               2.1334026 = boost
               7.1371193 = idf(docFreq=95, maxDocs=44421)
               0.021758879 = queryNorm
             0.33455247 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1371193 = idf(docFreq=95, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
       0.32 = coord(8/25)