Search (1 results, page 1 of 1)

Did you mean:
rvk_ss%3a%21st 230 %5BInformatik %23 monographien %23 software und -entwicklung %23 software allgemein%2c %28Einf%c3%bahnung%2c lehre%c3%bücher%2c methoden der programmierung%29 software engineering%2c programmentwicklungssysteme%2c softwarewerkzeuge%5d%22 1
rvk_ss%3a%21st 230 %5BInformatik %23 monographien %23 software und -entwicklung %23 software allgemein%2c %28Einf%c3%bahnung%2c lehre%c3%bucher%2c methoden der programmierung%29 software engineering%2c programmentwicklungssysteme%2c softwarewerkzeuge%5d%22 1
rvk_ss%3a%21st 230 %5BInformatik %23 monographien %23 software und -entwicklung %23 software allgemein%2c %28Einf%c3%bahnung%2c lehre%c3%bücher%2c methoden der programmierung%29 software engineering%2c programmentwicklungssysteme%2c softwarewerkzeugen%5d%22 1
rvk_ss%3a%21st 230 %5BInformatik %23 monographien %23 software und -entwicklung %23 software allgemein%2c %28Einf%c3%bahnung%2c lehrt%c3%bücher%2c methoden der programmierung%29 software engineering%2c programmentwicklungssysteme%2c softwarewerkzeuge%5d%22 1
rvk_ss%3a%21st 230 %5BInformatik %23 monographien %23 software und -entwicklung %23 software allgemein%2c %28Einf%c3%buchung%2c lehre%c3%bücher%2c methoden der programmierung%29 software engineering%2c programmentwicklungssysteme%2c softwarewerkzeuge%5d%22 1

Arp, R.; Smith, B.; Spear, A.D.: Building ontologies with basic formal ontology (2015) 0.01

0.0063031456 = product of:
  0.04202097 = sum of:
    0.014006989 = weight(_text_:software in 3444) [ClassicSimilarity], result of:
      0.014006989 = score(doc=3444,freq=2.0), product of:
        0.07989157 = queryWeight, product of:
          3.9671519 = idf(docFreq=2274, maxDocs=44218)
          0.02013827 = queryNorm
        0.17532499 = fieldWeight in 3444, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.9671519 = idf(docFreq=2274, maxDocs=44218)
          0.03125 = fieldNorm(doc=3444)
    0.014006989 = weight(_text_:software in 3444) [ClassicSimilarity], result of:
      0.014006989 = score(doc=3444,freq=2.0), product of:
        0.07989157 = queryWeight, product of:
          3.9671519 = idf(docFreq=2274, maxDocs=44218)
          0.02013827 = queryNorm
        0.17532499 = fieldWeight in 3444, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.9671519 = idf(docFreq=2274, maxDocs=44218)
          0.03125 = fieldNorm(doc=3444)
    0.014006989 = weight(_text_:software in 3444) [ClassicSimilarity], result of:
      0.014006989 = score(doc=3444,freq=2.0), product of:
        0.07989157 = queryWeight, product of:
          3.9671519 = idf(docFreq=2274, maxDocs=44218)
          0.02013827 = queryNorm
        0.17532499 = fieldWeight in 3444, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.9671519 = idf(docFreq=2274, maxDocs=44218)
          0.03125 = fieldNorm(doc=3444)
  0.15 = coord(3/20)

Content: What Is an Ontology? - Kinds of Ontologies and the Role of Taxonomies - Principles of Best Practice 1: Domain Ontology Design - Principles of Best Practice II: Terms, Definitions, and Classification - Introduction to Basic Formal Ontology I: Continuants - Introduction to Basic Formal Ontology II: Occurrents - The Ontology of Relations - Basic Formal Ontology at Work - Appendix on Implementation: Languages, Editors, Reasoners, Browsers, Tools for Reuse - Glossary - Web Links Mentioned in the Text Including Ontologies, Research Groups, Software, and Reasoning Tools