Document (#23072)

Author
Martin, P.
Title
Conventions and notations for knowledge representation and retrieval
Source
Conceptual structures: logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Ed.: B. Ganter et al
Imprint
Berlin : Springer
Year
2000
Pages
S.41-54
Series
Lecture notes in computer science; vol.1867: Lecture notes on artificial intelligence
Abstract
Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common characteristics, conventions or ontological distinctions are beginning to emerge. Since knowledge providers (humans and software agents) must follow common conventions for the knowledge to be widely accessed and re-used, we propose lexical, structural, semantic and ontological conventions based on various knowledge representation projects and our own research. These are minimal conventions that can be followed by most and cover the most common knowledge representation cases. However, agreement and refinements are still required. We also show that a notation can be both readable and expressive by quickly presenting two new notations -- Formalized English (FE) and Frame-CG (FCG) - derived from the CG linear form [9] and Frame-Logics [4]. These notations support the above conventions, and are implemented in our Web-based knowledge representation and document indexation tool, WebKB¹ [7]
Theme
Metadaten
Datenformate
Object
XML
RDF

Similar documents (author)

  1. Martin, G.: Report on the Dewey Decimal Classification editorial Policy Committee (EPC) (1994) 4.57
    4.568049 = sum of:
      4.568049 = weight(author_txt:martin in 3418) [ClassicSimilarity], result of:
        4.568049 = score(doc=3418,freq=1.0), product of:
          0.99999994 = queryWeight, product of:
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.13681988 = queryNorm
          4.5680494 = fieldWeight in 3418, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.625 = fieldNorm(doc=3418)
    
  2. Martin, R.G.: Design considerations for an OPAC workstation : an introduction to specifications and a model configuration (1989) 4.57
    4.568049 = sum of:
      4.568049 = weight(author_txt:martin in 4075) [ClassicSimilarity], result of:
        4.568049 = score(doc=4075,freq=1.0), product of:
          0.99999994 = queryWeight, product of:
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.13681988 = queryNorm
          4.5680494 = fieldWeight in 4075, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.625 = fieldNorm(doc=4075)
    
  3. Martin, R.G.: OPAC workstation evaluation : the third time around (1992) 4.57
    4.568049 = sum of:
      4.568049 = weight(author_txt:martin in 4219) [ClassicSimilarity], result of:
        4.568049 = score(doc=4219,freq=1.0), product of:
          0.99999994 = queryWeight, product of:
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.13681988 = queryNorm
          4.5680494 = fieldWeight in 4219, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.625 = fieldNorm(doc=4219)
    
  4. Martin, B.: Knowledge management (2008) 4.57
    4.568049 = sum of:
      4.568049 = weight(author_txt:martin in 4230) [ClassicSimilarity], result of:
        4.568049 = score(doc=4230,freq=1.0), product of:
          0.99999994 = queryWeight, product of:
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.13681988 = queryNorm
          4.5680494 = fieldWeight in 4230, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.625 = fieldNorm(doc=4230)
    
  5. Martin, M.: Compact disc media evaluation : what we now know about disc quality (1993) 4.57
    4.568049 = sum of:
      4.568049 = weight(author_txt:martin in 4527) [ClassicSimilarity], result of:
        4.568049 = score(doc=4527,freq=1.0), product of:
          0.99999994 = queryWeight, product of:
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.13681988 = queryNorm
          4.5680494 = fieldWeight in 4527, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.308879 = idf(docFreq=76, maxDocs=42306)
            0.625 = fieldNorm(doc=4527)
    

Similar documents (content)

  1. Gnoli, C.: Notation (2018) 0.16
    0.15593609 = sum of:
      0.15593609 = product of:
        0.6497337 = sum of:
          0.068425074 = weight(abstract_txt:notation in 1569) [ClassicSimilarity], result of:
            0.068425074 = score(doc=1569,freq=2.0), product of:
              0.090961784 = queryWeight, product of:
                1.0187982 = boost
                6.808497 = idf(docFreq=126, maxDocs=42306)
                0.013113528 = queryNorm
              0.75223976 = fieldWeight in 1569, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.808497 = idf(docFreq=126, maxDocs=42306)
                0.078125 = fieldNorm(doc=1569)
          0.07533947 = weight(abstract_txt:expressive in 1569) [ClassicSimilarity], result of:
            0.07533947 = score(doc=1569,freq=1.0), product of:
              0.12220074 = queryWeight, product of:
                1.1808524 = boost
                7.8914843 = idf(docFreq=42, maxDocs=42306)
                0.013113528 = queryNorm
              0.6165222 = fieldWeight in 1569, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.8914843 = idf(docFreq=42, maxDocs=42306)
                0.078125 = fieldNorm(doc=1569)
          0.019180637 = weight(abstract_txt:most in 1569) [ClassicSimilarity], result of:
            0.019180637 = score(doc=1569,freq=1.0), product of:
              0.061845887 = queryWeight, product of:
                1.1880347 = boost
                3.969741 = idf(docFreq=2170, maxDocs=42306)
                0.013113528 = queryNorm
              0.31013602 = fieldWeight in 1569, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.969741 = idf(docFreq=2170, maxDocs=42306)
                0.078125 = fieldNorm(doc=1569)
          0.05183707 = weight(abstract_txt:common in 1569) [ClassicSimilarity], result of:
            0.05183707 = score(doc=1569,freq=1.0), product of:
              0.13735977 = queryWeight, product of:
                2.1684484 = boost
                4.830487 = idf(docFreq=917, maxDocs=42306)
                0.013113528 = queryNorm
              0.37738177 = fieldWeight in 1569, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.830487 = idf(docFreq=917, maxDocs=42306)
                0.078125 = fieldNorm(doc=1569)
          0.3847484 = weight(abstract_txt:notations in 1569) [ClassicSimilarity], result of:
            0.3847484 = score(doc=1569,freq=3.0), product of:
              0.3623904 = queryWeight, product of:
                3.5221486 = boost
                7.8460217 = idf(docFreq=44, maxDocs=42306)
                0.013113528 = queryNorm
              1.0616959 = fieldWeight in 1569, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                7.8460217 = idf(docFreq=44, maxDocs=42306)
                0.078125 = fieldNorm(doc=1569)
          0.050203077 = weight(abstract_txt:knowledge in 1569) [ClassicSimilarity], result of:
            0.050203077 = score(doc=1569,freq=1.0), product of:
              0.17833848 = queryWeight, product of:
                3.7742465 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.013113528 = queryNorm
              0.28150445 = fieldWeight in 1569, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.078125 = fieldNorm(doc=1569)
        0.24 = coord(6/25)
    
  2. Bearman, D.; Miller, E.; Rust, G.; Trant, J.; Weibel, S.: ¬A common model to support interoperable metadata : progress report on reconciling metadata requirements from the Dublin Core and INDECS/DOI communities (1999) 0.11
    0.10695861 = sum of:
      0.10695861 = product of:
        0.66849136 = sum of:
          0.09272898 = weight(abstract_txt:common in 3250) [ClassicSimilarity], result of:
            0.09272898 = score(doc=3250,freq=5.0), product of:
              0.13735977 = queryWeight, product of:
                2.1684484 = boost
                4.830487 = idf(docFreq=917, maxDocs=42306)
                0.013113528 = queryNorm
              0.6750811 = fieldWeight in 3250, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                4.830487 = idf(docFreq=917, maxDocs=42306)
                0.0625 = fieldNorm(doc=3250)
          0.06024439 = weight(abstract_txt:representation in 3250) [ClassicSimilarity], result of:
            0.06024439 = score(doc=3250,freq=1.0), product of:
              0.19392325 = queryWeight, product of:
                2.975114 = boost
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.013113528 = queryNorm
              0.310661 = fieldWeight in 3250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.0625 = fieldNorm(doc=3250)
          0.040162463 = weight(abstract_txt:knowledge in 3250) [ClassicSimilarity], result of:
            0.040162463 = score(doc=3250,freq=1.0), product of:
              0.17833848 = queryWeight, product of:
                3.7742465 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.013113528 = queryNorm
              0.22520357 = fieldWeight in 3250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0625 = fieldNorm(doc=3250)
          0.47535557 = weight(abstract_txt:conventions in 3250) [ClassicSimilarity], result of:
            0.47535557 = score(doc=3250,freq=2.0), product of:
              0.6983154 = queryWeight, product of:
                6.9144897 = boost
                7.7014403 = idf(docFreq=51, maxDocs=42306)
                0.013113528 = queryNorm
              0.6807176 = fieldWeight in 3250, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.7014403 = idf(docFreq=51, maxDocs=42306)
                0.0625 = fieldNorm(doc=3250)
        0.16 = coord(4/25)
    
  3. Bosch, M.: Ontologies, different reasoning strategies, different logics, different kinds of knowledge representation : working together (2006) 0.10
    0.10241036 = sum of:
      0.10241036 = product of:
        0.42670986 = sum of:
          0.062059116 = weight(abstract_txt:reuse in 2167) [ClassicSimilarity], result of:
            0.062059116 = score(doc=2167,freq=1.0), product of:
              0.0950915 = queryWeight, product of:
                1.0416685 = boost
                6.961336 = idf(docFreq=108, maxDocs=42306)
                0.013113528 = queryNorm
              0.65262526 = fieldWeight in 2167, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.961336 = idf(docFreq=108, maxDocs=42306)
                0.09375 = fieldNorm(doc=2167)
          0.023016766 = weight(abstract_txt:most in 2167) [ClassicSimilarity], result of:
            0.023016766 = score(doc=2167,freq=1.0), product of:
              0.061845887 = queryWeight, product of:
                1.1880347 = boost
                3.969741 = idf(docFreq=2170, maxDocs=42306)
                0.013113528 = queryNorm
              0.37216324 = fieldWeight in 2167, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.969741 = idf(docFreq=2170, maxDocs=42306)
                0.09375 = fieldNorm(doc=2167)
          0.12881921 = weight(abstract_txt:logics in 2167) [ClassicSimilarity], result of:
            0.12881921 = score(doc=2167,freq=1.0), product of:
              0.15473613 = queryWeight, product of:
                1.3287846 = boost
                8.8800955 = idf(docFreq=15, maxDocs=42306)
                0.013113528 = queryNorm
              0.8325089 = fieldWeight in 2167, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.8800955 = idf(docFreq=15, maxDocs=42306)
                0.09375 = fieldNorm(doc=2167)
          0.06220449 = weight(abstract_txt:common in 2167) [ClassicSimilarity], result of:
            0.06220449 = score(doc=2167,freq=1.0), product of:
              0.13735977 = queryWeight, product of:
                2.1684484 = boost
                4.830487 = idf(docFreq=917, maxDocs=42306)
                0.013113528 = queryNorm
              0.45285815 = fieldWeight in 2167, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.830487 = idf(docFreq=917, maxDocs=42306)
                0.09375 = fieldNorm(doc=2167)
          0.09036659 = weight(abstract_txt:representation in 2167) [ClassicSimilarity], result of:
            0.09036659 = score(doc=2167,freq=1.0), product of:
              0.19392325 = queryWeight, product of:
                2.975114 = boost
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.013113528 = queryNorm
              0.4659915 = fieldWeight in 2167, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.09375 = fieldNorm(doc=2167)
          0.060243696 = weight(abstract_txt:knowledge in 2167) [ClassicSimilarity], result of:
            0.060243696 = score(doc=2167,freq=1.0), product of:
              0.17833848 = queryWeight, product of:
                3.7742465 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.013113528 = queryNorm
              0.33780536 = fieldWeight in 2167, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.09375 = fieldNorm(doc=2167)
        0.24 = coord(6/25)
    
  4. Luksch, P.; Wille, R.: ¬A mathematical model for conceptual knowledge systems (1991) 0.10
    0.096567094 = sum of:
      0.096567094 = product of:
        0.60354435 = sum of:
          0.12612884 = weight(abstract_txt:frame in 3033) [ClassicSimilarity], result of:
            0.12612884 = score(doc=3033,freq=1.0), product of:
              0.19223136 = queryWeight, product of:
                2.0945263 = boost
                6.998724 = idf(docFreq=104, maxDocs=42306)
                0.013113528 = queryNorm
              0.6561304 = fieldWeight in 3033, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.998724 = idf(docFreq=104, maxDocs=42306)
                0.09375 = fieldNorm(doc=3033)
          0.09036659 = weight(abstract_txt:representation in 3033) [ClassicSimilarity], result of:
            0.09036659 = score(doc=3033,freq=1.0), product of:
              0.19392325 = queryWeight, product of:
                2.975114 = boost
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.013113528 = queryNorm
              0.4659915 = fieldWeight in 3033, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.09375 = fieldNorm(doc=3033)
          0.26656154 = weight(abstract_txt:notations in 3033) [ClassicSimilarity], result of:
            0.26656154 = score(doc=3033,freq=1.0), product of:
              0.3623904 = queryWeight, product of:
                3.5221486 = boost
                7.8460217 = idf(docFreq=44, maxDocs=42306)
                0.013113528 = queryNorm
              0.73556453 = fieldWeight in 3033, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.8460217 = idf(docFreq=44, maxDocs=42306)
                0.09375 = fieldNorm(doc=3033)
          0.12048739 = weight(abstract_txt:knowledge in 3033) [ClassicSimilarity], result of:
            0.12048739 = score(doc=3033,freq=4.0), product of:
              0.17833848 = queryWeight, product of:
                3.7742465 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.013113528 = queryNorm
              0.6756107 = fieldWeight in 3033, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.09375 = fieldNorm(doc=3033)
        0.16 = coord(4/25)
    
  5. Schmitz-Esser, W.: Formalizing terminology-based knowledge for an ontology independently of a particular language (2008) 0.09
    0.09041797 = sum of:
      0.09041797 = product of:
        0.45208985 = sum of:
          0.062059116 = weight(abstract_txt:reuse in 3681) [ClassicSimilarity], result of:
            0.062059116 = score(doc=3681,freq=1.0), product of:
              0.0950915 = queryWeight, product of:
                1.0416685 = boost
                6.961336 = idf(docFreq=108, maxDocs=42306)
                0.013113528 = queryNorm
              0.65262526 = fieldWeight in 3681, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.961336 = idf(docFreq=108, maxDocs=42306)
                0.09375 = fieldNorm(doc=3681)
          0.023016766 = weight(abstract_txt:most in 3681) [ClassicSimilarity], result of:
            0.023016766 = score(doc=3681,freq=1.0), product of:
              0.061845887 = queryWeight, product of:
                1.1880347 = boost
                3.969741 = idf(docFreq=2170, maxDocs=42306)
                0.013113528 = queryNorm
              0.37216324 = fieldWeight in 3681, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.969741 = idf(docFreq=2170, maxDocs=42306)
                0.09375 = fieldNorm(doc=3681)
          0.1033533 = weight(abstract_txt:formalized in 3681) [ClassicSimilarity], result of:
            0.1033533 = score(doc=3681,freq=1.0), product of:
              0.13360444 = queryWeight, product of:
                1.2347219 = boost
                8.251487 = idf(docFreq=29, maxDocs=42306)
                0.013113528 = queryNorm
              0.77357686 = fieldWeight in 3681, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.251487 = idf(docFreq=29, maxDocs=42306)
                0.09375 = fieldNorm(doc=3681)
          0.15931551 = weight(abstract_txt:ontological in 3681) [ClassicSimilarity], result of:
            0.15931551 = score(doc=3681,freq=2.0), product of:
              0.17828305 = queryWeight, product of:
                2.017106 = boost
                6.7400293 = idf(docFreq=135, maxDocs=42306)
                0.013113528 = queryNorm
              0.89361 = fieldWeight in 3681, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.7400293 = idf(docFreq=135, maxDocs=42306)
                0.09375 = fieldNorm(doc=3681)
          0.10434514 = weight(abstract_txt:knowledge in 3681) [ClassicSimilarity], result of:
            0.10434514 = score(doc=3681,freq=3.0), product of:
              0.17833848 = queryWeight, product of:
                3.7742465 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.013113528 = queryNorm
              0.58509606 = fieldWeight in 3681, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.09375 = fieldNorm(doc=3681)
        0.2 = coord(5/25)