Document (#43978)

Author

Guizzardi, G.
Guarino, N.

Title

Semantics, ontology and explanation

Issue

[21. April 2023].

Source

https://arXiv:2304.11124v1

Year

2023

Abstract

The terms 'semantics' and 'ontology' are increasingly appearing together with 'explanation', not only in the scientific literature, but also in organizational communication. However, all of these terms are also being significantly overloaded. In this paper, we discuss their strong relation under particular interpretations. Specifically, we discuss a notion of explanation termed ontological unpacking, which aims at explaining symbolic domain descriptions (conceptual models, knowledge graphs, logical specifications) by revealing their ontological commitment in terms of their assumed truthmakers, i.e., the entities in one's ontology that make the propositions in those descriptions true. To illustrate this idea, we employ an ontological theory of relations to explain (by revealing the hidden semantics of) a very simple symbolic model encoded in the standard modeling language UML. We also discuss the essential role played by ontology-driven conceptual models (resulting from this form of explanation processes) in properly supporting semantic interoperability tasks. Finally, we discuss the relation between ontological unpacking and other forms of explanation in philosophy and science, as well as in the area of Artificial Intelligence.

Content

Vgl.: https://www.researchgate.net/publication/370213183_Semantics_Ontology_and_Explanation.

Theme

Wissensrepräsentation

Similar documents (author)

1. Guarino, N.: Formal ontology, conceptual analysis and knowledge representation (1995) 6.19

   6.190705 = sum of:
     6.190705 = weight(author_txt:guarino in 4745) [ClassicSimilarity], result of:
       6.190705 = fieldWeight in 4745, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.625 = fieldNorm(doc=4745)
   

2. Guarino, N.: Understanding, building and using ontologies (1997) 6.19

   6.190705 = sum of:
     6.190705 = weight(author_txt:guarino in 3262) [ClassicSimilarity], result of:
       6.190705 = fieldWeight in 3262, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.625 = fieldNorm(doc=3262)
   

3. Guarino, N.; Welty, C.: Identity and subsumption (2002) 4.95

   4.952564 = sum of:
     4.952564 = weight(author_txt:guarino in 1195) [ClassicSimilarity], result of:
       4.952564 = fieldWeight in 1195, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.5 = fieldNorm(doc=1195)
   

4. Guarino, N.; Masolo, C.; Vetere, G.: OntoSeek : content-based access to the Web (1999) 3.71

   3.7144227 = sum of:
     3.7144227 = weight(author_txt:guarino in 6538) [ClassicSimilarity], result of:
       3.7144227 = fieldWeight in 6538, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.375 = fieldNorm(doc=6538)
   

Similar documents (content)

1. Day, R.E.: Trauma, time and information (2022) 0.21

   0.21148728 = sum of:
     0.21148728 = product of:
       0.7553117 = sum of:
         0.010236465 = weight(abstract_txt:this in 609) [ClassicSimilarity], result of:
           0.010236465 = score(doc=609,freq=2.0), product of:
             0.03839587 = queryWeight, product of:
               1.0149336 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015677847 = queryNorm
             0.2666033 = fieldWeight in 609, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=609)
         0.034344584 = weight(abstract_txt:models in 609) [ClassicSimilarity], result of:
           0.034344584 = score(doc=609,freq=1.0), product of:
             0.09471154 = queryWeight, product of:
               1.301521 = boost
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.015677847 = queryNorm
             0.362623 = fieldWeight in 609, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6415744 = idf(docFreq=1158, maxDocs=44218)
               0.078125 = fieldNorm(doc=609)
         0.016248317 = weight(abstract_txt:their in 609) [ClassicSimilarity], result of:
           0.016248317 = score(doc=609,freq=1.0), product of:
             0.0658264 = queryWeight, product of:
               1.3289095 = boost
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.015677847 = queryNorm
             0.24683589 = fieldWeight in 609, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.078125 = fieldNorm(doc=609)
         0.04018826 = weight(abstract_txt:conceptual in 609) [ClassicSimilarity], result of:
           0.04018826 = score(doc=609,freq=1.0), product of:
             0.10517121 = queryWeight, product of:
               1.3715074 = boost
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.015677847 = queryNorm
             0.38212225 = fieldWeight in 609, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.078125 = fieldNorm(doc=609)
         0.0340678 = weight(abstract_txt:terms in 609) [ClassicSimilarity], result of:
           0.0340678 = score(doc=609,freq=1.0), product of:
             0.10783437 = queryWeight, product of:
               1.700881 = boost
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.015677847 = queryNorm
             0.3159271 = fieldWeight in 609, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.078125 = fieldNorm(doc=609)
         0.104846634 = weight(abstract_txt:discuss in 609) [ClassicSimilarity], result of:
           0.104846634 = score(doc=609,freq=1.0), product of:
             0.25111756 = queryWeight, product of:
               2.997114 = boost
               5.344258 = idf(docFreq=573, maxDocs=44218)
               0.015677847 = queryNorm
             0.41752014 = fieldWeight in 609, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.344258 = idf(docFreq=573, maxDocs=44218)
               0.078125 = fieldNorm(doc=609)
         0.51537967 = weight(abstract_txt:explanation in 609) [ClassicSimilarity], result of:
           0.51537967 = score(doc=609,freq=3.0), product of:
             0.5422362 = queryWeight, product of:
               4.923954 = boost
               7.0240583 = idf(docFreq=106, maxDocs=44218)
               0.015677847 = queryNorm
             0.9504708 = fieldWeight in 609, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.0240583 = idf(docFreq=106, maxDocs=44218)
               0.078125 = fieldNorm(doc=609)
       0.28 = coord(7/25)
   

