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.5796494 = sum of:
     4.5796494 = weight(author_txt:martin in 3418) [ClassicSimilarity], result of:
       4.5796494 = fieldWeight in 3418, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.3274393 = idf(docFreq=78, maxDocs=44218)
         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.58

   4.5796494 = sum of:
     4.5796494 = weight(author_txt:martin in 4075) [ClassicSimilarity], result of:
       4.5796494 = fieldWeight in 4075, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.3274393 = idf(docFreq=78, maxDocs=44218)
         0.625 = fieldNorm(doc=4075)
   

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

   4.5796494 = sum of:
     4.5796494 = weight(author_txt:martin in 4219) [ClassicSimilarity], result of:
       4.5796494 = fieldWeight in 4219, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.3274393 = idf(docFreq=78, maxDocs=44218)
         0.625 = fieldNorm(doc=4219)
   

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

   4.5796494 = sum of:
     4.5796494 = weight(author_txt:martin in 4230) [ClassicSimilarity], result of:
       4.5796494 = fieldWeight in 4230, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.3274393 = idf(docFreq=78, maxDocs=44218)
         0.625 = fieldNorm(doc=4230)
   

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

   4.5796494 = sum of:
     4.5796494 = weight(author_txt:martin in 4527) [ClassicSimilarity], result of:
       4.5796494 = fieldWeight in 4527, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.3274393 = idf(docFreq=78, maxDocs=44218)
         0.625 = fieldNorm(doc=4527)
   

