Search (5 results, page 1 of 1)

Menzel, C.: Knowledge representation, the World Wide Web, and the evolution of logic (2011) 0.02
```
0.015150423 = product of:
  0.030300846 = sum of:
    0.030300846 = product of:
      0.060601693 = sum of:
        0.060601693 = weight(_text_:i in 761) [ClassicSimilarity], result of:
          0.060601693 = score(doc=761,freq=4.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.35359967 = fieldWeight in 761, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.046875 = fieldNorm(doc=761)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
```
Abstract

In this paper, I have traced a series of evolutionary adaptations of FOL motivated entirely by its use by knowledge engineers to represent and share information on the Web culminating in the development of Common Logic. While the primary goal in this paper has been to document this evolution, it is arguable, I think that CL's syntactic and semantic egalitarianism better realizes the goal "topic neutrality" that a logic should ideally exemplify - understood, at least in part, as the idea that logic should as far as possible not itself embody any metaphysical presuppositions. Instead of retaining the traditional metaphysical divisions of FOL that reflect its Fregean origins, CL begins as it were with a single, metaphysically homogeneous domain in which, potentially, anything can play the traditional roles of object, property, relation, and function. Note that the effect of this is not to destroy traditional metaphysical divisions. Rather, it simply to refrain from building those divisions explicitly into one's logic; instead, such divisions are left to the user to introduce and enforce axiomatically in an explicit metaphysical theory.

Eckert, K.: SKOS: eine Sprache für die Übertragung von Thesauri ins Semantic Web (2011) 0.01

0.0123128155 = product of:
  0.024625631 = sum of:
    0.024625631 = product of:
      0.049251262 = sum of:
        0.049251262 = weight(_text_:22 in 4331) [ClassicSimilarity], result of:
          0.049251262 = score(doc=4331,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = queryNorm
            0.30952093 = fieldWeight in 4331, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0625 = fieldNorm(doc=4331)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date: 15. 3.2011 19:21:22

Hollink, L.; Assem, M. van: Estimating the relevance of search results in the Culture-Web : a study of semantic distance measures (2010) 0.01

0.009234612 = product of:
  0.018469224 = sum of:
    0.018469224 = product of:
      0.036938448 = sum of:
        0.036938448 = weight(_text_:22 in 4649) [ClassicSimilarity], result of:
          0.036938448 = score(doc=4649,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = queryNorm
            0.23214069 = fieldWeight in 4649, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.046875 = fieldNorm(doc=4649)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date: 26.12.2011 13:40:22

Firnkes, M.: Schöne neue Welt : der Content der Zukunft wird von Algorithmen bestimmt (2015) 0.01

0.009234612 = product of:
  0.018469224 = sum of:
    0.018469224 = product of:
      0.036938448 = sum of:
        0.036938448 = weight(_text_:22 in 2118) [ClassicSimilarity], result of:
          0.036938448 = score(doc=2118,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = queryNorm
            0.23214069 = fieldWeight in 2118, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.046875 = fieldNorm(doc=2118)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date: 5. 7.2015 22:02:31

Monireh, E.; Sarker, M.K.; Bianchi, F.; Hitzler, P.; Doran, D.; Xie, N.: Reasoning over RDF knowledge bases using deep learning (2018) 0.01

0.00769551 = product of:
  0.01539102 = sum of:
    0.01539102 = product of:
      0.03078204 = sum of:
        0.03078204 = weight(_text_:22 in 4553) [ClassicSimilarity], result of:
          0.03078204 = score(doc=4553,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = queryNorm
            0.19345059 = fieldWeight in 4553, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4553)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date: 16.11.2018 14:22:01

Search (5 results, page 1 of 1)

Authors

Languages

Themes