2. Zhitomirsky-Geffet, M.; Bar-Ilan, J.: Towards maximal unification of semantically diverse ontologies for controversial domains (2014) 0.18

   0.18291588 = sum of:
     0.18291588 = product of:
       0.5716121 = sum of:
         0.012283758 = weight(abstract_txt:this in 1634) [ClassicSimilarity], result of:
           0.012283758 = score(doc=1634,freq=8.0), product of:
             0.03839587 = queryWeight, product of:
               1.0149336 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015677847 = queryNorm
             0.31992394 = fieldWeight in 1634, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
         0.016885748 = weight(abstract_txt:their in 1634) [ClassicSimilarity], result of:
           0.016885748 = score(doc=1634,freq=3.0), product of:
             0.0658264 = queryWeight, product of:
               1.3289095 = boost
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.015677847 = queryNorm
             0.25651938 = fieldWeight in 1634, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
         0.024112957 = weight(abstract_txt:conceptual in 1634) [ClassicSimilarity], result of:
           0.024112957 = score(doc=1634,freq=1.0), product of:
             0.10517121 = queryWeight, product of:
               1.3715074 = boost
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.015677847 = queryNorm
             0.22927335 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
         0.012131323 = weight(abstract_txt:also in 1634) [ClassicSimilarity], result of:
           0.012131323 = score(doc=1634,freq=1.0), product of:
             0.07615512 = queryWeight, product of:
               1.4293708 = boost
               3.3983476 = idf(docFreq=4017, maxDocs=44218)
               0.015677847 = queryNorm
             0.15929754 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.3983476 = idf(docFreq=4017, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
         0.032312393 = weight(abstract_txt:relation in 1634) [ClassicSimilarity], result of:
           0.032312393 = score(doc=1634,freq=1.0), product of:
             0.1278329 = queryWeight, product of:
               1.5120671 = boost
               5.3924384 = idf(docFreq=546, maxDocs=44218)
               0.015677847 = queryNorm
             0.25277054 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3924384 = idf(docFreq=546, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
         0.06767211 = weight(abstract_txt:semantics in 1634) [ClassicSimilarity], result of:
           0.06767211 = score(doc=1634,freq=1.0), product of:
             0.2395338 = queryWeight, product of:
               2.5350046 = boost
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.015677847 = queryNorm
             0.2825159 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
         0.17086014 = weight(abstract_txt:ontology in 1634) [ClassicSimilarity], result of:
           0.17086014 = score(doc=1634,freq=6.0), product of:
             0.26901922 = queryWeight, product of:
               3.102104 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.015677847 = queryNorm
             0.6351224 = fieldWeight in 1634, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
         0.23535368 = weight(abstract_txt:ontological in 1634) [ClassicSimilarity], result of:
           0.23535368 = score(doc=1634,freq=4.0), product of:
             0.38124186 = queryWeight, product of:
               3.6928782 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.015677847 = queryNorm
             0.6173343 = fieldWeight in 1634, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.046875 = fieldNorm(doc=1634)
       0.32 = coord(8/25)
   

3. Kent, R.E.: ¬The information flow foundation for conceptual knowledge organization (2000) 0.18

   0.18190035 = sum of:
     0.18190035 = product of:
       0.64964414 = sum of:
         0.010029646 = weight(abstract_txt:this in 121) [ClassicSimilarity], result of:
           0.010029646 = score(doc=121,freq=3.0), product of:
             0.03839587 = queryWeight, product of:
               1.0149336 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015677847 = queryNorm
             0.2612168 = fieldWeight in 121, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=121)
         0.05322735 = weight(abstract_txt:interpretations in 121) [ClassicSimilarity], result of:
           0.05322735 = score(doc=121,freq=1.0), product of:
             0.11682003 = queryWeight, product of:
               1.0221 = boost
               7.290168 = idf(docFreq=81, maxDocs=44218)
               0.015677847 = queryNorm
             0.4556355 = fieldWeight in 121, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.290168 = idf(docFreq=81, maxDocs=44218)
               0.0625 = fieldNorm(doc=121)
         0.0129986545 = weight(abstract_txt:their in 121) [ClassicSimilarity], result of:
           0.0129986545 = score(doc=121,freq=1.0), product of:
             0.0658264 = queryWeight, product of:
               1.3289095 = boost
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.015677847 = queryNorm
             0.19746871 = fieldWeight in 121, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.0625 = fieldNorm(doc=121)
         0.032150608 = weight(abstract_txt:conceptual in 121) [ClassicSimilarity], result of:
           0.032150608 = score(doc=121,freq=1.0), product of:
             0.10517121 = queryWeight, product of:
               1.3715074 = boost
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.015677847 = queryNorm
             0.3056978 = fieldWeight in 121, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.0625 = fieldNorm(doc=121)
         0.09022948 = weight(abstract_txt:semantics in 121) [ClassicSimilarity], result of:
           0.09022948 = score(doc=121,freq=1.0), product of:
             0.2395338 = queryWeight, product of:
               2.5350046 = boost
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.015677847 = queryNorm
             0.37668788 = fieldWeight in 121, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.0625 = fieldNorm(doc=121)
         0.29410598 = weight(abstract_txt:ontology in 121) [ClassicSimilarity], result of:
           0.29410598 = score(doc=121,freq=10.0), product of:
             0.26901922 = queryWeight, product of:
               3.102104 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.015677847 = queryNorm
             1.0932527 = fieldWeight in 121, product of:
               3.1622777 = tf(freq=10.0), with freq of:
                 10.0 = termFreq=10.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=121)
         0.15690246 = weight(abstract_txt:ontological in 121) [ClassicSimilarity], result of:
           0.15690246 = score(doc=121,freq=1.0), product of:
             0.38124186 = queryWeight, product of:
               3.6928782 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.015677847 = queryNorm
             0.4115562 = fieldWeight in 121, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.0625 = fieldNorm(doc=121)
       0.28 = coord(7/25)
   

