Search (4 results, page 1 of 1)

0.010931516 = product of:
  0.021863032 = sum of:
    0.021863032 = product of:
      0.043726064 = sum of:
        0.043726064 = weight(_text_:i in 761) [ClassicSimilarity], result of:
          0.043726064 = score(doc=761,freq=4.0), product of:
            0.123659804 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.032785967 = 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.

0.009109597 = product of:
  0.018219193 = sum of:
    0.018219193 = product of:
      0.036438387 = sum of:
        0.036438387 = weight(_text_:i in 5309) [ClassicSimilarity], result of:
          0.036438387 = score(doc=5309,freq=4.0), product of:
            0.123659804 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.032785967 = queryNorm
            0.29466638 = fieldWeight in 5309, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.0390625 = fieldNorm(doc=5309)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

Currently, several datasets released in a Linked Open Data format are available at a national and international level, but the lack of shared strategies concerning the definition of concepts related to the statistical publishing community makes difficult a comparison among given facts starting from different data sources. In order to guarantee a shared representation framework for what concerns the dissemination of statistical concepts about graduates, we developed SW4AL, an ontology-based system for graduate's surveys domain. The developed system transforms low-level data into an enriched information model and is based on the AlmaLaurea surveys covering more than 90% of Italian graduates. SW4AL: i) semantically describes the different peculiarities of the graduates; ii) promotes the structured definition of the AlmaLaurea data and the following publication in the Linked Open Data context; iii) provides their reuse in the open data scope; iv) enables logical reasoning about knowledge representation. SW4AL establishes a common semantic for addressing the concept of graduate's surveys domain by proposing the creation of a SPARQL endpoint and a Web based interface for the query and the visualization of the structured data.

Location

I

0.00777358 = product of:
  0.01554716 = sum of:
    0.01554716 = product of:
      0.03109432 = sum of:
        0.03109432 = weight(_text_:22 in 759) [ClassicSimilarity], result of:
          0.03109432 = score(doc=759,freq=2.0), product of:
            0.11481087 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.032785967 = queryNorm
            0.2708308 = fieldWeight in 759, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0546875 = fieldNorm(doc=759)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date

11. 5.2013 19:22:18

0.0055525573 = product of:
  0.011105115 = sum of:
    0.011105115 = product of:
      0.02221023 = sum of:
        0.02221023 = weight(_text_:22 in 4553) [ClassicSimilarity], result of:
          0.02221023 = score(doc=4553,freq=2.0), product of:
            0.11481087 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.032785967 = 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