Search (102 results, page 1 of 6)

0.066491924 = product of:
  0.13298385 = sum of:
    0.13298385 = sum of:
      0.07141977 = weight(_text_:i in 6089) [ClassicSimilarity], result of:
        0.07141977 = score(doc=6089,freq=2.0), product of:
          0.17138503 = queryWeight, product of:
            3.7717297 = idf(docFreq=2765, maxDocs=44218)
            0.045439374 = queryNorm
          0.41672117 = fieldWeight in 6089, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.7717297 = idf(docFreq=2765, maxDocs=44218)
            0.078125 = fieldNorm(doc=6089)
      0.06156408 = weight(_text_:22 in 6089) [ClassicSimilarity], result of:
        0.06156408 = score(doc=6089,freq=2.0), product of:
          0.15912095 = queryWeight, product of:
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.045439374 = queryNorm
          0.38690117 = fieldWeight in 6089, 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=6089)
  0.5 = coord(1/2)

Pages

S.11-22

Series

Propozycje i Materialy; 6

0.039895155 = product of:
  0.07979031 = sum of:
    0.07979031 = sum of:
      0.042851865 = weight(_text_:i in 2418) [ClassicSimilarity], result of:
        0.042851865 = score(doc=2418,freq=2.0), product of:
          0.17138503 = queryWeight, product of:
            3.7717297 = idf(docFreq=2765, maxDocs=44218)
            0.045439374 = queryNorm
          0.25003272 = fieldWeight in 2418, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.7717297 = idf(docFreq=2765, maxDocs=44218)
            0.046875 = fieldNorm(doc=2418)
      0.036938448 = weight(_text_:22 in 2418) [ClassicSimilarity], result of:
        0.036938448 = score(doc=2418,freq=2.0), product of:
          0.15912095 = queryWeight, product of:
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.045439374 = queryNorm
          0.23214069 = fieldWeight in 2418, 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=2418)
  0.5 = coord(1/2)

Source

Research and advanced technology for digital libraries : 10th European conference, proceedings / ECDL 2006, Alicante, Spain, September 17 - 22, 2006

0.039895155 = product of:
  0.07979031 = sum of:
    0.07979031 = sum of:
      0.042851865 = weight(_text_:i in 2623) [ClassicSimilarity], result of:
        0.042851865 = score(doc=2623,freq=2.0), product of:
          0.17138503 = queryWeight, product of:
            3.7717297 = idf(docFreq=2765, maxDocs=44218)
            0.045439374 = queryNorm
          0.25003272 = fieldWeight in 2623, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.7717297 = idf(docFreq=2765, maxDocs=44218)
            0.046875 = fieldNorm(doc=2623)
      0.036938448 = weight(_text_:22 in 2623) [ClassicSimilarity], result of:
        0.036938448 = score(doc=2623,freq=2.0), product of:
          0.15912095 = queryWeight, product of:
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.045439374 = queryNorm
          0.23214069 = fieldWeight in 2623, 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=2623)
  0.5 = coord(1/2)

Abstract

Contemporary retrieval systems, which search across collections, usually ignore collection-level metadata. Alternative approaches, exploiting collection-level information, will require an understanding of the various kinds of relationships that can obtain between collection-level and item-level metadata. This paper outlines the problem and describes a project that is developing a logic-based framework for classifying collection/item metadata relationships. This framework will support (i) metadata specification developers defining metadata elements, (ii) metadata creators describing objects, and (iii) system designers implementing systems that take advantage of collection-level metadata. We present three examples of collection/item metadata relationship categories, attribute/value-propagation, value-propagation, and value-constraint and show that even in these simple cases a precise formulation requires modal notions in addition to first-order logic. These formulations are related to recent work in information retrieval and ontology evaluation.

Source

Metadata for semantic and social applications : proceedings of the International Conference on Dublin Core and Metadata Applications, Berlin, 22 - 26 September 2008, DC 2008: Berlin, Germany / ed. by Jane Greenberg and Wolfgang Klas

0.027063664 = product of:
  0.054127328 = sum of:
    0.054127328 = product of:
      0.21650931 = sum of:
        0.21650931 = weight(_text_:3a in 400) [ClassicSimilarity], result of:
          0.21650931 = score(doc=400,freq=2.0), product of:
            0.38523552 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.045439374 = queryNorm
            0.56201804 = fieldWeight in 400, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=400)
      0.25 = coord(1/4)
  0.5 = coord(1/2)

Content

Vgl.: https%3A%2F%2Faclanthology.org%2FD19-5317.pdf&usg=AOvVaw0ZZFyq5wWTtNTvNkrvjlGA.