4. Kohne, J.: Ontology, its origins and its meaning in information icience (2014) 0.17

   0.17279865 = sum of:
     0.17279865 = product of:
       0.5399958 = sum of:
         0.05145315 = weight(abstract_txt:explaining in 3401) [ClassicSimilarity], result of:
           0.05145315 = score(doc=3401,freq=1.0), product of:
             0.11420946 = queryWeight, product of:
               1.010615 = boost
               7.208251 = idf(docFreq=88, maxDocs=44218)
               0.015677847 = queryNorm
             0.4505157 = fieldWeight in 3401, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.208251 = idf(docFreq=88, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
         0.0081891725 = weight(abstract_txt:this in 3401) [ClassicSimilarity], result of:
           0.0081891725 = score(doc=3401,freq=2.0), product of:
             0.03839587 = queryWeight, product of:
               1.0149336 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015677847 = queryNorm
             0.21328263 = fieldWeight in 3401, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
         0.0129986545 = weight(abstract_txt:their in 3401) [ClassicSimilarity], result of:
           0.0129986545 = score(doc=3401,freq=1.0), product of:
             0.0658264 = queryWeight, product of:
               1.3289095 = boost
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.015677847 = queryNorm
             0.19746871 = fieldWeight in 3401, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
         0.032150608 = weight(abstract_txt:conceptual in 3401) [ClassicSimilarity], result of:
           0.032150608 = score(doc=3401,freq=1.0), product of:
             0.10517121 = queryWeight, product of:
               1.3715074 = boost
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.015677847 = queryNorm
             0.3056978 = fieldWeight in 3401, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.891165 = idf(docFreq=902, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
         0.04308319 = weight(abstract_txt:relation in 3401) [ClassicSimilarity], result of:
           0.04308319 = score(doc=3401,freq=1.0), product of:
             0.1278329 = queryWeight, product of:
               1.5120671 = boost
               5.3924384 = idf(docFreq=546, maxDocs=44218)
               0.015677847 = queryNorm
             0.3370274 = fieldWeight in 3401, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3924384 = idf(docFreq=546, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
         0.027254239 = weight(abstract_txt:terms in 3401) [ClassicSimilarity], result of:
           0.027254239 = score(doc=3401,freq=1.0), product of:
             0.10783437 = queryWeight, product of:
               1.700881 = boost
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.015677847 = queryNorm
             0.25274166 = fieldWeight in 3401, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.0438666 = idf(docFreq=2106, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
         0.20796433 = weight(abstract_txt:ontology in 3401) [ClassicSimilarity], result of:
           0.20796433 = score(doc=3401,freq=5.0), product of:
             0.26901922 = queryWeight, product of:
               3.102104 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.015677847 = queryNorm
             0.7730464 = fieldWeight in 3401, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
         0.15690246 = weight(abstract_txt:ontological in 3401) [ClassicSimilarity], result of:
           0.15690246 = score(doc=3401,freq=1.0), product of:
             0.38124186 = queryWeight, product of:
               3.6928782 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.015677847 = queryNorm
             0.4115562 = fieldWeight in 3401, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.0625 = fieldNorm(doc=3401)
       0.32 = coord(8/25)
   

5. Pross, T.: ¬An action-theory-based treatment of temporal individuals (2014) 0.17

   0.1652287 = sum of:
     0.1652287 = product of:
       0.6884529 = sum of:
         0.0081891725 = weight(abstract_txt:this in 3408) [ClassicSimilarity], result of:
           0.0081891725 = score(doc=3408,freq=2.0), product of:
             0.03839587 = queryWeight, product of:
               1.0149336 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015677847 = queryNorm
             0.21328263 = fieldWeight in 3408, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=3408)
         0.0129986545 = weight(abstract_txt:their in 3408) [ClassicSimilarity], result of:
           0.0129986545 = score(doc=3408,freq=1.0), product of:
             0.0658264 = queryWeight, product of:
               1.3289095 = boost
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.015677847 = queryNorm
             0.19746871 = fieldWeight in 3408, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1594994 = idf(docFreq=5101, maxDocs=44218)
               0.0625 = fieldNorm(doc=3408)
         0.08071353 = weight(abstract_txt:descriptions in 3408) [ClassicSimilarity], result of:
           0.08071353 = score(doc=3408,freq=2.0), product of:
             0.15419075 = queryWeight, product of:
               1.6606529 = boost
               5.9223356 = idf(docFreq=321, maxDocs=44218)
               0.015677847 = queryNorm
             0.52346545 = fieldWeight in 3408, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.9223356 = idf(docFreq=321, maxDocs=44218)
               0.0625 = fieldNorm(doc=3408)
         0.09300447 = weight(abstract_txt:ontology in 3408) [ClassicSimilarity], result of:
           0.09300447 = score(doc=3408,freq=1.0), product of:
             0.26901922 = queryWeight, product of:
               3.102104 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.015677847 = queryNorm
             0.34571683 = fieldWeight in 3408, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=3408)
         0.15690246 = weight(abstract_txt:ontological in 3408) [ClassicSimilarity], result of:
           0.15690246 = score(doc=3408,freq=1.0), product of:
             0.38124186 = queryWeight, product of:
               3.6928782 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.015677847 = queryNorm
             0.4115562 = fieldWeight in 3408, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.0625 = fieldNorm(doc=3408)
         0.3366446 = weight(abstract_txt:explanation in 3408) [ClassicSimilarity], result of:
           0.3366446 = score(doc=3408,freq=2.0), product of:
             0.5422362 = queryWeight, product of:
               4.923954 = boost
               7.0240583 = idf(docFreq=106, maxDocs=44218)
               0.015677847 = queryNorm
             0.6208449 = fieldWeight in 3408, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.0240583 = idf(docFreq=106, maxDocs=44218)
               0.0625 = fieldNorm(doc=3408)
       0.24 = coord(6/25)