Document (#23071)

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.58

   4.5825124 = sum of:
     4.5825124 = weight(author_txt:martin in 3417) [ClassicSimilarity], result of:
       4.5825124 = fieldWeight in 3417, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.33202 = idf(docFreq=78, maxDocs=44421)
         0.625 = fieldNorm(doc=3417)
   

2. Martin, R.G.: Design considerations for an OPAC workstation : an introduction to specifications and a model configuration (1989) 4.58

   4.5825124 = sum of:
     4.5825124 = weight(author_txt:martin in 4074) [ClassicSimilarity], result of:
       4.5825124 = fieldWeight in 4074, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.33202 = idf(docFreq=78, maxDocs=44421)
         0.625 = fieldNorm(doc=4074)
   

3. Martin, R.G.: OPAC workstation evaluation : the third time around (1992) 4.58

   4.5825124 = sum of:
     4.5825124 = weight(author_txt:martin in 4218) [ClassicSimilarity], result of:
       4.5825124 = fieldWeight in 4218, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.33202 = idf(docFreq=78, maxDocs=44421)
         0.625 = fieldNorm(doc=4218)
   

4. Martin, B.: Knowledge management (2008) 4.58

   4.5825124 = sum of:
     4.5825124 = weight(author_txt:martin in 4229) [ClassicSimilarity], result of:
       4.5825124 = fieldWeight in 4229, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.33202 = idf(docFreq=78, maxDocs=44421)
         0.625 = fieldNorm(doc=4229)
   

5. Martin, M.: Compact disc media evaluation : what we now know about disc quality (1993) 4.58

   4.5825124 = sum of:
     4.5825124 = weight(author_txt:martin in 4526) [ClassicSimilarity], result of:
       4.5825124 = fieldWeight in 4526, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.33202 = idf(docFreq=78, maxDocs=44421)
         0.625 = fieldNorm(doc=4526)
   

Similar documents (content)

1. Gnoli, C.: Notation (2018) 0.16

   0.15771927 = sum of:
     0.15771927 = product of:
       0.6571636 = sum of:
         0.070047714 = weight(abstract_txt:notation in 650) [ClassicSimilarity], result of:
           0.070047714 = score(doc=650,freq=2.0), product of:
             0.09277227 = queryWeight, product of:
               1.0303608 = boost
               6.8339334 = idf(docFreq=129, maxDocs=44421)
               0.013175227 = queryNorm
             0.7550501 = fieldWeight in 650, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.8339334 = idf(docFreq=129, maxDocs=44421)
               0.078125 = fieldNorm(doc=650)
         0.07450687 = weight(abstract_txt:expressive in 650) [ClassicSimilarity], result of:
           0.07450687 = score(doc=650,freq=1.0), product of:
             0.12179508 = queryWeight, product of:
               1.1805792 = boost
               7.8302665 = idf(docFreq=47, maxDocs=44421)
               0.013175227 = queryNorm
             0.6117396 = fieldWeight in 650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.8302665 = idf(docFreq=47, maxDocs=44421)
               0.078125 = fieldNorm(doc=650)
         0.019016873 = weight(abstract_txt:most in 650) [ClassicSimilarity], result of:
           0.019016873 = score(doc=650,freq=1.0), product of:
             0.061744973 = queryWeight, product of:
               1.188765 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.013175227 = queryNorm
             0.30799064 = fieldWeight in 650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.078125 = fieldNorm(doc=650)
         0.051642433 = weight(abstract_txt:common in 650) [ClassicSimilarity], result of:
           0.051642433 = score(doc=650,freq=1.0), product of:
             0.13757634 = queryWeight, product of:
               2.1732652 = boost
               4.8047733 = idf(docFreq=988, maxDocs=44421)
               0.013175227 = queryNorm
             0.37537292 = fieldWeight in 650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8047733 = idf(docFreq=988, maxDocs=44421)
               0.078125 = fieldNorm(doc=650)
         0.39349622 = weight(abstract_txt:notations in 650) [ClassicSimilarity], result of:
           0.39349622 = score(doc=650,freq=3.0), product of:
             0.369368 = queryWeight, product of:
               3.560988 = boost
               7.872826 = idf(docFreq=45, maxDocs=44421)
               0.013175227 = queryNorm
             1.065323 = fieldWeight in 650, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.872826 = idf(docFreq=45, maxDocs=44421)
               0.078125 = fieldNorm(doc=650)
         0.048453506 = weight(abstract_txt:knowledge in 650) [ClassicSimilarity], result of:
           0.048453506 = score(doc=650,freq=1.0), product of:
             0.1748833 = queryWeight, product of:
               3.742859 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013175227 = queryNorm
             0.27706194 = fieldWeight in 650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=650)
       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.10619243 = sum of:
     0.10619243 = product of:
       0.6637027 = sum of:
         0.09238079 = weight(abstract_txt:common in 2249) [ClassicSimilarity], result of:
           0.09238079 = score(doc=2249,freq=5.0), product of:
             0.13757634 = queryWeight, product of:
               2.1732652 = boost
               4.8047733 = idf(docFreq=988, maxDocs=44421)
               0.013175227 = queryNorm
             0.6714875 = fieldWeight in 2249, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.8047733 = idf(docFreq=988, maxDocs=44421)
               0.0625 = fieldNorm(doc=2249)
         0.059364498 = weight(abstract_txt:representation in 2249) [ClassicSimilarity], result of:
           0.059364498 = score(doc=2249,freq=1.0), product of:
             0.19281615 = queryWeight, product of:
               2.9708583 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.013175227 = queryNorm
             0.30788136 = fieldWeight in 2249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.0625 = fieldNorm(doc=2249)
         0.038762804 = weight(abstract_txt:knowledge in 2249) [ClassicSimilarity], result of:
           0.038762804 = score(doc=2249,freq=1.0), product of:
             0.1748833 = queryWeight, product of:
               3.742859 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013175227 = queryNorm
             0.22164954 = fieldWeight in 2249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=2249)
         0.47319463 = weight(abstract_txt:conventions in 2249) [ClassicSimilarity], result of:
           0.47319463 = score(doc=2249,freq=2.0), product of:
             0.69904613 = queryWeight, product of:
               6.9280143 = boost
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.013175227 = queryNorm
             0.67691475 = fieldWeight in 2249, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.6584163 = idf(docFreq=56, maxDocs=44421)
               0.0625 = fieldNorm(doc=2249)
       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.09702791 = sum of:
     0.09702791 = product of:
       0.404283 = sum of:
         0.05698512 = weight(abstract_txt:reuse in 1166) [ClassicSimilarity], result of:
           0.05698512 = score(doc=1166,freq=1.0), product of:
             0.09020259 = queryWeight, product of:
               1.0159907 = boost
               6.738623 = idf(docFreq=142, maxDocs=44421)
               0.013175227 = queryNorm
             0.63174593 = fieldWeight in 1166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.738623 = idf(docFreq=142, maxDocs=44421)
               0.09375 = fieldNorm(doc=1166)
         0.022820247 = weight(abstract_txt:most in 1166) [ClassicSimilarity], result of:
           0.022820247 = score(doc=1166,freq=1.0), product of:
             0.061744973 = queryWeight, product of:
               1.188765 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.013175227 = queryNorm
             0.36958876 = fieldWeight in 1166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.09375 = fieldNorm(doc=1166)
         0.11531574 = weight(abstract_txt:logics in 1166) [ClassicSimilarity], result of:
           0.11531574 = score(doc=1166,freq=1.0), product of:
             0.14431244 = queryWeight, product of:
               1.2850858 = boost
               8.523414 = idf(docFreq=23, maxDocs=44421)
               0.013175227 = queryNorm
             0.79907 = fieldWeight in 1166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.523414 = idf(docFreq=23, maxDocs=44421)
               0.09375 = fieldNorm(doc=1166)
         0.06197092 = weight(abstract_txt:common in 1166) [ClassicSimilarity], result of:
           0.06197092 = score(doc=1166,freq=1.0), product of:
             0.13757634 = queryWeight, product of:
               2.1732652 = boost
               4.8047733 = idf(docFreq=988, maxDocs=44421)
               0.013175227 = queryNorm
             0.4504475 = fieldWeight in 1166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8047733 = idf(docFreq=988, maxDocs=44421)
               0.09375 = fieldNorm(doc=1166)
         0.08904675 = weight(abstract_txt:representation in 1166) [ClassicSimilarity], result of:
           0.08904675 = score(doc=1166,freq=1.0), product of:
             0.19281615 = queryWeight, product of:
               2.9708583 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.013175227 = queryNorm
             0.46182203 = fieldWeight in 1166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.09375 = fieldNorm(doc=1166)
         0.058144208 = weight(abstract_txt:knowledge in 1166) [ClassicSimilarity], result of:
           0.058144208 = score(doc=1166,freq=1.0), product of:
             0.1748833 = queryWeight, product of:
               3.742859 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013175227 = queryNorm
             0.33247432 = fieldWeight in 1166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.09375 = fieldNorm(doc=1166)
       0.24 = coord(6/25)
   

