Search (6 results, page 1 of 1)

  • × theme_ss:"Formale Begriffsanalyse"
  1. Eklund, P.; Groh, B.; Stumme, G.; Wille, R.: ¬A conceptual-logic extension of TOSCANA (2000) 0.10
    0.104740344 = product of:
      0.41896138 = sum of:
        0.41896138 = weight(_text_:sowa's in 5082) [ClassicSimilarity], result of:
          0.41896138 = score(doc=5082,freq=2.0), product of:
            0.6129627 = queryWeight, product of:
              10.310593 = idf(docFreq=3, maxDocs=44218)
              0.059449807 = queryNorm
            0.6835022 = fieldWeight in 5082, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              10.310593 = idf(docFreq=3, maxDocs=44218)
              0.046875 = fieldNorm(doc=5082)
      0.25 = coord(1/4)
    
    Abstract
    The aim of this paper is to indicate how TOSCANA may be extended to allow graphical representations not only of concept lattices but also of concept graphs in the sense of Contextual Logic. The contextual- logic extension of TOSCANA requires the logical scaling of conceptual and relational scales for which we propose the Peircean Algebraic Logic as reconstructed by R. W. Burch. As graphical representations we recommend, besides labelled line diagrams of concept lattices and Sowa's diagrams of conceptual graphs, particular information maps for utilizing background knowledge as much as possible. Our considerations are illustrated by a small information system about the domestic flights in Austria
  2. Eklund. P.W.: Logic-based networks : concept graphs and conceptual structures (2000) 0.10
    0.104740344 = product of:
      0.41896138 = sum of:
        0.41896138 = weight(_text_:sowa's in 5084) [ClassicSimilarity], result of:
          0.41896138 = score(doc=5084,freq=2.0), product of:
            0.6129627 = queryWeight, product of:
              10.310593 = idf(docFreq=3, maxDocs=44218)
              0.059449807 = queryNorm
            0.6835022 = fieldWeight in 5084, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              10.310593 = idf(docFreq=3, maxDocs=44218)
              0.046875 = fieldNorm(doc=5084)
      0.25 = coord(1/4)
    
    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
  3. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.02
    0.02013657 = product of:
      0.08054628 = sum of:
        0.08054628 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.08054628 = score(doc=3142,freq=2.0), product of:
            0.2081831 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.059449807 = 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.25 = coord(1/4)
    
    Date
    26. 2.2008 15:58:22
  4. Vogt, F.; Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data (1995) 0.02
    0.016109256 = product of:
      0.064437024 = sum of:
        0.064437024 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
          0.064437024 = score(doc=1901,freq=2.0), product of:
            0.2081831 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.059449807 = 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.25 = coord(1/4)
    
    Source
    Knowledge organization. 22(1995) no.2, S.78-81
  5. Priss, U.: Faceted information representation (2000) 0.01
    0.014095599 = product of:
      0.056382395 = sum of:
        0.056382395 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
          0.056382395 = score(doc=5095,freq=2.0), product of:
            0.2081831 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.059449807 = 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.25 = coord(1/4)
    
    Date
    22. 1.2016 17:47:06
  6. Priss, U.: Faceted knowledge representation (1999) 0.01
    0.014095599 = product of:
      0.056382395 = sum of:
        0.056382395 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
          0.056382395 = score(doc=2654,freq=2.0), product of:
            0.2081831 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.059449807 = 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.25 = coord(1/4)
    
    Date
    22. 1.2016 17:30:31