Search (45 results, page 1 of 3)

Priss, U.: Formal concept analysis in information science (2006) 0.02

0.020014118 = product of:
  0.18012707 = sum of:
    0.02408726 = product of:
      0.04817452 = sum of:
        0.04817452 = weight(_text_:29 in 4305) [ClassicSimilarity], result of:
          0.04817452 = score(doc=4305,freq=2.0), product of:
            0.07747029 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.022023074 = queryNorm
            0.6218451 = fieldWeight in 4305, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.125 = fieldNorm(doc=4305)
      0.5 = coord(1/2)
    0.1560398 = weight(_text_:formale in 4305) [ClassicSimilarity], result of:
      0.1560398 = score(doc=4305,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 4305, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=4305)
  0.11111111 = coord(2/18)

Date: 13. 7.2008 19:29:59
Theme: Formale Begriffsanalyse

Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.02

0.019873792 = product of:
  0.17886412 = sum of:
    0.16891804 = weight(_text_:formale in 3142) [ClassicSimilarity], result of:
      0.16891804 = score(doc=3142,freq=6.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.2115237 = fieldWeight in 3142, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.078125 = fieldNorm(doc=3142)
    0.009946076 = product of:
      0.029838227 = sum of:
        0.029838227 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.029838227 = score(doc=3142,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = queryNorm
            0.38690117 = fieldWeight in 3142, 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=3142)
      0.33333334 = coord(1/3)
  0.11111111 = coord(2/18)

Date: 26. 2.2008 15:58:22
RSWK: Begriffsgraph / Formale Begriffsanalyse
Subject: Begriffsgraph / Formale Begriffsanalyse
Theme: Formale Begriffsanalyse

Neuss, C.; Kent, R.E.: Conceptual analysis of resource meta-information (1995) 0.01

0.01108828 = product of:
  0.09979452 = sum of:
    0.021774618 = product of:
      0.043549236 = sum of:
        0.043549236 = weight(_text_:networks in 2204) [ClassicSimilarity], result of:
          0.043549236 = score(doc=2204,freq=2.0), product of:
            0.10416738 = queryWeight, product of:
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.022023074 = queryNorm
            0.4180698 = fieldWeight in 2204, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.0625 = fieldNorm(doc=2204)
      0.5 = coord(1/2)
    0.0780199 = weight(_text_:formale in 2204) [ClassicSimilarity], result of:
      0.0780199 = score(doc=2204,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.5595788 = fieldWeight in 2204, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0625 = fieldNorm(doc=2204)
  0.11111111 = coord(2/18)

Source: Computer networks and ISDN systems. 27(1995) no.6, S.973-984
Theme: Formale Begriffsanalyse

Eklund. P.W.: Logic-based networks : concept graphs and conceptual structures (2000) 0.01
```
0.010559118 = product of:
  0.095032066 = sum of:
    0.036517143 = product of:
      0.07303429 = sum of:
        0.07303429 = weight(_text_:networks in 5084) [ClassicSimilarity], result of:
          0.07303429 = score(doc=5084,freq=10.0), product of:
            0.10416738 = queryWeight, product of:
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.022023074 = queryNorm
            0.70112437 = fieldWeight in 5084, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.046875 = fieldNorm(doc=5084)
      0.5 = coord(1/2)
    0.058514927 = weight(_text_:formale in 5084) [ClassicSimilarity], result of:
      0.058514927 = score(doc=5084,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.41968408 = fieldWeight in 5084, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.046875 = fieldNorm(doc=5084)
  0.11111111 = coord(2/18)
```
Abstract

Logic-based networks are semantic networks that support reasoning capabilities. In this paper, knowledge processing within logicbased networks is viewed as three stages. The first stage involves the formation of concepts and relations: the basic primitives with which we wish to formulate knowledge. The second stage involves the formation of wellformed formulas that express knowledge about the primitive concepts and relations once isolated. The final stage involves efficiently processing the wffs to the desired end. Our research involves each of these steps as they relate to Sowa's conceptual structures and Wille's concept lattices. Formal Concept Analysis gives us a capability to perform concept formation via symbolic machine learning. Concept(ual) Graphs provide a means to describe relational properties between primitive concept and relation types. Finally, techniques from other areas of computer science are required to compute logic-based networks efficiently. This paper illustrates the three stages of knowledge processing in practical terms using examples from our research

Theme

Formale Begriffsanalyse

Vogt, F.; Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data (1995) 0.01

0.009552974 = product of:
  0.085976765 = sum of:
    0.0780199 = weight(_text_:formale in 1901) [ClassicSimilarity], result of:
      0.0780199 = score(doc=1901,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.5595788 = fieldWeight in 1901, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0625 = fieldNorm(doc=1901)
    0.007956861 = product of:
      0.023870582 = sum of:
        0.023870582 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
          0.023870582 = score(doc=1901,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = queryNorm
            0.30952093 = fieldWeight in 1901, 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=1901)
      0.33333334 = coord(1/3)
  0.11111111 = coord(2/18)

Source: Knowledge organization. 22(1995) no.2, S.78-81
Theme: Formale Begriffsanalyse

Wille, R.: Line diagrams of hierarchical concept systems (1984) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3040) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3040,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3040, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3040)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Geometric representations of concept lattices (1989) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3042) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3042,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3042, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3042)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Lattices in data analysis : how to draw them with a computer (1989) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3043) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3043,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3043, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3043)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Concept lattices and conceptual knowledge systems (1992) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3142) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3142,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3142, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3142)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Priss, U.: Faceted information representation (2000) 0.01