4. Luksch, P.; Wille, R.: ¬A mathematical model for conceptual knowledge systems (1991) 0.10

   0.09631332 = sum of:
     0.09631332 = product of:
       0.6019583 = sum of:
         0.1240009 = weight(abstract_txt:frame in 3032) [ClassicSimilarity], result of:
           0.1240009 = score(doc=3032,freq=1.0), product of:
             0.19084081 = queryWeight, product of:
               2.0899258 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.013175227 = queryNorm
             0.6497609 = fieldWeight in 3032, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.08904675 = weight(abstract_txt:representation in 3032) [ClassicSimilarity], result of:
           0.08904675 = score(doc=3032,freq=1.0), product of:
             0.19281615 = queryWeight, product of:
               2.9708583 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.013175227 = queryNorm
             0.46182203 = fieldWeight in 3032, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.2726222 = weight(abstract_txt:notations in 3032) [ClassicSimilarity], result of:
           0.2726222 = score(doc=3032,freq=1.0), product of:
             0.369368 = queryWeight, product of:
               3.560988 = boost
               7.872826 = idf(docFreq=45, maxDocs=44421)
               0.013175227 = queryNorm
             0.73807746 = fieldWeight in 3032, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.872826 = idf(docFreq=45, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
         0.116288416 = weight(abstract_txt:knowledge in 3032) [ClassicSimilarity], result of:
           0.116288416 = score(doc=3032,freq=4.0), product of:
             0.1748833 = queryWeight, product of:
               3.742859 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013175227 = queryNorm
             0.66494864 = fieldWeight in 3032, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.09375 = fieldNorm(doc=3032)
       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.08673623 = sum of:
     0.08673623 = product of:
       0.43368116 = sum of:
         0.05698512 = weight(abstract_txt:reuse in 2680) [ClassicSimilarity], result of:
           0.05698512 = score(doc=2680,freq=1.0), product of:
             0.09020259 = queryWeight, product of:
               1.0159907 = boost
               6.738623 = idf(docFreq=142, maxDocs=44421)
               0.013175227 = queryNorm
             0.63174593 = fieldWeight in 2680, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.738623 = idf(docFreq=142, maxDocs=44421)
               0.09375 = fieldNorm(doc=2680)
         0.022820247 = weight(abstract_txt:most in 2680) [ClassicSimilarity], result of:
           0.022820247 = score(doc=2680,freq=1.0), product of:
             0.061744973 = queryWeight, product of:
               1.188765 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.013175227 = queryNorm
             0.36958876 = fieldWeight in 2680, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.09375 = fieldNorm(doc=2680)
         0.10286731 = weight(abstract_txt:formalized in 2680) [ClassicSimilarity], result of:
           0.10286731 = score(doc=2680,freq=1.0), product of:
             0.13373025 = queryWeight, product of:
               1.2370722 = boost
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.013175227 = queryNorm
             0.769215 = fieldWeight in 2680, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.09375 = fieldNorm(doc=2680)
         0.15029976 = weight(abstract_txt:ontological in 2680) [ClassicSimilarity], result of:
           0.15029976 = score(doc=2680,freq=2.0), product of:
             0.17219356 = queryWeight, product of:
               1.9851973 = boost
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.013175227 = queryNorm
             0.8728535 = fieldWeight in 2680, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.09375 = fieldNorm(doc=2680)
         0.10070872 = weight(abstract_txt:knowledge in 2680) [ClassicSimilarity], result of:
           0.10070872 = score(doc=2680,freq=3.0), product of:
             0.1748833 = queryWeight, product of:
               3.742859 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013175227 = queryNorm
             0.5758624 = fieldWeight in 2680, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.09375 = fieldNorm(doc=2680)
       0.2 = coord(5/25)