Similar documents (content)

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

   0.1577197 = sum of:
     0.1577197 = product of:
       0.6571654 = sum of:
         0.06990973 = weight(abstract_txt:notation in 4650) [ClassicSimilarity], result of:
           0.06990973 = score(doc=4650,freq=2.0), product of:
             0.09265163 = queryWeight, product of:
               1.0294019 = boost
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.013179184 = queryNorm
             0.754544 = fieldWeight in 4650, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.078125 = fieldNorm(doc=4650)
         0.07498108 = weight(abstract_txt:expressive in 4650) [ClassicSimilarity], result of:
           0.07498108 = score(doc=4650,freq=1.0), product of:
             0.12231294 = queryWeight, product of:
               1.1827546 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.013179184 = queryNorm
             0.61302656 = fieldWeight in 4650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.078125 = fieldNorm(doc=4650)
         0.019038083 = weight(abstract_txt:most in 4650) [ClassicSimilarity], result of:
           0.019038083 = score(doc=4650,freq=1.0), product of:
             0.061791696 = queryWeight, product of:
               1.1888813 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.013179184 = queryNorm
             0.308101 = fieldWeight in 4650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.078125 = fieldNorm(doc=4650)
         0.051693022 = weight(abstract_txt:common in 4650) [ClassicSimilarity], result of:
           0.051693022 = score(doc=4650,freq=1.0), product of:
             0.137668 = queryWeight, product of:
               2.1733794 = boost
               4.806278 = idf(docFreq=982, maxDocs=44218)
               0.013179184 = queryNorm
             0.3754905 = fieldWeight in 4650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.806278 = idf(docFreq=982, maxDocs=44218)
               0.078125 = fieldNorm(doc=4650)
         0.3928254 = weight(abstract_txt:notations in 4650) [ClassicSimilarity], result of:
           0.3928254 = score(doc=4650,freq=3.0), product of:
             0.36895296 = queryWeight, product of:
               3.5579886 = boost
               7.8682456 = idf(docFreq=45, maxDocs=44218)
               0.013179184 = queryNorm
             1.0647032 = fieldWeight in 4650, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.8682456 = idf(docFreq=45, maxDocs=44218)
               0.078125 = fieldNorm(doc=4650)
         0.048718076 = weight(abstract_txt:knowledge in 4650) [ClassicSimilarity], result of:
           0.048718076 = score(doc=4650,freq=1.0), product of:
             0.17552167 = queryWeight, product of:
               3.7486324 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013179184 = queryNorm
             0.2775616 = fieldWeight in 4650, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.078125 = fieldNorm(doc=4650)
       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.106108375 = sum of:
     0.106108375 = product of:
       0.6631774 = sum of:
         0.092471294 = weight(abstract_txt:common in 1249) [ClassicSimilarity], result of:
           0.092471294 = score(doc=1249,freq=5.0), product of:
             0.137668 = queryWeight, product of:
               2.1733794 = boost
               4.806278 = idf(docFreq=982, maxDocs=44218)
               0.013179184 = queryNorm
             0.6716978 = fieldWeight in 1249, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.806278 = idf(docFreq=982, maxDocs=44218)
               0.0625 = fieldNorm(doc=1249)
         0.059366718 = weight(abstract_txt:representation in 1249) [ClassicSimilarity], result of:
           0.059366718 = score(doc=1249,freq=1.0), product of:
             0.19282351 = queryWeight, product of:
               2.970082 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.013179184 = queryNorm
             0.30788112 = fieldWeight in 1249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=1249)
         0.038974464 = weight(abstract_txt:knowledge in 1249) [ClassicSimilarity], result of:
           0.038974464 = score(doc=1249,freq=1.0), product of:
             0.17552167 = queryWeight, product of:
               3.7486324 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013179184 = queryNorm
             0.2220493 = fieldWeight in 1249, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=1249)
         0.47236487 = weight(abstract_txt:conventions in 1249) [ClassicSimilarity], result of:
           0.47236487 = score(doc=1249,freq=2.0), product of:
             0.69823796 = queryWeight, product of:
               6.922067 = boost
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.013179184 = queryNorm
             0.67650986 = fieldWeight in 1249, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.0625 = fieldNorm(doc=1249)
       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.097688556 = sum of:
     0.097688556 = product of:
       0.40703565 = sum of:
         0.05777776 = weight(abstract_txt:reuse in 166) [ClassicSimilarity], result of:
           0.05777776 = score(doc=166,freq=1.0), product of:
             0.091038324 = queryWeight, product of:
               1.0204003 = boost
               6.769634 = idf(docFreq=137, maxDocs=44218)
               0.013179184 = queryNorm
             0.63465315 = fieldWeight in 166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.769634 = idf(docFreq=137, maxDocs=44218)
               0.09375 = fieldNorm(doc=166)
         0.0228457 = weight(abstract_txt:most in 166) [ClassicSimilarity], result of:
           0.0228457 = score(doc=166,freq=1.0), product of:
             0.061791696 = queryWeight, product of:
               1.1888813 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.013179184 = queryNorm
             0.3697212 = fieldWeight in 166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.09375 = fieldNorm(doc=166)
         0.116868764 = weight(abstract_txt:logics in 166) [ClassicSimilarity], result of:
           0.116868764 = score(doc=166,freq=1.0), product of:
             0.14560717 = queryWeight, product of:
               1.2904757 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.013179184 = queryNorm
             0.80263054 = fieldWeight in 166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.09375 = fieldNorm(doc=166)
         0.06203163 = weight(abstract_txt:common in 166) [ClassicSimilarity], result of:
           0.06203163 = score(doc=166,freq=1.0), product of:
             0.137668 = queryWeight, product of:
               2.1733794 = boost
               4.806278 = idf(docFreq=982, maxDocs=44218)
               0.013179184 = queryNorm
             0.45058858 = fieldWeight in 166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.806278 = idf(docFreq=982, maxDocs=44218)
               0.09375 = fieldNorm(doc=166)
         0.08905008 = weight(abstract_txt:representation in 166) [ClassicSimilarity], result of:
           0.08905008 = score(doc=166,freq=1.0), product of:
             0.19282351 = queryWeight, product of:
               2.970082 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.013179184 = queryNorm
             0.46182168 = fieldWeight in 166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.09375 = fieldNorm(doc=166)
         0.058461696 = weight(abstract_txt:knowledge in 166) [ClassicSimilarity], result of:
           0.058461696 = score(doc=166,freq=1.0), product of:
             0.17552167 = queryWeight, product of:
               3.7486324 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013179184 = queryNorm
             0.33307394 = fieldWeight in 166, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.09375 = fieldNorm(doc=166)
       0.24 = coord(6/25)
   

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

   0.09637565 = sum of:
     0.09637565 = product of:
       0.60234785 = sum of:
         0.12421692 = weight(abstract_txt:frame in 3033) [ClassicSimilarity], result of:
           0.12421692 = score(doc=3033,freq=1.0), product of:
             0.19106492 = queryWeight, product of:
               2.0905662 = boost
               6.9347134 = idf(docFreq=116, maxDocs=44218)
               0.013179184 = queryNorm
             0.6501294 = fieldWeight in 3033, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9347134 = idf(docFreq=116, maxDocs=44218)
               0.09375 = fieldNorm(doc=3033)
         0.08905008 = weight(abstract_txt:representation in 3033) [ClassicSimilarity], result of:
           0.08905008 = score(doc=3033,freq=1.0), product of:
             0.19282351 = queryWeight, product of:
               2.970082 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.013179184 = queryNorm
             0.46182168 = fieldWeight in 3033, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.09375 = fieldNorm(doc=3033)
         0.27215743 = weight(abstract_txt:notations in 3033) [ClassicSimilarity], result of:
           0.27215743 = score(doc=3033,freq=1.0), product of:
             0.36895296 = queryWeight, product of:
               3.5579886 = boost
               7.8682456 = idf(docFreq=45, maxDocs=44218)
               0.013179184 = queryNorm
             0.737648 = fieldWeight in 3033, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.8682456 = idf(docFreq=45, maxDocs=44218)
               0.09375 = fieldNorm(doc=3033)
         0.11692339 = weight(abstract_txt:knowledge in 3033) [ClassicSimilarity], result of:
           0.11692339 = score(doc=3033,freq=4.0), product of:
             0.17552167 = queryWeight, product of:
               3.7486324 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013179184 = queryNorm
             0.6661479 = fieldWeight in 3033, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               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.086996935 = sum of:
     0.086996935 = product of:
       0.43498468 = sum of:
         0.05777776 = weight(abstract_txt:reuse in 1680) [ClassicSimilarity], result of:
           0.05777776 = score(doc=1680,freq=1.0), product of:
             0.091038324 = queryWeight, product of:
               1.0204003 = boost
               6.769634 = idf(docFreq=137, maxDocs=44218)
               0.013179184 = queryNorm
             0.63465315 = fieldWeight in 1680, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.769634 = idf(docFreq=137, maxDocs=44218)
               0.09375 = fieldNorm(doc=1680)
         0.0228457 = weight(abstract_txt:most in 1680) [ClassicSimilarity], result of:
           0.0228457 = score(doc=1680,freq=1.0), product of:
             0.061791696 = queryWeight, product of:
               1.1888813 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.013179184 = queryNorm
             0.3697212 = fieldWeight in 1680, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.09375 = fieldNorm(doc=1680)
         0.102699205 = weight(abstract_txt:formalized in 1680) [ClassicSimilarity], result of:
           0.102699205 = score(doc=1680,freq=1.0), product of:
             0.13358627 = queryWeight, product of:
               1.2360594 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.013179184 = queryNorm
             0.7687856 = fieldWeight in 1680, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.09375 = fieldNorm(doc=1680)
         0.1504034 = weight(abstract_txt:ontological in 1680) [ClassicSimilarity], result of:
           0.1504034 = score(doc=1680,freq=2.0), product of:
             0.17227498 = queryWeight, product of:
               1.9851099 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.013179184 = queryNorm
             0.8730426 = fieldWeight in 1680, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.09375 = fieldNorm(doc=1680)
         0.10125863 = weight(abstract_txt:knowledge in 1680) [ClassicSimilarity], result of:
           0.10125863 = score(doc=1680,freq=3.0), product of:
             0.17552167 = queryWeight, product of:
               3.7486324 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013179184 = queryNorm
             0.576901 = fieldWeight in 1680, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.09375 = fieldNorm(doc=1680)
       0.2 = coord(5/25)