0.008358852 = product of:
  0.07522967 = sum of:
    0.06826741 = weight(_text_:formale in 5095) [ClassicSimilarity], result of:
      0.06826741 = score(doc=5095,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.4896314 = fieldWeight in 5095, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0546875 = fieldNorm(doc=5095)
    0.006962253 = product of:
      0.020886758 = sum of:
        0.020886758 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
          0.020886758 = score(doc=5095,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = queryNorm
            0.2708308 = fieldWeight in 5095, 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=5095)
      0.33333334 = coord(1/3)
  0.11111111 = coord(2/18)

Date: 22. 1.2016 17:47:06
Theme: Formale Begriffsanalyse

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

0.008358852 = product of:
  0.07522967 = sum of:
    0.06826741 = weight(_text_:formale in 2654) [ClassicSimilarity], result of:
      0.06826741 = score(doc=2654,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.4896314 = fieldWeight in 2654, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0546875 = fieldNorm(doc=2654)
    0.006962253 = product of:
      0.020886758 = sum of:
        0.020886758 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
          0.020886758 = score(doc=2654,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = 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.11111111 = coord(2/18)

Date: 22. 1.2016 17:30:31
Theme: Formale Begriffsanalyse

Ganter, B.; Stahl, J.; Wille, R.: Conceptual measurement and many-valued contexts (1986) 0.01

0.007585268 = product of:
  0.13653482 = sum of:
    0.13653482 = weight(_text_:formale in 3137) [ClassicSimilarity], result of:
      0.13653482 = score(doc=3137,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.9792628 = fieldWeight in 3137, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=3137)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Ganter, B.; Wille, R.: Conceptual scaling (1989) 0.01

0.007585268 = product of:
  0.13653482 = sum of:
    0.13653482 = weight(_text_:formale in 3138) [ClassicSimilarity], result of:
      0.13653482 = score(doc=3138,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.9792628 = fieldWeight in 3138, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=3138)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Vogt, F.; Wachter, C.; Wille, R.: Data analysis based on a conceptual file (1991) 0.01

0.007585268 = product of:
  0.13653482 = sum of:
    0.13653482 = weight(_text_:formale in 3140) [ClassicSimilarity], result of:
      0.13653482 = score(doc=3140,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.9792628 = fieldWeight in 3140, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=3140)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1992) 0.01

0.007585268 = product of:
  0.13653482 = sum of:
    0.13653482 = weight(_text_:formale in 3147) [ClassicSimilarity], result of:
      0.13653482 = score(doc=3147,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.9792628 = fieldWeight in 3147, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=3147)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Knowledge acquisition by methods of formal concept analysis (1989) 0.01

0.007585268 = product of:
  0.13653482 = sum of:
    0.13653482 = weight(_text_:formale in 594) [ClassicSimilarity], result of:
      0.13653482 = score(doc=594,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.9792628 = fieldWeight in 594, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=594)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Vogt, F.; Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data (1995) 0.01

0.007585268 = product of:
  0.13653482 = sum of:
    0.13653482 = weight(_text_:formale in 595) [ClassicSimilarity], result of:
      0.13653482 = score(doc=595,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.9792628 = fieldWeight in 595, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=595)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Sowa, J.F.: Knowledge representation : logical, philosophical, and computational foundations (2000) 0.01

0.007585268 = product of:
  0.13653482 = sum of:
    0.13653482 = weight(_text_:formale in 4360) [ClassicSimilarity], result of:
      0.13653482 = score(doc=4360,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.9792628 = fieldWeight in 4360, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=4360)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1993) 0.01

0.0065016584 = product of:
  0.11702985 = sum of:
    0.11702985 = weight(_text_:formale in 5262) [ClassicSimilarity], result of:
      0.11702985 = score(doc=5262,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.83936816 = fieldWeight in 5262, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.09375 = fieldNorm(doc=5262)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Rusch, A.; Wille, R.: Knowledge spaces and formal concept analysis (1996) 0.01

0.0065016584 = product of:
  0.11702985 = sum of:
    0.11702985 = weight(_text_:formale in 5895) [ClassicSimilarity], result of:
      0.11702985 = score(doc=5895,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.83936816 = fieldWeight in 5895, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.09375 = fieldNorm(doc=5895)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Search (45 results, page 1 of 3)

Authors

Years

Types

Themes

Subjects