Document (#37773)

Author
Herre, H.
Title
General Formal Ontology (GFO) : a foundational ontology for conceptual modelling
Source
Theory and applications of ontology: vol.2: computer applications. Eds.: R. Poli et al
Imprint
Springer : Berlin
Year
2010
Pages
S.297-345
Abstract
Research in ontology has in recent years become widespread in the field of information systems, in distinct areas of sciences, in business, in economy, and in industry. The importance of ontologies is increasingly recognized in fields diverse as in e-commerce, semantic web, enterprise, information integration, qualitative modelling of physical systems, natural language processing, knowledge engineering, and databases. Ontologies provide formal specifications and harmonized definitions of concepts used to represent knowledge of specific domains. An ontology supplies a unifying framework for communication and establishes the basis of the knowledge about a specific domain. The term ontology has two meanings, it denotes, on the one hand, a research area, on the other hand, a system of organized knowledge. A system of knowledge may exhibit various degrees of formality; in the strongest sense it is an axiomatized and formally represented theory. which is denoted throughout this paper by the term axiomatized ontology. We use the term formal ontology to name an area of research which is becoming a science similar as formal or mathematical logic. Formal ontology is an evolving science which is concerned with the systematic development of axiomatic theories describing forms, modes, and views of being of the world at different levels of abstraction and granularity. Formal ontology combines the methods of mathematical logic with principles of philosophy, but also with the methods of artificial intelligence and linguistics. At themost general level of abstraction, formal ontology is concerned with those categories that apply to every area of the world. The application of formal ontology to domains at different levels of generality yields knowledge systems which are called, according to the level of abstraction, Top Level Ontologies or Foundational Ontologies, Core Domain or Domain Ontologies. Top level or foundational ontologies apply to every area of the world, in contrast to the various Generic, Domain Core or Domain Ontologies, which are associated to more restricted fields of interest. A foundational ontology can serve as a unifying framework for representation and integration of knowledge and may support the communication and harmonisation of conceptual systems. The current paper presents an overview about the current stage of the foundational ontology GFO.
Content
Vgl. auch: http://www.onto-med.de.
Theme
Wissensrepräsentation
Field
Medizin

Similar documents (content)

  1. Herre, H.: Formal ontology and the foundation of knowledge organization (2013) 0.68
    0.67800516 = sum of:
      0.67800516 = product of:
        1.3038561 = sum of:
          0.024747247 = weight(abstract_txt:levels in 2777) [ClassicSimilarity], result of:
            0.024747247 = score(doc=2777,freq=1.0), product of:
              0.07543296 = queryWeight, product of:
                5.24911 = idf(docFreq=603, maxDocs=42306)
                0.014370619 = queryNorm
              0.3280694 = fieldWeight in 2777, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.24911 = idf(docFreq=603, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.02534995 = weight(abstract_txt:integration in 2777) [ClassicSimilarity], result of:
            0.02534995 = score(doc=2777,freq=1.0), product of:
              0.076652795 = queryWeight, product of:
                1.0080531 = boost
                5.291382 = idf(docFreq=578, maxDocs=42306)
                0.014370619 = queryNorm
              0.33071136 = fieldWeight in 2777, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.291382 = idf(docFreq=578, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.02606905 = weight(abstract_txt:core in 2777) [ClassicSimilarity], result of:
            0.02606905 = score(doc=2777,freq=1.0), product of:
              0.07809563 = queryWeight, product of:
                1.0174961 = boost
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.014370619 = queryNorm
              0.33380935 = fieldWeight in 2777, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.030801281 = weight(abstract_txt:domains in 2777) [ClassicSimilarity], result of:
            0.030801281 = score(doc=2777,freq=1.0), product of:
              0.08728155 = queryWeight, product of:
                1.0756739 = boost
                5.646331 = idf(docFreq=405, maxDocs=42306)
                0.014370619 = queryNorm
              0.35289568 = fieldWeight in 2777, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.646331 = idf(docFreq=405, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.019314038 = weight(abstract_txt:systems in 2777) [ClassicSimilarity], result of:
            0.019314038 = score(doc=2777,freq=2.0), product of:
              0.06394285 = queryWeight, product of:
                1.3020582 = boost
                3.4173236 = idf(docFreq=3771, maxDocs=42306)
                0.014370619 = queryNorm
              0.30205157 = fieldWeight in 2777, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4173236 = idf(docFreq=3771, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.010858782 = weight(abstract_txt:which in 2777) [ClassicSimilarity], result of:
            0.010858782 = score(doc=2777,freq=1.0), product of:
              0.059116766 = queryWeight, product of:
                1.3997315 = boost
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.014370619 = queryNorm
              0.18368362 = fieldWeight in 2777, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.08810412 = weight(abstract_txt:unifying in 2777) [ClassicSimilarity], result of:
            0.08810412 = score(doc=2777,freq=1.0), product of:
              0.17587633 = queryWeight, product of:
                1.526944 = boost
                8.015098 = idf(docFreq=37, maxDocs=42306)
                0.014370619 = queryNorm
              0.5009436 = fieldWeight in 2777, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.015098 = idf(docFreq=37, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.04524987 = weight(abstract_txt:level in 2777) [ClassicSimilarity], result of:
            0.04524987 = score(doc=2777,freq=2.0), product of:
              0.112794556 = queryWeight, product of:
                1.7293324 = boost
                4.538728 = idf(docFreq=1228, maxDocs=42306)
                0.014370619 = queryNorm
              0.40117067 = fieldWeight in 2777, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.538728 = idf(docFreq=1228, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.046857238 = weight(abstract_txt:domain in 2777) [ClassicSimilarity], result of:
            0.046857238 = score(doc=2777,freq=1.0), product of:
              0.15668991 = queryWeight, product of:
                2.2788196 = boost
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.014370619 = queryNorm
              0.29904437 = fieldWeight in 2777, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.06862767 = weight(abstract_txt:knowledge in 2777) [ClassicSimilarity], result of:
            0.06862767 = score(doc=2777,freq=6.0), product of:
              0.12440802 = queryWeight, product of:
                2.4025788 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.014370619 = queryNorm
              0.55163383 = fieldWeight in 2777, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.17283994 = weight(abstract_txt:ontologies in 2777) [ClassicSimilarity], result of:
            0.17283994 = score(doc=2777,freq=2.0), product of:
              0.3321381 = queryWeight, product of:
                3.9256608 = boost
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.014370619 = queryNorm
              0.5203858 = fieldWeight in 2777, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.23069303 = weight(abstract_txt:formal in 2777) [ClassicSimilarity], result of:
            0.23069303 = score(doc=2777,freq=4.0), product of:
              0.33411777 = queryWeight, product of:
                4.2091966 = boost
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.014370619 = queryNorm
              0.69045424 = fieldWeight in 2777, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
          0.5143438 = weight(abstract_txt:ontology in 2777) [ClassicSimilarity], result of:
            0.5143438 = score(doc=2777,freq=7.0), product of:
              0.55631065 = queryWeight, product of:
                6.923645 = boost
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.014370619 = queryNorm
              0.9245622 = fieldWeight in 2777, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.0625 = fieldNorm(doc=2777)
        0.52 = coord(13/25)
    
  2. Klein, M.; Ding, Y.; Fensel, D.; Omelayenko, B.: Ontology management : storing, aligning and maintaining ontologies (2004) 0.36
    0.35942662 = sum of:
      0.35942662 = product of:
        0.89856654 = sum of:
          0.01584372 = weight(abstract_txt:integration in 1403) [ClassicSimilarity], result of:
            0.01584372 = score(doc=1403,freq=1.0), product of:
              0.076652795 = queryWeight, product of:
                1.0080531 = boost
                5.291382 = idf(docFreq=578, maxDocs=42306)
                0.014370619 = queryNorm
              0.2066946 = fieldWeight in 1403, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.291382 = idf(docFreq=578, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.031149805 = weight(abstract_txt:modelling in 1403) [ClassicSimilarity], result of:
            0.031149805 = score(doc=1403,freq=1.0), product of:
              0.120298475 = queryWeight, product of:
                1.2628433 = boost
                6.6288037 = idf(docFreq=151, maxDocs=42306)
                0.014370619 = queryNorm
              0.25893766 = fieldWeight in 1403, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6288037 = idf(docFreq=151, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.020021541 = weight(abstract_txt:world in 1403) [ClassicSimilarity], result of:
            0.020021541 = score(doc=1403,freq=2.0), product of:
              0.0814033 = queryWeight, product of:
                1.2722899 = boost
                4.4522595 = idf(docFreq=1339, maxDocs=42306)
                0.014370619 = queryNorm
              0.24595492 = fieldWeight in 1403, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.4522595 = idf(docFreq=1339, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.01707136 = weight(abstract_txt:systems in 1403) [ClassicSimilarity], result of:
            0.01707136 = score(doc=1403,freq=4.0), product of:
              0.06394285 = queryWeight, product of:
                1.3020582 = boost
                3.4173236 = idf(docFreq=3771, maxDocs=42306)
                0.014370619 = queryNorm
              0.2669784 = fieldWeight in 1403, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.4173236 = idf(docFreq=3771, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.013573477 = weight(abstract_txt:which in 1403) [ClassicSimilarity], result of:
            0.013573477 = score(doc=1403,freq=4.0), product of:
              0.059116766 = queryWeight, product of:
                1.3997315 = boost
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.014370619 = queryNorm
              0.22960453 = fieldWeight in 1403, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.028281169 = weight(abstract_txt:level in 1403) [ClassicSimilarity], result of:
            0.028281169 = score(doc=1403,freq=2.0), product of:
              0.112794556 = queryWeight, product of:
                1.7293324 = boost
                4.538728 = idf(docFreq=1228, maxDocs=42306)
                0.014370619 = queryNorm
              0.25073168 = fieldWeight in 1403, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.538728 = idf(docFreq=1228, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.029285772 = weight(abstract_txt:domain in 1403) [ClassicSimilarity], result of:
            0.029285772 = score(doc=1403,freq=1.0), product of:
              0.15668991 = queryWeight, product of:
                2.2788196 = boost
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.014370619 = queryNorm
              0.18690273 = fieldWeight in 1403, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.017510707 = weight(abstract_txt:knowledge in 1403) [ClassicSimilarity], result of:
            0.017510707 = score(doc=1403,freq=1.0), product of:
              0.12440802 = queryWeight, product of:
                2.4025788 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.014370619 = queryNorm
              0.14075223 = fieldWeight in 1403, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.34160492 = weight(abstract_txt:ontologies in 1403) [ClassicSimilarity], result of:
            0.34160492 = score(doc=1403,freq=20.0), product of:
              0.3321381 = queryWeight, product of:
                3.9256608 = boost
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.014370619 = queryNorm
              1.0285027 = fieldWeight in 1403, product of:
                4.472136 = tf(freq=20.0), with freq of:
                  20.0 = termFreq=20.0
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
          0.38422406 = weight(abstract_txt:ontology in 1403) [ClassicSimilarity], result of:
            0.38422406 = score(doc=1403,freq=10.0), product of:
              0.55631065 = queryWeight, product of:
                6.923645 = boost
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.014370619 = queryNorm
              0.6906646 = fieldWeight in 1403, product of:
                3.1622777 = tf(freq=10.0), with freq of:
                  10.0 = termFreq=10.0
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.0390625 = fieldNorm(doc=1403)
        0.4 = coord(10/25)
    
  3. Madalli, D.P.; Chatterjee, U.; Dutta, B.: ¬An analytical approach to building a core ontology for food (2017) 0.35
    0.3503644 = sum of:
      0.3503644 = product of:
        1.2513014 = sum of:
          0.08834438 = weight(abstract_txt:core in 281) [ClassicSimilarity], result of:
            0.08834438 = score(doc=281,freq=15.0), product of:
              0.07809563 = queryWeight, product of:
                1.0174961 = boost
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.014370619 = queryNorm
              1.1312333 = fieldWeight in 281, product of:
                3.8729835 = tf(freq=15.0), with freq of:
                  15.0 = termFreq=15.0
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.0546875 = fieldNorm(doc=281)
          0.009501434 = weight(abstract_txt:which in 281) [ClassicSimilarity], result of:
            0.009501434 = score(doc=281,freq=1.0), product of:
              0.059116766 = queryWeight, product of:
                1.3997315 = boost
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.014370619 = queryNorm
              0.16072316 = fieldWeight in 281, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.0546875 = fieldNorm(doc=281)
          0.10847602 = weight(abstract_txt:domain in 281) [ClassicSimilarity], result of:
            0.10847602 = score(doc=281,freq=7.0), product of:
              0.15668991 = queryWeight, product of:
                2.2788196 = boost
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.014370619 = queryNorm
              0.6922974 = fieldWeight in 281, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.0546875 = fieldNorm(doc=281)
          0.02451499 = weight(abstract_txt:knowledge in 281) [ClassicSimilarity], result of:
            0.02451499 = score(doc=281,freq=1.0), product of:
              0.12440802 = queryWeight, product of:
                2.4025788 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.014370619 = queryNorm
              0.19705313 = fieldWeight in 281, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0546875 = fieldNorm(doc=281)
          0.23912346 = weight(abstract_txt:ontologies in 281) [ClassicSimilarity], result of:
            0.23912346 = score(doc=281,freq=5.0), product of:
              0.3321381 = queryWeight, product of:
                3.9256608 = boost
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.014370619 = queryNorm
              0.7199519 = fieldWeight in 281, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.0546875 = fieldNorm(doc=281)
          0.100928195 = weight(abstract_txt:formal in 281) [ClassicSimilarity], result of:
            0.100928195 = score(doc=281,freq=1.0), product of:
              0.33411777 = queryWeight, product of:
                4.2091966 = boost
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.014370619 = queryNorm
              0.30207372 = fieldWeight in 281, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.0546875 = fieldNorm(doc=281)
          0.68041295 = weight(abstract_txt:ontology in 281) [ClassicSimilarity], result of:
            0.68041295 = score(doc=281,freq=16.0), product of:
              0.55631065 = queryWeight, product of:
                6.923645 = boost
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.014370619 = queryNorm
              1.2230809 = fieldWeight in 281, product of:
                4.0 = tf(freq=16.0), with freq of:
                  16.0 = termFreq=16.0
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.0546875 = fieldNorm(doc=281)
        0.28 = coord(7/25)
    
  4. De Maio, C.; Fenza, G.; Loia, V.; Senatore, S.: Hierarchical web resources retrieval by exploiting Fuzzy Formal Concept Analysis (2012) 0.34
    0.33685106 = sum of:
      0.33685106 = product of:
        0.9356973 = sum of:
          0.032586314 = weight(abstract_txt:core in 4738) [ClassicSimilarity], result of:
            0.032586314 = score(doc=4738,freq=1.0), product of:
              0.07809563 = queryWeight, product of:
                1.0174961 = boost
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.014370619 = queryNorm
              0.4172617 = fieldWeight in 4738, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.028314736 = weight(abstract_txt:world in 4738) [ClassicSimilarity], result of:
            0.028314736 = score(doc=4738,freq=1.0), product of:
              0.0814033 = queryWeight, product of:
                1.2722899 = boost
                4.4522595 = idf(docFreq=1339, maxDocs=42306)
                0.014370619 = queryNorm
              0.34783277 = fieldWeight in 4738, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4522595 = idf(docFreq=1339, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.024142547 = weight(abstract_txt:systems in 4738) [ClassicSimilarity], result of:
            0.024142547 = score(doc=4738,freq=2.0), product of:
              0.06394285 = queryWeight, product of:
                1.3020582 = boost
                3.4173236 = idf(docFreq=3771, maxDocs=42306)
                0.014370619 = queryNorm
              0.37756446 = fieldWeight in 4738, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4173236 = idf(docFreq=3771, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.013573477 = weight(abstract_txt:which in 4738) [ClassicSimilarity], result of:
            0.013573477 = score(doc=4738,freq=1.0), product of:
              0.059116766 = queryWeight, product of:
                1.3997315 = boost
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.014370619 = queryNorm
              0.22960453 = fieldWeight in 4738, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.938938 = idf(docFreq=6085, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.058571544 = weight(abstract_txt:domain in 4738) [ClassicSimilarity], result of:
            0.058571544 = score(doc=4738,freq=1.0), product of:
              0.15668991 = queryWeight, product of:
                2.2788196 = boost
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.014370619 = queryNorm
              0.37380546 = fieldWeight in 4738, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.06065887 = weight(abstract_txt:knowledge in 4738) [ClassicSimilarity], result of:
            0.06065887 = score(doc=4738,freq=3.0), product of:
              0.12440802 = queryWeight, product of:
                2.4025788 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.014370619 = queryNorm
              0.48758003 = fieldWeight in 4738, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.15277037 = weight(abstract_txt:ontologies in 4738) [ClassicSimilarity], result of:
            0.15277037 = score(doc=4738,freq=1.0), product of:
              0.3321381 = queryWeight, product of:
                3.9256608 = boost
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.014370619 = queryNorm
              0.4599604 = fieldWeight in 4738, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.14418314 = weight(abstract_txt:formal in 4738) [ClassicSimilarity], result of:
            0.14418314 = score(doc=4738,freq=1.0), product of:
              0.33411777 = queryWeight, product of:
                4.2091966 = boost
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.014370619 = queryNorm
              0.4315339 = fieldWeight in 4738, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
          0.42089632 = weight(abstract_txt:ontology in 4738) [ClassicSimilarity], result of:
            0.42089632 = score(doc=4738,freq=3.0), product of:
              0.55631065 = queryWeight, product of:
                6.923645 = boost
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.014370619 = queryNorm
              0.75658506 = fieldWeight in 4738, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.078125 = fieldNorm(doc=4738)
        0.36 = coord(9/25)
    
  5. Arp, R.; Smith, B.; Spear, A.D.: Building ontologies with basic formal ontology (2015) 0.31
    0.31089053 = sum of:
      0.31089053 = product of:
        1.1103233 = sum of:
          0.02606905 = weight(abstract_txt:core in 363) [ClassicSimilarity], result of:
            0.02606905 = score(doc=363,freq=1.0), product of:
              0.07809563 = queryWeight, product of:
                1.0174961 = boost
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.014370619 = queryNorm
              0.33380935 = fieldWeight in 363, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3409495 = idf(docFreq=550, maxDocs=42306)
                0.0625 = fieldNorm(doc=363)
          0.041956227 = weight(abstract_txt:logic in 363) [ClassicSimilarity], result of:
            0.041956227 = score(doc=363,freq=1.0), product of:
              0.10725253 = queryWeight, product of:
                1.1924033 = boost
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.014370619 = queryNorm
              0.39119104 = fieldWeight in 363, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.0625 = fieldNorm(doc=363)
          0.022651788 = weight(abstract_txt:world in 363) [ClassicSimilarity], result of:
            0.022651788 = score(doc=363,freq=1.0), product of:
              0.0814033 = queryWeight, product of:
                1.2722899 = boost
                4.4522595 = idf(docFreq=1339, maxDocs=42306)
                0.014370619 = queryNorm
              0.27826622 = fieldWeight in 363, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4522595 = idf(docFreq=1339, maxDocs=42306)
                0.0625 = fieldNorm(doc=363)
          0.08115911 = weight(abstract_txt:domain in 363) [ClassicSimilarity], result of:
            0.08115911 = score(doc=363,freq=3.0), product of:
              0.15668991 = queryWeight, product of:
                2.2788196 = boost
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.014370619 = queryNorm
              0.51796 = fieldWeight in 363, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.78471 = idf(docFreq=960, maxDocs=42306)
                0.0625 = fieldNorm(doc=363)
          0.27328396 = weight(abstract_txt:ontologies in 363) [ClassicSimilarity], result of:
            0.27328396 = score(doc=363,freq=5.0), product of:
              0.3321381 = queryWeight, product of:
                3.9256608 = boost
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.014370619 = queryNorm
              0.8228022 = fieldWeight in 363, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.887493 = idf(docFreq=318, maxDocs=42306)
                0.0625 = fieldNorm(doc=363)
          0.11534651 = weight(abstract_txt:formal in 363) [ClassicSimilarity], result of:
            0.11534651 = score(doc=363,freq=1.0), product of:
              0.33411777 = queryWeight, product of:
                4.2091966 = boost
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.014370619 = queryNorm
              0.34522712 = fieldWeight in 363, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.523634 = idf(docFreq=458, maxDocs=42306)
                0.0625 = fieldNorm(doc=363)
          0.54985666 = weight(abstract_txt:ontology in 363) [ClassicSimilarity], result of:
            0.54985666 = score(doc=363,freq=8.0), product of:
              0.55631065 = queryWeight, product of:
                6.923645 = boost
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.014370619 = queryNorm
              0.9883986 = fieldWeight in 363, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                5.591227 = idf(docFreq=428, maxDocs=42306)
                0.0625 = fieldNorm(doc=363)
        0.28 = coord(7/25)