Search (6 results, page 1 of 1)

0.024313705 = product of:
  0.09725482 = sum of:
    0.09725482 = weight(_text_:evolution in 761) [ClassicSimilarity], result of:
      0.09725482 = score(doc=761,freq=4.0), product of:
        0.19585751 = queryWeight, product of:
          5.29663 = idf(docFreq=601, maxDocs=44218)
          0.03697776 = queryNorm
        0.49655905 = fieldWeight in 761, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          5.29663 = idf(docFreq=601, maxDocs=44218)
          0.046875 = fieldNorm(doc=761)
  0.25 = coord(1/4)

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.

0.020261422 = product of:
  0.08104569 = sum of:
    0.08104569 = weight(_text_:evolution in 5997) [ClassicSimilarity], result of:
      0.08104569 = score(doc=5997,freq=4.0), product of:
        0.19585751 = queryWeight, product of:
          5.29663 = idf(docFreq=601, maxDocs=44218)
          0.03697776 = queryNorm
        0.41379923 = fieldWeight in 5997, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          5.29663 = idf(docFreq=601, maxDocs=44218)
          0.0390625 = fieldNorm(doc=5997)
  0.25 = coord(1/4)

Abstract

Thesauri are Knowledge Organization Systems (KOS), that arise from the consensus of wide communities. They have been in use for many years and are regularly updated. Whereas in the past thesauri were designed for information professionals for indexing and searching, today there is a demand for conceptual vocabularies that enable inferencing by machines. The development of the Semantic Web has brought a new opportunity for thesauri, but thesauri also face the challenge of proving that they add value to it. The evolution of thesauri toward their integration with the Semantic Web is examined. Elements and structures in the thesaurus standard, ISO 25964, and SKOS (Simple Knowledge Organization System), the Semantic Web standard for representing KOS, are reviewed and compared. Moreover, the integrity rules of thesauri are contrasted with the axioms of SKOS. How SKOS has been applied to represent some real thesauri is taken into account. Three thesauri are chosen for this aim: AGROVOC, EuroVoc and the UNESCO Thesaurus. Based on the results of this comparison and analysis, the benefits that Semantic Web technologies offer to thesauri, how thesauri can contribute to the Semantic Web, and the challenges that would help to improve their integration with the Semantic Web are discussed.

0.0033399842 = product of:
  0.013359937 = sum of:
    0.013359937 = product of:
      0.04007981 = sum of:
        0.04007981 = weight(_text_:22 in 4331) [ClassicSimilarity], result of:
          0.04007981 = score(doc=4331,freq=2.0), product of:
            0.12948982 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03697776 = 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.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date

15. 3.2011 19:21:22

0.002504988 = product of:
  0.010019952 = sum of:
    0.010019952 = product of:
      0.030059857 = sum of:
        0.030059857 = weight(_text_:22 in 4649) [ClassicSimilarity], result of:
          0.030059857 = score(doc=4649,freq=2.0), product of:
            0.12948982 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03697776 = 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.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date

26.12.2011 13:40:22

0.002504988 = product of:
  0.010019952 = sum of:
    0.010019952 = product of:
      0.030059857 = sum of:
        0.030059857 = weight(_text_:22 in 2118) [ClassicSimilarity], result of:
          0.030059857 = score(doc=2118,freq=2.0), product of:
            0.12948982 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03697776 = 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.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date

5. 7.2015 22:02:31

0.0020874902 = product of:
  0.008349961 = sum of:
    0.008349961 = product of:
      0.025049882 = sum of:
        0.025049882 = weight(_text_:22 in 4553) [ClassicSimilarity], result of:
          0.025049882 = score(doc=4553,freq=2.0), product of:
            0.12948982 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03697776 = 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.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date

16.11.2018 14:22:01