Document (#9690)

Author
Sedelow, W.A.
Title
¬The formal analysis of concepts
Source
Behavior research methods instruments and computers. 25(1993) no.2, S.314-317
Year
1993
Abstract
The present paper focuses on the extraction, by means of a formal logical/mathematical methodology (i.e. automatically, exclusively by rule), of concept content, as in, for example, continuous discourse. The approach to a fully formal defintion of concept content ultimately is owing to a German government initiative to establish 'standards' regarding concepts, in conjunction with efforts to stipulate precisely (and then, derivatively, through computer prgrams) data and information needs according to work role in certain government offices
Theme
Formale Begriffsanalyse

Similar documents (content)

  1. Joshi, A.N.; Maheshwarappa, B.S.: Studies in scientific productivity : a review of literature (1996) 0.08
    0.082801685 = sum of:
      0.082801685 = product of:
        0.51751053 = sum of:
          0.06399821 = weight(abstract_txt:efforts in 819) [ClassicSimilarity], result of:
            0.06399821 = score(doc=819,freq=1.0), product of:
              0.120757274 = queryWeight, product of:
                1.0142225 = boost
                5.653055 = idf(docFreq=399, maxDocs=41962)
                0.021061866 = queryNorm
              0.5299739 = fieldWeight in 819, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.653055 = idf(docFreq=399, maxDocs=41962)
                0.09375 = fieldNorm(doc=819)
          0.23766199 = weight(abstract_txt:owing in 819) [ClassicSimilarity], result of:
            0.23766199 = score(doc=819,freq=1.0), product of:
              0.289584 = queryWeight, product of:
                1.5705938 = boost
                8.754148 = idf(docFreq=17, maxDocs=41962)
                0.021061866 = queryNorm
              0.82070136 = fieldWeight in 819, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.754148 = idf(docFreq=17, maxDocs=41962)
                0.09375 = fieldNorm(doc=819)
          0.06902505 = weight(abstract_txt:concepts in 819) [ClassicSimilarity], result of:
            0.06902505 = score(doc=819,freq=1.0), product of:
              0.16001078 = queryWeight, product of:
                1.6510727 = boost
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.021061866 = queryNorm
              0.43137747 = fieldWeight in 819, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.09375 = fieldNorm(doc=819)
          0.1468253 = weight(abstract_txt:government in 819) [ClassicSimilarity], result of:
            0.1468253 = score(doc=819,freq=1.0), product of:
              0.26465413 = queryWeight, product of:
                2.1233957 = boost
                5.917672 = idf(docFreq=306, maxDocs=41962)
                0.021061866 = queryNorm
              0.5547818 = fieldWeight in 819, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.917672 = idf(docFreq=306, maxDocs=41962)
                0.09375 = fieldNorm(doc=819)
        0.16 = coord(4/25)
    
  2. Warner, J.: Meta- and object-language for information retrieval research : proposal for a distinction (2004) 0.08
    0.08184601 = sum of:
      0.08184601 = product of:
        0.40923005 = sum of:
          0.05036883 = weight(abstract_txt:fully in 1798) [ClassicSimilarity], result of:
            0.05036883 = score(doc=1798,freq=1.0), product of:
              0.13488702 = queryWeight, product of:
                1.0719182 = boost
                5.974639 = idf(docFreq=289, maxDocs=41962)
                0.021061866 = queryNorm
              0.37341493 = fieldWeight in 1798, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.974639 = idf(docFreq=289, maxDocs=41962)
                0.0625 = fieldNorm(doc=1798)
          0.060794994 = weight(abstract_txt:discourse in 1798) [ClassicSimilarity], result of:
            0.060794994 = score(doc=1798,freq=1.0), product of:
              0.15291174 = queryWeight, product of:
                1.1412926 = boost
                6.361316 = idf(docFreq=196, maxDocs=41962)
                0.021061866 = queryNorm
              0.39758226 = fieldWeight in 1798, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.361316 = idf(docFreq=196, maxDocs=41962)
                0.0625 = fieldNorm(doc=1798)
          0.044672444 = weight(abstract_txt:concept in 1798) [ClassicSimilarity], result of:
            0.044672444 = score(doc=1798,freq=1.0), product of:
              0.15687922 = queryWeight, product of:
                1.6348364 = boost
                4.556111 = idf(docFreq=1197, maxDocs=41962)
                0.021061866 = queryNorm
              0.28475693 = fieldWeight in 1798, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.556111 = idf(docFreq=1197, maxDocs=41962)
                0.0625 = fieldNorm(doc=1798)
          0.0460167 = weight(abstract_txt:concepts in 1798) [ClassicSimilarity], result of:
            0.0460167 = score(doc=1798,freq=1.0), product of:
              0.16001078 = queryWeight, product of:
                1.6510727 = boost
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.021061866 = queryNorm
              0.287585 = fieldWeight in 1798, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.0625 = fieldNorm(doc=1798)
          0.20737709 = weight(abstract_txt:formal in 1798) [ClassicSimilarity], result of:
            0.20737709 = score(doc=1798,freq=3.0), product of:
              0.34649965 = queryWeight, product of:
                2.9756963 = boost
                5.5286274 = idf(docFreq=452, maxDocs=41962)
                0.021061866 = queryNorm
              0.5984915 = fieldWeight in 1798, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.5286274 = idf(docFreq=452, maxDocs=41962)
                0.0625 = fieldNorm(doc=1798)
        0.2 = coord(5/25)
    
  3. Crestani, F.; Dominich, S.; Lalmas, M.; Rijsbergen, C.J.K. van: Mathematical, logical, and formal methods in information retrieval : an introduction to the special issue (2003) 0.08
    0.07965129 = sum of:
      0.07965129 = product of:
        0.49782056 = sum of:
          0.084692694 = weight(abstract_txt:logical in 2452) [ClassicSimilarity], result of:
            0.084692694 = score(doc=2452,freq=1.0), product of:
              0.14555666 = queryWeight, product of:
                1.1135062 = boost
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.021061866 = queryNorm
              0.5818538 = fieldWeight in 2452, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.09375 = fieldNorm(doc=2452)
          0.090118825 = weight(abstract_txt:mathematical in 2452) [ClassicSimilarity], result of:
            0.090118825 = score(doc=2452,freq=1.0), product of:
              0.15170915 = queryWeight, product of:
                1.1367959 = boost
                6.336252 = idf(docFreq=201, maxDocs=41962)
                0.021061866 = queryNorm
              0.59402364 = fieldWeight in 2452, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.336252 = idf(docFreq=201, maxDocs=41962)
                0.09375 = fieldNorm(doc=2452)
          0.06902505 = weight(abstract_txt:concepts in 2452) [ClassicSimilarity], result of:
            0.06902505 = score(doc=2452,freq=1.0), product of:
              0.16001078 = queryWeight, product of:
                1.6510727 = boost
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.021061866 = queryNorm
              0.43137747 = fieldWeight in 2452, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.09375 = fieldNorm(doc=2452)
          0.253984 = weight(abstract_txt:formal in 2452) [ClassicSimilarity], result of:
            0.253984 = score(doc=2452,freq=2.0), product of:
              0.34649965 = queryWeight, product of:
                2.9756963 = boost
                5.5286274 = idf(docFreq=452, maxDocs=41962)
                0.021061866 = queryNorm
              0.7329993 = fieldWeight in 2452, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.5286274 = idf(docFreq=452, maxDocs=41962)
                0.09375 = fieldNorm(doc=2452)
        0.16 = coord(4/25)
    
  4. Vlachidis, A.; Binding, C.; Tudhope, D.; May, K.: Excavating grey literature : a case study on the rich indexing of archaeological documents via natural language-processing techniques and knowledge-based resources (2010) 0.08
    0.0781342 = sum of:
      0.0781342 = product of:
        0.39067098 = sum of:
          0.04266547 = weight(abstract_txt:efforts in 949) [ClassicSimilarity], result of:
            0.04266547 = score(doc=949,freq=1.0), product of:
              0.120757274 = queryWeight, product of:
                1.0142225 = boost
                5.653055 = idf(docFreq=399, maxDocs=41962)
                0.021061866 = queryNorm
              0.35331595 = fieldWeight in 949, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.653055 = idf(docFreq=399, maxDocs=41962)
                0.0625 = fieldNorm(doc=949)
          0.11412752 = weight(abstract_txt:extraction in 949) [ClassicSimilarity], result of:
            0.11412752 = score(doc=949,freq=4.0), product of:
              0.14658938 = queryWeight, product of:
                1.1174494 = boost
                6.2284193 = idf(docFreq=224, maxDocs=41962)
                0.021061866 = queryNorm
              0.7785524 = fieldWeight in 949, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.2284193 = idf(docFreq=224, maxDocs=41962)
                0.0625 = fieldNorm(doc=949)
          0.06813209 = weight(abstract_txt:rule in 949) [ClassicSimilarity], result of:
            0.06813209 = score(doc=949,freq=1.0), product of:
              0.16497953 = queryWeight, product of:
                1.1854728 = boost
                6.6075673 = idf(docFreq=153, maxDocs=41962)
                0.021061866 = queryNorm
              0.41297296 = fieldWeight in 949, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6075673 = idf(docFreq=153, maxDocs=41962)
                0.0625 = fieldNorm(doc=949)
          0.0460167 = weight(abstract_txt:concepts in 949) [ClassicSimilarity], result of:
            0.0460167 = score(doc=949,freq=1.0), product of:
              0.16001078 = queryWeight, product of:
                1.6510727 = boost
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.021061866 = queryNorm
              0.287585 = fieldWeight in 949, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.60136 = idf(docFreq=1144, maxDocs=41962)
                0.0625 = fieldNorm(doc=949)
          0.11972921 = weight(abstract_txt:formal in 949) [ClassicSimilarity], result of:
            0.11972921 = score(doc=949,freq=1.0), product of:
              0.34649965 = queryWeight, product of:
                2.9756963 = boost
                5.5286274 = idf(docFreq=452, maxDocs=41962)
                0.021061866 = queryNorm
              0.3455392 = fieldWeight in 949, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5286274 = idf(docFreq=452, maxDocs=41962)
                0.0625 = fieldNorm(doc=949)
        0.2 = coord(5/25)
    
  5. Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011) 0.08
    0.0762018 = sum of:
      0.0762018 = product of:
        0.38100898 = sum of:
          0.044072725 = weight(abstract_txt:fully in 2136) [ClassicSimilarity], result of:
            0.044072725 = score(doc=2136,freq=1.0), product of:
              0.13488702 = queryWeight, product of:
                1.0719182 = boost
                5.974639 = idf(docFreq=289, maxDocs=41962)
                0.021061866 = queryNorm
              0.32673806 = fieldWeight in 2136, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.974639 = idf(docFreq=289, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2136)
          0.049404074 = weight(abstract_txt:logical in 2136) [ClassicSimilarity], result of:
            0.049404074 = score(doc=2136,freq=1.0), product of:
              0.14555666 = queryWeight, product of:
                1.1135062 = boost
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.021061866 = queryNorm
              0.33941472 = fieldWeight in 2136, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2136)
          0.14868847 = weight(abstract_txt:mathematical in 2136) [ClassicSimilarity], result of:
            0.14868847 = score(doc=2136,freq=8.0), product of:
              0.15170915 = queryWeight, product of:
                1.1367959 = boost
                6.336252 = idf(docFreq=201, maxDocs=41962)
                0.021061866 = queryNorm
              0.98008895 = fieldWeight in 2136, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                6.336252 = idf(docFreq=201, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2136)
          0.053195618 = weight(abstract_txt:discourse in 2136) [ClassicSimilarity], result of:
            0.053195618 = score(doc=2136,freq=1.0), product of:
              0.15291174 = queryWeight, product of:
                1.1412926 = boost
                6.361316 = idf(docFreq=196, maxDocs=41962)
                0.021061866 = queryNorm
              0.34788448 = fieldWeight in 2136, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.361316 = idf(docFreq=196, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2136)
          0.08564808 = weight(abstract_txt:government in 2136) [ClassicSimilarity], result of:
            0.08564808 = score(doc=2136,freq=1.0), product of:
              0.26465413 = queryWeight, product of:
                2.1233957 = boost
                5.917672 = idf(docFreq=306, maxDocs=41962)
                0.021061866 = queryNorm
              0.3236227 = fieldWeight in 2136, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.917672 = idf(docFreq=306, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2136)
        0.2 = coord(5/25)