Document (#6732)

Author
Chen, P.S.
Title
On inference rules of logic-based information retrieval systems
Source
Information processing and management. 30(1994) no.1, S.43-59
Year
1994
Abstract
Relevance of the retrieved documents to a query is a judgement of the user rather than the material implication in the sense of logic. Departs from the deductive paradigm with object orientated extensions and relaxes the too strict modus ponens in the classic propositional logic by appropriate inference rules that would capture the relevance of information in the document to the information needed by the user. In such a framework, a document is relevant to a query if the latter can be deduced from the set of axioms, associated with ths document using inference rules. Answering a query in such framework can be done either by a special query processor that support different kinds of inference mechanisms or by relaxing the original query so that it can be evaluated by an ordinary query processor. Makes use of the query answering machinery of deductive and object-oriented databases

Similar documents (author)

  1. Chen, Y.N.; Chen, S.J.: ¬A metadata practice of the OFLA FRBR model : a case study for the National Palace Museum in Taipai (2004) 4.37
    4.3731894 = sum of:
      4.3731894 = weight(author_txt:chen in 4385) [ClassicSimilarity], result of:
        4.3731894 = fieldWeight in 4385, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.184624 = idf(docFreq=236, maxDocs=42306)
          0.5 = fieldNorm(doc=4385)
    
  2. Chen, C.C.; Chen, H.H.; Chen, K.H.: ¬The design of the XML/Metadata management system (2000) 4.02
    4.017031 = sum of:
      4.017031 = weight(author_txt:chen in 5634) [ClassicSimilarity], result of:
        4.017031 = fieldWeight in 5634, product of:
          1.7320508 = tf(freq=3.0), with freq of:
            3.0 = termFreq=3.0
          6.184624 = idf(docFreq=236, maxDocs=42306)
          0.375 = fieldNorm(doc=5634)
    
  3. Chen, W.Y.: Observations on cataloguing and classification (1991) 3.87
    3.86539 = sum of:
      3.86539 = weight(author_txt:chen in 4184) [ClassicSimilarity], result of:
        3.86539 = fieldWeight in 4184, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          6.184624 = idf(docFreq=236, maxDocs=42306)
          0.625 = fieldNorm(doc=4184)
    
  4. Chen, H.: Knowledge-based document retrieval : framework and design (1992) 3.87
    3.86539 = sum of:
      3.86539 = weight(author_txt:chen in 5283) [ClassicSimilarity], result of:
        3.86539 = fieldWeight in 5283, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          6.184624 = idf(docFreq=236, maxDocs=42306)
          0.625 = fieldNorm(doc=5283)
    
  5. Chen, Z.: Enhancing database management to knowledge base management : the role of information retrieval technology (1994) 3.87
    3.86539 = sum of:
      3.86539 = weight(author_txt:chen in 7297) [ClassicSimilarity], result of:
        3.86539 = fieldWeight in 7297, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          6.184624 = idf(docFreq=236, maxDocs=42306)
          0.625 = fieldNorm(doc=7297)
    

Similar documents (content)

  1. Fuhr, N.: Probabilistic datalog : implementing logical information retrieval for advanced applications (2000) 0.20
    0.19739567 = sum of:
      0.19739567 = product of:
        0.9869783 = sum of:
          0.011969879 = weight(abstract_txt:information in 5381) [ClassicSimilarity], result of:
            0.011969879 = score(doc=5381,freq=1.0), product of:
              0.039312128 = queryWeight, product of:
                1.0128945 = boost
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.015933424 = queryNorm
              0.30448312 = fieldWeight in 5381, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.125 = fieldNorm(doc=5381)
          0.18938102 = weight(abstract_txt:propositional in 5381) [ClassicSimilarity], result of:
            0.18938102 = score(doc=5381,freq=1.0), product of:
              0.17178448 = queryWeight, product of:
                1.2224534 = boost
                8.81947 = idf(docFreq=16, maxDocs=42306)
                0.015933424 = queryNorm
              1.1024338 = fieldWeight in 5381, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.81947 = idf(docFreq=16, maxDocs=42306)
                0.125 = fieldNorm(doc=5381)
          0.1183289 = weight(abstract_txt:rules in 5381) [ClassicSimilarity], result of:
            0.1183289 = score(doc=5381,freq=1.0), product of:
              0.18107587 = queryWeight, product of:
                2.1738584 = boost
                5.227815 = idf(docFreq=616, maxDocs=42306)
                0.015933424 = queryNorm
              0.6534769 = fieldWeight in 5381, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.227815 = idf(docFreq=616, maxDocs=42306)
                0.125 = fieldNorm(doc=5381)
          0.28719163 = weight(abstract_txt:logic in 5381) [ClassicSimilarity], result of:
            0.28719163 = score(doc=5381,freq=2.0), product of:
              0.25956008 = queryWeight, product of:
                2.602675 = boost
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.015933424 = queryNorm
              1.1064553 = fieldWeight in 5381, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.125 = fieldNorm(doc=5381)
          0.38010684 = weight(abstract_txt:inference in 5381) [ClassicSimilarity], result of:
            0.38010684 = score(doc=5381,freq=1.0), product of:
              0.43389377 = queryWeight, product of:
                3.8856351 = boost
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.015933424 = queryNorm
              0.87603664 = fieldWeight in 5381, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.125 = fieldNorm(doc=5381)
        0.2 = coord(5/25)
    
  2. Cali, A.: Ontology querying : datalog strikes back (2017) 0.19
    0.19488063 = sum of:
      0.19488063 = product of:
        0.81200266 = sum of:
          0.012217248 = weight(abstract_txt:that in 847) [ClassicSimilarity], result of:
            0.012217248 = score(doc=847,freq=2.0), product of:
              0.038317584 = queryWeight, product of:
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.015933424 = queryNorm
              0.31884181 = fieldWeight in 847, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.09375 = fieldNorm(doc=847)
          0.08171567 = weight(abstract_txt:extensions in 847) [ClassicSimilarity], result of:
            0.08171567 = score(doc=847,freq=1.0), product of:
              0.118828975 = queryWeight, product of:
                1.0167203 = boost
                7.335196 = idf(docFreq=74, maxDocs=42306)
                0.015933424 = queryNorm
              0.68767464 = fieldWeight in 847, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.335196 = idf(docFreq=74, maxDocs=42306)
                0.09375 = fieldNorm(doc=847)
          0.12679015 = weight(abstract_txt:answering in 847) [ClassicSimilarity], result of:
            0.12679015 = score(doc=847,freq=1.0), product of:
              0.20065613 = queryWeight, product of:
                1.8684503 = boost
                6.7400293 = idf(docFreq=135, maxDocs=42306)
                0.015933424 = queryNorm
              0.6318778 = fieldWeight in 847, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.7400293 = idf(docFreq=135, maxDocs=42306)
                0.09375 = fieldNorm(doc=847)
          0.08874667 = weight(abstract_txt:rules in 847) [ClassicSimilarity], result of:
            0.08874667 = score(doc=847,freq=1.0), product of:
              0.18107587 = queryWeight, product of:
                2.1738584 = boost
                5.227815 = idf(docFreq=616, maxDocs=42306)
                0.015933424 = queryNorm
              0.49010766 = fieldWeight in 847, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.227815 = idf(docFreq=616, maxDocs=42306)
                0.09375 = fieldNorm(doc=847)
          0.28508013 = weight(abstract_txt:inference in 847) [ClassicSimilarity], result of:
            0.28508013 = score(doc=847,freq=1.0), product of:
              0.43389377 = queryWeight, product of:
                3.8856351 = boost
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.015933424 = queryNorm
              0.6570275 = fieldWeight in 847, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.09375 = fieldNorm(doc=847)
          0.21745273 = weight(abstract_txt:query in 847) [ClassicSimilarity], result of:
            0.21745273 = score(doc=847,freq=2.0), product of:
              0.3464586 = queryWeight, product of:
                4.5931964 = boost
                4.733989 = idf(docFreq=1010, maxDocs=42306)
                0.015933424 = queryNorm
              0.6276442 = fieldWeight in 847, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.733989 = idf(docFreq=1010, maxDocs=42306)
                0.09375 = fieldNorm(doc=847)
        0.24 = coord(6/25)
    
  3. Nie, J.-Y.; Brisebois, M.: ¬An inferential approach to information retrieval and its implementation using a manual thesaurus (1996) 0.19
    0.1941336 = sum of:
      0.1941336 = product of:
        0.80889 = sum of:
          0.010473644 = weight(abstract_txt:information in 776) [ClassicSimilarity], result of:
            0.010473644 = score(doc=776,freq=1.0), product of:
              0.039312128 = queryWeight, product of:
                1.0128945 = boost
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.015933424 = queryNorm
              0.26642272 = fieldWeight in 776, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.109375 = fieldNorm(doc=776)
          0.024053574 = weight(abstract_txt:user in 776) [ClassicSimilarity], result of:
            0.024053574 = score(doc=776,freq=1.0), product of:
              0.05977928 = queryWeight, product of:
                1.0198368 = boost
                3.67884 = idf(docFreq=2903, maxDocs=42306)
                0.015933424 = queryNorm
              0.4023731 = fieldWeight in 776, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.67884 = idf(docFreq=2903, maxDocs=42306)
                0.109375 = fieldNorm(doc=776)
          0.068039514 = weight(abstract_txt:framework in 776) [ClassicSimilarity], result of:
            0.068039514 = score(doc=776,freq=2.0), product of:
              0.09489902 = queryWeight, product of:
                1.2849499 = boost
                4.635178 = idf(docFreq=1115, maxDocs=42306)
                0.015933424 = queryNorm
              0.7169675 = fieldWeight in 776, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.635178 = idf(docFreq=1115, maxDocs=42306)
                0.109375 = fieldNorm(doc=776)
          0.058274247 = weight(abstract_txt:relevance in 776) [ClassicSimilarity], result of:
            0.058274247 = score(doc=776,freq=1.0), product of:
              0.10783226 = queryWeight, product of:
                1.3697133 = boost
                4.9409437 = idf(docFreq=821, maxDocs=42306)
                0.015933424 = queryNorm
              0.5404157 = fieldWeight in 776, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9409437 = idf(docFreq=821, maxDocs=42306)
                0.109375 = fieldNorm(doc=776)
          0.17769076 = weight(abstract_txt:logic in 776) [ClassicSimilarity], result of:
            0.17769076 = score(doc=776,freq=1.0), product of:
              0.25956008 = queryWeight, product of:
                2.602675 = boost
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.015933424 = queryNorm
              0.6845843 = fieldWeight in 776, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.109375 = fieldNorm(doc=776)
          0.47035822 = weight(abstract_txt:inference in 776) [ClassicSimilarity], result of:
            0.47035822 = score(doc=776,freq=2.0), product of:
              0.43389377 = queryWeight, product of:
                3.8856351 = boost
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.015933424 = queryNorm
              1.08404 = fieldWeight in 776, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.109375 = fieldNorm(doc=776)
        0.24 = coord(6/25)
    
  4. Preston, C.M.; Lynch, C.A.: Report of the first international conference on information and knowledge management (1993) 0.19
    0.1906036 = sum of:
      0.1906036 = product of:
        0.7941817 = sum of:
          0.010473644 = weight(abstract_txt:information in 6499) [ClassicSimilarity], result of:
            0.010473644 = score(doc=6499,freq=1.0), product of:
              0.039312128 = queryWeight, product of:
                1.0128945 = boost
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.015933424 = queryNorm
              0.26642272 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.109375 = fieldNorm(doc=6499)
          0.087888084 = weight(abstract_txt:object in 6499) [ClassicSimilarity], result of:
            0.087888084 = score(doc=6499,freq=1.0), product of:
              0.1418135 = queryWeight, product of:
                1.5707755 = boost
                5.666232 = idf(docFreq=397, maxDocs=42306)
                0.015933424 = queryNorm
              0.6197441 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.666232 = idf(docFreq=397, maxDocs=42306)
                0.109375 = fieldNorm(doc=6499)
          0.056788363 = weight(abstract_txt:document in 6499) [ClassicSimilarity], result of:
            0.056788363 = score(doc=6499,freq=1.0), product of:
              0.12132982 = queryWeight, product of:
                1.7794456 = boost
                4.2793097 = idf(docFreq=1592, maxDocs=42306)
                0.015933424 = queryNorm
              0.4680495 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.2793097 = idf(docFreq=1592, maxDocs=42306)
                0.109375 = fieldNorm(doc=6499)
          0.2819515 = weight(abstract_txt:deductive in 6499) [ClassicSimilarity], result of:
            0.2819515 = score(doc=6499,freq=1.0), product of:
              0.30847064 = queryWeight, product of:
                2.3166597 = boost
                8.356848 = idf(docFreq=26, maxDocs=42306)
                0.015933424 = queryNorm
              0.9140302 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.356848 = idf(docFreq=26, maxDocs=42306)
                0.109375 = fieldNorm(doc=6499)
          0.17769076 = weight(abstract_txt:logic in 6499) [ClassicSimilarity], result of:
            0.17769076 = score(doc=6499,freq=1.0), product of:
              0.25956008 = queryWeight, product of:
                2.602675 = boost
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.015933424 = queryNorm
              0.6845843 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2590566 = idf(docFreq=219, maxDocs=42306)
                0.109375 = fieldNorm(doc=6499)
          0.17938934 = weight(abstract_txt:query in 6499) [ClassicSimilarity], result of:
            0.17938934 = score(doc=6499,freq=1.0), product of:
              0.3464586 = queryWeight, product of:
                4.5931964 = boost
                4.733989 = idf(docFreq=1010, maxDocs=42306)
                0.015933424 = queryNorm
              0.51778 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.733989 = idf(docFreq=1010, maxDocs=42306)
                0.109375 = fieldNorm(doc=6499)
        0.24 = coord(6/25)
    
  5. Rousset, M.-C.; Atencia, M.; David, J.; Jouanot, F.; Ulliana, F.; Palombi, O.: Datalog revisited for reasoning in linked data (2017) 0.19
    0.18539026 = sum of:
      0.18539026 = product of:
        0.66210806 = sum of:
          0.00997534 = weight(abstract_txt:that in 855) [ClassicSimilarity], result of:
            0.00997534 = score(doc=855,freq=3.0), product of:
              0.038317584 = queryWeight, product of:
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.015933424 = queryNorm
              0.26033324 = fieldWeight in 855, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.0625 = fieldNorm(doc=855)
          0.0059849396 = weight(abstract_txt:information in 855) [ClassicSimilarity], result of:
            0.0059849396 = score(doc=855,freq=1.0), product of:
              0.039312128 = queryWeight, product of:
                1.0128945 = boost
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.015933424 = queryNorm
              0.15224156 = fieldWeight in 855, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.435865 = idf(docFreq=10064, maxDocs=42306)
                0.0625 = fieldNorm(doc=855)
          0.038879722 = weight(abstract_txt:framework in 855) [ClassicSimilarity], result of:
            0.038879722 = score(doc=855,freq=2.0), product of:
              0.09489902 = queryWeight, product of:
                1.2849499 = boost
                4.635178 = idf(docFreq=1115, maxDocs=42306)
                0.015933424 = queryNorm
              0.4096957 = fieldWeight in 855, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.635178 = idf(docFreq=1115, maxDocs=42306)
                0.0625 = fieldNorm(doc=855)
          0.03329957 = weight(abstract_txt:relevance in 855) [ClassicSimilarity], result of:
            0.03329957 = score(doc=855,freq=1.0), product of:
              0.10783226 = queryWeight, product of:
                1.3697133 = boost
                4.9409437 = idf(docFreq=821, maxDocs=42306)
                0.015933424 = queryNorm
              0.30880898 = fieldWeight in 855, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9409437 = idf(docFreq=821, maxDocs=42306)
                0.0625 = fieldNorm(doc=855)
          0.08367117 = weight(abstract_txt:rules in 855) [ClassicSimilarity], result of:
            0.08367117 = score(doc=855,freq=2.0), product of:
              0.18107587 = queryWeight, product of:
                2.1738584 = boost
                5.227815 = idf(docFreq=616, maxDocs=42306)
                0.015933424 = queryNorm
              0.46207795 = fieldWeight in 855, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.227815 = idf(docFreq=616, maxDocs=42306)
                0.0625 = fieldNorm(doc=855)
          0.16111514 = weight(abstract_txt:deductive in 855) [ClassicSimilarity], result of:
            0.16111514 = score(doc=855,freq=1.0), product of:
              0.30847064 = queryWeight, product of:
                2.3166597 = boost
                8.356848 = idf(docFreq=26, maxDocs=42306)
                0.015933424 = queryNorm
              0.522303 = fieldWeight in 855, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.356848 = idf(docFreq=26, maxDocs=42306)
                0.0625 = fieldNorm(doc=855)
          0.32918218 = weight(abstract_txt:inference in 855) [ClassicSimilarity], result of:
            0.32918218 = score(doc=855,freq=3.0), product of:
              0.43389377 = queryWeight, product of:
                3.8856351 = boost
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.015933424 = queryNorm
              0.75867 = fieldWeight in 855, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                7.008293 = idf(docFreq=103, maxDocs=42306)
                0.0625 = fieldNorm(doc=855)
        0.28 = coord(7/25)