Search (11 results, page 1 of 1)

Menzel, C.: Knowledge representation, the World Wide Web, and the evolution of logic (2011) 0.02
```
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.

Tudhope, D.; Hodge, G.: Terminology registries (2007) 0.00

0.0041749803 = product of:
  0.016699921 = sum of:
    0.016699921 = product of:
      0.050099764 = sum of:
        0.050099764 = weight(_text_:22 in 539) [ClassicSimilarity], result of:
          0.050099764 = score(doc=539,freq=2.0), product of:
            0.12948982 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03697776 = queryNorm
            0.38690117 = fieldWeight in 539, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.078125 = fieldNorm(doc=539)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date: 26.12.2011 13:22:07

OWL Web Ontology Language Test Cases (2004) 0.00

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

Date: 14. 8.2011 13:33:22

Mayfield, J.; Finin, T.: Information retrieval on the Semantic Web : integrating inference and retrieval 0.00

0.0029224863 = product of:
  0.011689945 = sum of:
    0.011689945 = product of:
      0.035069834 = sum of:
        0.035069834 = weight(_text_:22 in 4330) [ClassicSimilarity], result of:
          0.035069834 = score(doc=4330,freq=2.0), product of:
            0.12948982 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03697776 = queryNorm
            0.2708308 = fieldWeight in 4330, 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=4330)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date: 12. 2.2011 17:35:22

Priss, U.: Faceted knowledge representation (1999) 0.00

0.0029224863 = product of:
  0.011689945 = sum of:
    0.011689945 = product of:
      0.035069834 = sum of:
        0.035069834 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
          0.035069834 = score(doc=2654,freq=2.0), product of:
            0.12948982 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03697776 = queryNorm
            0.2708308 = fieldWeight in 2654, 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=2654)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)

Date: 22. 1.2016 17:30:31

Definition of the CIDOC Conceptual Reference Model (2003) 0.00

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

Date: 6. 8.2010 14:22:28

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

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

Bittner, T.; Donnelly, M.; Winter, S.: Ontology and semantic interoperability (2006) 0.00

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

Date: 3.12.2016 18:39:22

Priss, U.: Description logic and faceted knowledge representation (1999) 0.00

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

Date: 22. 1.2016 17:30:31

Beppler, F.D.; Fonseca, F.T.; Pacheco, R.C.S.: Hermeneus: an architecture for an ontology-enabled information retrieval (2008) 0.00

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

Date: 28.11.2016 12:43:22

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

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

Search (11 results, page 1 of 1)

Authors

Years

Types

Themes