0.025250703 = product of:
  0.050501406 = sum of:
    0.050501406 = product of:
      0.10100281 = sum of:
        0.10100281 = weight(_text_:i in 3217) [ClassicSimilarity], result of:
          0.10100281 = score(doc=3217,freq=16.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.58933276 = fieldWeight in 3217, product of:
              4.0 = tf(freq=16.0), with freq of:
                16.0 = termFreq=16.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3217)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

In this chapter I propose that frames provide the fundamental representation of knowledge in human cognition. In the first section, I raise problems with the feature list representations often found in theories of knowledge, and I sketch the solutions that frames provide to them. In the second section, I examine the three fundamental concepts of frames: attribute-value sets, structural invariants, and constraints. Because frames also represents the attributes, values, structural invariants, and constraints within a frame, the mechanism that constructs frames builds them recursively. The frame theory I propose borrows heavily from previous frame theories, although its collection of representational components is somewhat unique. Furthermore, frame theorists generally assume that frames are rigid configurations of independent attributes, whereas I propose that frames are dynamic relational structures whose form is flexible and context dependent. In the third section, I illustrate how frames support a wide variety of representational tasks central to conceptual processing in natural and artificial intelligence. Frames can represent exemplars and propositions, prototypes and membership, subordinates and taxonomies. Frames can also represent conceptual combinations, event sequences, rules, and plans. In the fourth section, I show how frames define the extent of conceptual fields and how they provide a powerful productive mechanism for generating specific concepts within a field.

0.02164797 = product of:
  0.04329594 = sum of:
    0.04329594 = product of:
      0.08659188 = sum of:
        0.08659188 = weight(_text_:i in 1077) [ClassicSimilarity], result of:
          0.08659188 = score(doc=1077,freq=24.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.5052476 = fieldWeight in 1077, product of:
              4.8989797 = tf(freq=24.0), with freq of:
                24.0 = termFreq=24.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.02734375 = fieldNorm(doc=1077)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

My thesis discusses two related problems that have taken center stage in the recent literature on concepts: 1) What are the individuation conditions of concepts? Under what conditions is a concept Cv(1) the same concept as a concept Cv(2)? 2) What are the possession conditions of concepts? What conditions must be satisfied for a thinker to have a concept C? The thesis defends a novel account of concepts, which I call "pluralist-contextualist": 1) Pluralism: Different concepts have different kinds of individuation and possession conditions: some concepts are individuated more "coarsely", have less demanding possession conditions and are widely shared, while other concepts are individuated more "finely" and not shared. 2) Contextualism: When a speaker ascribes a propositional attitude to a subject S, or uses his ascription to explain/predict S's behavior, the speaker's intentions in the relevant context determine the correct individuation conditions for the concepts involved in his report. In chapters 1-3 I defend a contextualist, non-Millian theory of propositional attitude ascriptions. Then, I show how contextualism can be used to offer a novel perspective on the problem of concept individuation/possession. More specifically, I employ contextualism to provide a new, more effective argument for Fodor's "publicity principle": if contextualism is true, then certain specific concepts must be shared in order for interpersonally applicable psychological generalizations to be possible. In chapters 4-5 I raise a tension between publicity and another widely endorsed principle, the "Fregean constraint" (FC): subjects who are unaware of certain identity facts and find themselves in so-called "Frege cases" must have distinct concepts for the relevant object x. For instance: the ancient astronomers had distinct concepts (HESPERUS/PHOSPHORUS) for the same object (the planet Venus). First, I examine some leading theories of concepts and argue that they cannot meet both of our constraints at the same time. Then, I offer principled reasons to think that no theory can satisfy (FC) while also respecting publicity. (FC) appears to require a form of holism, on which a concept is individuated by its global inferential role in a subject S and can thus only be shared by someone who has exactly the same inferential dispositions as S. This explains the tension between publicity and (FC), since holism is clearly incompatible with concept shareability. To solve the tension, I suggest adopting my pluralist-contextualist proposal: concepts involved in Frege cases are holistically individuated and not public, while other concepts are more coarsely individuated and widely shared; given this "plurality" of concepts, we will then need contextual factors (speakers' intentions) to "select" the specific concepts to be employed in our intentional generalizations in the relevant contexts. In chapter 6 I develop the view further by contrasting it with some rival accounts. First, I examine a very different kind of pluralism about concepts, which has been recently defended by Daniel Weiskopf, and argue that it is insufficiently radical. Then, I consider the inferentialist accounts defended by authors like Peacocke, Rey and Jackson. Such views, I argue, are committed to an implausible picture of reference determination, on which our inferential dispositions fix the reference of our concepts: this leads to wrong predictions in all those cases of scientific disagreement where two parties have very different inferential dispositions and yet seem to refer to the same natural kind.

