Document (#41477)

Author
Giunchiglia, F.
Villafiorita, A.
Walsh, T.
Title
Theories of abstraction
Source
AI communications. 10(1997) nos.3/4, S.167-176
Year
1997
Abstract
Describes the types of representations used in different theories of abstractions. Shows how the type of mapping between these representations has been increasingly generalised. Discusses desirable properties preserved by such mappings and identifies how these properties are influenced by the mappings and the presentations defined. Surveys programs made in understanding the complexity reduction associated with abstraction. Focuses on formal models of how abstraction reduces the search space. Presents some of the systems that implement abstraction. shows how the efforts in this area have focused on the mechanisation of languages for the declarative representation of abstraction.
Theme
Wissensrepräsentation

Similar documents (author)

  1. Walsh, R.T.: Development of a community information service : the national capital area public access network (CapAccess) - a work in progress (1993) 5.47 
    5.4731426 = sum of:
  5.4731426 = weight(author_txt:walsh in 6281) [ClassicSimilarity], result of:
    5.4731426 = fieldWeight in 6281, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      8.757029 = idf(docFreq=18, maxDocs=44421)
      0.625 = fieldNorm(doc=6281)
  2. Walsh, V.I.: Standards of archival description : a handbook. With contributions by M. Matters (1994) 5.47 
    5.4731426 = sum of:
  5.4731426 = weight(author_txt:walsh in 2618) [ClassicSimilarity], result of:
    5.4731426 = fieldWeight in 2618, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      8.757029 = idf(docFreq=18, maxDocs=44421)
      0.625 = fieldNorm(doc=2618)
  3. Walsh, P.: ¬The neon paintbrush : seeing, technology, and the museum as metaphor (2000) 5.47 
    5.4731426 = sum of:
  5.4731426 = weight(author_txt:walsh in 5292) [ClassicSimilarity], result of:
    5.4731426 = fieldWeight in 5292, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      8.757029 = idf(docFreq=18, maxDocs=44421)
      0.625 = fieldNorm(doc=5292)
  4. Walsh, J.: ¬The use of Library of Congress Subject Headings in digital collections (2011) 5.47 
    5.4731426 = sum of:
  5.4731426 = weight(author_txt:walsh in 549) [ClassicSimilarity], result of:
    5.4731426 = fieldWeight in 549, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      8.757029 = idf(docFreq=18, maxDocs=44421)
      0.625 = fieldNorm(doc=549)
  5. Walsh, J.A.: "Images of God and friends of God" : the holy icon as document (2012) 5.47 
    5.4731426 = sum of:
  5.4731426 = weight(author_txt:walsh in 974) [ClassicSimilarity], result of:
    5.4731426 = fieldWeight in 974, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      8.757029 = idf(docFreq=18, maxDocs=44421)
      0.625 = fieldNorm(doc=974)

Similar documents (content)

  1. Curras, E.: System evolution within the information concept (1997) 0.12 
    0.11735458 = sum of:
  0.11735458 = product of:
    0.73346615 = sum of:
      0.01551151 = weight(abstract_txt:these in 1657) [ClassicSimilarity], result of:
        0.01551151 = score(doc=1657,freq=1.0), product of:
          0.05198322 = queryWeight, product of:
            1.1529126 = boost
            3.1828754 = idf(docFreq=5006, maxDocs=44421)
            0.0141659975 = queryNorm
          0.29839456 = fieldWeight in 1657, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1828754 = idf(docFreq=5006, maxDocs=44421)
            0.09375 = fieldNorm(doc=1657)
      0.12235703 = weight(abstract_txt:theories in 1657) [ClassicSimilarity], result of:
        0.12235703 = score(doc=1657,freq=2.0), product of:
          0.16349448 = queryWeight, product of:
            2.0446377 = boost
            5.6446834 = idf(docFreq=426, maxDocs=44421)
            0.0141659975 = queryNorm
          0.7483863 = fieldWeight in 1657, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.6446834 = idf(docFreq=426, maxDocs=44421)
            0.09375 = fieldNorm(doc=1657)
      0.09771864 = weight(abstract_txt:properties in 1657) [ClassicSimilarity], result of:
        0.09771864 = score(doc=1657,freq=1.0), product of:
          0.17731497 = queryWeight, product of:
            2.1293032 = boost
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.0141659975 = queryNorm
          0.55110204 = fieldWeight in 1657, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.09375 = fieldNorm(doc=1657)
      0.49787894 = weight(abstract_txt:abstraction in 1657) [ClassicSimilarity], result of:
        0.49787894 = score(doc=1657,freq=1.0), product of:
          0.7125625 = queryWeight, product of:
            6.749107 = boost
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.0141659975 = queryNorm
          0.69871616 = fieldWeight in 1657, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.09375 = fieldNorm(doc=1657)
    0.16 = coord(4/25)
  2. Frické, M.: Reflections on classification : Thomas Reid and bibliographic description (2013) 0.10 
    0.10391899 = sum of:
  0.10391899 = product of:
    0.6494937 = sum of:
      0.051198177 = weight(abstract_txt:influenced in 2766) [ClassicSimilarity], result of:
        0.051198177 = score(doc=2766,freq=1.0), product of:
          0.10328588 = queryWeight, product of:
            1.149133 = boost
            6.3448815 = idf(docFreq=211, maxDocs=44421)
            0.0141659975 = queryNorm
          0.49569386 = fieldWeight in 2766, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.3448815 = idf(docFreq=211, maxDocs=44421)
            0.078125 = fieldNorm(doc=2766)
      0.10196419 = weight(abstract_txt:theories in 2766) [ClassicSimilarity], result of:
        0.10196419 = score(doc=2766,freq=2.0), product of:
          0.16349448 = queryWeight, product of:
            2.0446377 = boost
            5.6446834 = idf(docFreq=426, maxDocs=44421)
            0.0141659975 = queryNorm
          0.62365526 = fieldWeight in 2766, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.6446834 = idf(docFreq=426, maxDocs=44421)
            0.078125 = fieldNorm(doc=2766)
      0.0814322 = weight(abstract_txt:properties in 2766) [ClassicSimilarity], result of:
        0.0814322 = score(doc=2766,freq=1.0), product of:
          0.17731497 = queryWeight, product of:
            2.1293032 = boost
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.0141659975 = queryNorm
          0.4592517 = fieldWeight in 2766, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.078125 = fieldNorm(doc=2766)
      0.4148991 = weight(abstract_txt:abstraction in 2766) [ClassicSimilarity], result of:
        0.4148991 = score(doc=2766,freq=1.0), product of:
          0.7125625 = queryWeight, product of:
            6.749107 = boost
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.0141659975 = queryNorm
          0.58226347 = fieldWeight in 2766, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.078125 = fieldNorm(doc=2766)
    0.16 = coord(4/25)
  3. Doerr, M.: Semantic problems of thesaurus mapping (2001) 0.10 
    0.10044628 = sum of:
  0.10044628 = product of:
    0.50223136 = sum of:
      0.0382606 = weight(abstract_txt:mapping in 902) [ClassicSimilarity], result of:
        0.0382606 = score(doc=902,freq=2.0), product of:
          0.08563089 = queryWeight, product of:
            1.0463213 = boost
            5.7772117 = idf(docFreq=373, maxDocs=44421)
            0.0141659975 = queryNorm
          0.4468084 = fieldWeight in 902, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.7772117 = idf(docFreq=373, maxDocs=44421)
            0.0546875 = fieldNorm(doc=902)
      0.028895626 = weight(abstract_txt:complexity in 902) [ClassicSimilarity], result of:
        0.028895626 = score(doc=902,freq=1.0), product of:
          0.08947341 = queryWeight, product of:
            1.0695394 = boost
            5.90541 = idf(docFreq=328, maxDocs=44421)
            0.0141659975 = queryNorm
          0.3229521 = fieldWeight in 902, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.90541 = idf(docFreq=328, maxDocs=44421)
            0.0546875 = fieldNorm(doc=902)
      0.037318673 = weight(abstract_txt:shows in 902) [ClassicSimilarity], result of:
        0.037318673 = score(doc=902,freq=1.0), product of:
          0.13369034 = queryWeight, product of:
            1.848906 = boost
            5.104322 = idf(docFreq=732, maxDocs=44421)
            0.0141659975 = queryNorm
          0.27914262 = fieldWeight in 902, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.104322 = idf(docFreq=732, maxDocs=44421)
            0.0546875 = fieldNorm(doc=902)
      0.1073271 = weight(abstract_txt:mappings in 902) [ClassicSimilarity], result of:
        0.1073271 = score(doc=902,freq=1.0), product of:
          0.27036816 = queryWeight, product of:
            2.6293147 = boost
            7.2588162 = idf(docFreq=84, maxDocs=44421)
            0.0141659975 = queryNorm
          0.39696652 = fieldWeight in 902, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.2588162 = idf(docFreq=84, maxDocs=44421)
            0.0546875 = fieldNorm(doc=902)
      0.29042938 = weight(abstract_txt:abstraction in 902) [ClassicSimilarity], result of:
        0.29042938 = score(doc=902,freq=1.0), product of:
          0.7125625 = queryWeight, product of:
            6.749107 = boost
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.0141659975 = queryNorm
          0.40758443 = fieldWeight in 902, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.0546875 = fieldNorm(doc=902)
    0.2 = coord(5/25)
  4. Hoekstra, R.: BestMap: context-aware SKOS vocabulary mappings in OWL 2 (2009) 0.09 
    0.088434555 = sum of:
  0.088434555 = product of:
    0.55271596 = sum of:
      0.080330536 = weight(abstract_txt:mapping in 2574) [ClassicSimilarity], result of:
        0.080330536 = score(doc=2574,freq=3.0), product of:
          0.08563089 = queryWeight, product of:
            1.0463213 = boost
            5.7772117 = idf(docFreq=373, maxDocs=44421)
            0.0141659975 = queryNorm
          0.93810225 = fieldWeight in 2574, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.7772117 = idf(docFreq=373, maxDocs=44421)
            0.09375 = fieldNorm(doc=2574)
      0.01551151 = weight(abstract_txt:these in 2574) [ClassicSimilarity], result of:
        0.01551151 = score(doc=2574,freq=1.0), product of:
          0.05198322 = queryWeight, product of:
            1.1529126 = boost
            3.1828754 = idf(docFreq=5006, maxDocs=44421)
            0.0141659975 = queryNorm
          0.29839456 = fieldWeight in 2574, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1828754 = idf(docFreq=5006, maxDocs=44421)
            0.09375 = fieldNorm(doc=2574)
      0.13819504 = weight(abstract_txt:properties in 2574) [ClassicSimilarity], result of:
        0.13819504 = score(doc=2574,freq=2.0), product of:
          0.17731497 = queryWeight, product of:
            2.1293032 = boost
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.0141659975 = queryNorm
          0.77937603 = fieldWeight in 2574, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.09375 = fieldNorm(doc=2574)
      0.31867886 = weight(abstract_txt:mappings in 2574) [ClassicSimilarity], result of:
        0.31867886 = score(doc=2574,freq=3.0), product of:
          0.27036816 = queryWeight, product of:
            2.6293147 = boost
            7.2588162 = idf(docFreq=84, maxDocs=44421)
            0.0141659975 = queryNorm
          1.1786848 = fieldWeight in 2574, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            7.2588162 = idf(docFreq=84, maxDocs=44421)
            0.09375 = fieldNorm(doc=2574)
    0.16 = coord(4/25)
  5. Thiel, C.: ¬Der klassische und der moderne Begriff des Begriffs : Gedanken zur Geschichte der Begriffsbildung in den exakten Wissenschaften (1994) 0.07 
    0.07441371 = sum of:
  0.07441371 = product of:
    0.46508572 = sum of:
      0.010341006 = weight(abstract_txt:these in 7867) [ClassicSimilarity], result of:
        0.010341006 = score(doc=7867,freq=1.0), product of:
          0.05198322 = queryWeight, product of:
            1.1529126 = boost
            3.1828754 = idf(docFreq=5006, maxDocs=44421)
            0.0141659975 = queryNorm
          0.19892971 = fieldWeight in 7867, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.1828754 = idf(docFreq=5006, maxDocs=44421)
            0.0625 = fieldNorm(doc=7867)
      0.05767966 = weight(abstract_txt:theories in 7867) [ClassicSimilarity], result of:
        0.05767966 = score(doc=7867,freq=1.0), product of:
          0.16349448 = queryWeight, product of:
            2.0446377 = boost
            5.6446834 = idf(docFreq=426, maxDocs=44421)
            0.0141659975 = queryNorm
          0.3527927 = fieldWeight in 7867, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.6446834 = idf(docFreq=426, maxDocs=44421)
            0.0625 = fieldNorm(doc=7867)
      0.06514576 = weight(abstract_txt:properties in 7867) [ClassicSimilarity], result of:
        0.06514576 = score(doc=7867,freq=1.0), product of:
          0.17731497 = queryWeight, product of:
            2.1293032 = boost
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.0141659975 = queryNorm
          0.36740136 = fieldWeight in 7867, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.878422 = idf(docFreq=337, maxDocs=44421)
            0.0625 = fieldNorm(doc=7867)
      0.33191928 = weight(abstract_txt:abstraction in 7867) [ClassicSimilarity], result of:
        0.33191928 = score(doc=7867,freq=1.0), product of:
          0.7125625 = queryWeight, product of:
            6.749107 = boost
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.0141659975 = queryNorm
          0.46581078 = fieldWeight in 7867, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.4529724 = idf(docFreq=69, maxDocs=44421)
            0.0625 = fieldNorm(doc=7867)
    0.16 = coord(4/25)