0.020200564 = product of:
  0.040401127 = sum of:
    0.040401127 = product of:
      0.080802254 = sum of:
        0.080802254 = weight(_text_:i in 1594) [ClassicSimilarity], result of:
          0.080802254 = score(doc=1594,freq=4.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.4714662 = fieldWeight in 1594, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.0625 = fieldNorm(doc=1594)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

0.020200564 = product of:
  0.040401127 = sum of:
    0.040401127 = product of:
      0.080802254 = sum of:
        0.080802254 = weight(_text_:i in 216) [ClassicSimilarity], result of:
          0.080802254 = score(doc=216,freq=4.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.4714662 = fieldWeight in 216, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.0625 = fieldNorm(doc=216)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Source

Proceedings of I-Know '07, Graz, September 5-7

0.018555403 = product of:
  0.037110806 = sum of:
    0.037110806 = product of:
      0.07422161 = sum of:
        0.07422161 = weight(_text_:i in 2489) [ClassicSimilarity], result of:
          0.07422161 = score(doc=2489,freq=6.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.43306938 = fieldWeight in 2489, product of:
              2.4494898 = tf(freq=6.0), with freq of:
                6.0 = termFreq=6.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.046875 = fieldNorm(doc=2489)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

It is proposed that sufficient research into ontology design has not been achieved and that this deficiency has led to the insufficiency of ontology in reinforcing its communications frameworks, knowledge sharing and re-use applications. In order to diagnose the problems of ontology research, I first survey the notion of ontology in the context of ontology design, based on a Means-Ends tool provided by a Cognitive Work Analysis. The potential contributions of knowledge organization in library and information sciences that can be used to improve the limitations of ontology research are demonstrated. I propose a context-centered view as an approach for ontology design, and present faceted classification as an appropriate method for structuring ontology. In addition, I also provides a case study of wine ontology in order to demonstrate how knowledge organization approaches in library and information science can improve ontology design.

0.018042443 = product of:
  0.036084887 = sum of:
    0.036084887 = product of:
      0.14433955 = sum of:
        0.14433955 = weight(_text_:3a in 701) [ClassicSimilarity], result of:
          0.14433955 = score(doc=701,freq=2.0), product of:
            0.38523552 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.045439374 = queryNorm
            0.3746787 = fieldWeight in 701, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.03125 = fieldNorm(doc=701)
      0.25 = coord(1/4)
  0.5 = coord(1/2)

Content

Vgl.: http%3A%2F%2Fdigbib.ubka.uni-karlsruhe.de%2Fvolltexte%2Fdocuments%2F1627&ei=tAtYUYrBNoHKtQb3l4GYBw&usg=AFQjCNHeaxKkKU3-u54LWxMNYGXaaDLCGw&sig2=8WykXWQoDKjDSdGtAakH2Q&bvm=bv.44442042,d.Yms.

0.018042443 = product of:
  0.036084887 = sum of:
    0.036084887 = product of:
      0.14433955 = sum of:
        0.14433955 = weight(_text_:3a in 5820) [ClassicSimilarity], result of:
          0.14433955 = score(doc=5820,freq=2.0), product of:
            0.38523552 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.045439374 = queryNorm
            0.3746787 = fieldWeight in 5820, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.03125 = fieldNorm(doc=5820)
      0.25 = coord(1/4)
  0.5 = coord(1/2)

Content

Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Language and Information Technologies. Vgl.: https%3A%2F%2Fwww.cs.cmu.edu%2F~cx%2Fpapers%2Fknowledge_based_text_representation.pdf&usg=AOvVaw0SaTSvhWLTh__Uz_HtOtl3.

0.017854942 = product of:
  0.035709884 = sum of:
    0.035709884 = product of:
      0.07141977 = sum of:
        0.07141977 = weight(_text_:i in 4327) [ClassicSimilarity], result of:
          0.07141977 = score(doc=4327,freq=2.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.41672117 = fieldWeight in 4327, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.078125 = fieldNorm(doc=4327)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Content

Part I. Analyzing the state of the art - What is semantic search? Part II. The proposal - An ontology-based IR model - Semantic retrieval on the Web Part III. Extensions - Semantic knowledge gateway - Coping with knowledge incompleteness

0.017675493 = product of:
  0.035350986 = sum of:
    0.035350986 = product of:
      0.07070197 = sum of:
        0.07070197 = weight(_text_:i in 3939) [ClassicSimilarity], result of:
          0.07070197 = score(doc=3939,freq=4.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.41253293 = fieldWeight in 3939, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.0546875 = fieldNorm(doc=3939)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

The Semantic Web has attracted much attention, both from academia and industry. An important role in research towards the Semantic Web is played by formalisms and technologies for handling uncertainty and/or vagueness. In this paper, I first provide some motivating examples for handling uncertainty and/or vagueness in the Semantic Web. I then give an overview of some own formalisms for handling uncertainty and/or vagueness in the Semantic Web.

0.016533911 = product of:
  0.033067822 = sum of:
    0.033067822 = product of:
      0.066135645 = sum of:
        0.066135645 = weight(_text_:i in 2362) [ClassicSimilarity], result of:
          0.066135645 = score(doc=2362,freq=14.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.38588926 = fieldWeight in 2362, product of:
              3.7416575 = tf(freq=14.0), with freq of:
                14.0 = termFreq=14.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.02734375 = fieldNorm(doc=2362)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Abstract

The paper analysed here is a kind of position paper. In order to get a better under-standing of the reported work I used the retrieval interface of the thesaurus, the so-called NCI DTS Browser accessible via the Web3, and I perused the cited OWL file4 with numerous "Find" and "Find next" string searches. In addition the file was im-ported into Protégé 2000, Release 2.0, with OWL Plugin 1.0 and Racer Plugin 1.7.14. At the end of the paper's introduction the authors say: "In the following sections, this paper will describe the terminology development process at NCI, and the issues associated with converting a description logic based nomenclature to a semantically rich OWL ontology." While I will not deal with the first part, i.e. the terminology development process at NCI, I do not see the thesaurus as a description logic based nomenclature, or its cur-rent state and conversion already result in a "rich" OWL ontology. What does "rich" mean here? According to my view there is a great quantity of concepts and links but a very poor description logic structure which enables inferences. And what does the fol-lowing really mean, which is said a few lines previously: "Although editors have defined a number of named ontologic relations to support the description-logic based structure of the Thesaurus, additional relation-ships are considered for inclusion as required to support dependent applications."
According to my findings several relations available in the thesaurus query interface as "roles", are not used, i.e. there are not yet any assertions with them. And those which are used do not contribute to complete concept definitions of concepts which represent thesaurus main entries. In other words: The authors claim to already have a "description logic based nomenclature", where there is not yet one which deserves that title by being much more than a thesaurus with strict subsumption and additional inheritable semantic links. In the last section of the paper the authors say: "The most time consuming process in this conversion was making a careful analysis of the Thesaurus to understand the best way to translate it into OWL." "For other conversions, these same types of distinctions and decisions must be made. The expressive power of a proprietary encoding can vary widely from that in OWL or RDF. Understanding the original semantics and engineering a solution that most closely duplicates it is critical for creating a useful and accu-rate ontology." My question is: What decisions were made and are they exemplary, can they be rec-ommended as "the best way"? I raise strong doubts with respect to that, and I miss more profound discussions of the issues at stake. The following notes are dedicated to a critical description and assessment of the results of that conversion activity. They are written in a tutorial style more or less addressing students, but myself being a learner especially in the field of medical knowledge representation I do not speak "ex cathedra".

0.01539102 = product of:
  0.03078204 = sum of:
    0.03078204 = product of:
      0.06156408 = sum of:
        0.06156408 = weight(_text_:22 in 5576) [ClassicSimilarity], result of:
          0.06156408 = score(doc=5576,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = queryNorm
            0.38690117 = fieldWeight in 5576, 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=5576)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date

13.12.2017 14:17:22

0.01539102 = product of:
  0.03078204 = sum of:
    0.03078204 = product of:
      0.06156408 = sum of:
        0.06156408 = weight(_text_:22 in 539) [ClassicSimilarity], result of:
          0.06156408 = score(doc=539,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = 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.5 = coord(1/2)
  0.5 = coord(1/2)

Date

26.12.2011 13:22:07

0.01539102 = product of:
  0.03078204 = sum of:
    0.03078204 = product of:
      0.06156408 = sum of:
        0.06156408 = weight(_text_:22 in 3406) [ClassicSimilarity], result of:
          0.06156408 = score(doc=3406,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = queryNorm
            0.38690117 = fieldWeight in 3406, 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=3406)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Date

30. 5.2010 16:22:35

0.01539102 = product of:
  0.03078204 = sum of:
    0.03078204 = product of:
      0.06156408 = sum of:
        0.06156408 = weight(_text_:22 in 4523) [ClassicSimilarity], result of:
          0.06156408 = score(doc=4523,freq=2.0), product of:
            0.15912095 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.045439374 = queryNorm
            0.38690117 = fieldWeight in 4523, 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=4523)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Source

Spektrum der Wissenschaft. 2018, H.1, S.22-27

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.

0.014283955 = product of:
  0.02856791 = sum of:
    0.02856791 = product of:
      0.05713582 = sum of:
        0.05713582 = weight(_text_:i in 6020) [ClassicSimilarity], result of:
          0.05713582 = score(doc=6020,freq=2.0), product of:
            0.17138503 = queryWeight, product of:
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.045439374 = queryNorm
            0.33337694 = fieldWeight in 6020, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.7717297 = idf(docFreq=2765, maxDocs=44218)
              0.0625 = fieldNorm(doc=6020)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Object

I-Views