Document (#6729)

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.36
    4.3560195 = sum of:
      4.3560195 = weight(author_txt:chen in 4382) [ClassicSimilarity], result of:
        4.3560195 = fieldWeight in 4382, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.1603417 = idf(docFreq=249, maxDocs=43556)
          0.5 = fieldNorm(doc=4382)
    
  2. Chen, C.C.; Chen, H.H.; Chen, K.H.: ¬The design of the XML/Metadata management system (2000) 4.00
    4.0012593 = sum of:
      4.0012593 = weight(author_txt:chen in 5631) [ClassicSimilarity], result of:
        4.0012593 = fieldWeight in 5631, product of:
          1.7320508 = tf(freq=3.0), with freq of:
            3.0 = termFreq=3.0
          6.1603417 = idf(docFreq=249, maxDocs=43556)
          0.375 = fieldNorm(doc=5631)
    
  3. Chen, W.Y.: Observations on cataloguing and classification (1991) 3.85
    3.8502135 = sum of:
      3.8502135 = weight(author_txt:chen in 4183) [ClassicSimilarity], result of:
        3.8502135 = fieldWeight in 4183, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          6.1603417 = idf(docFreq=249, maxDocs=43556)
          0.625 = fieldNorm(doc=4183)
    
  4. Chen, H.: Knowledge-based document retrieval : framework and design (1992) 3.85
    3.8502135 = sum of:
      3.8502135 = weight(author_txt:chen in 5280) [ClassicSimilarity], result of:
        3.8502135 = fieldWeight in 5280, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          6.1603417 = idf(docFreq=249, maxDocs=43556)
          0.625 = fieldNorm(doc=5280)
    
  5. Chen, Z.: Enhancing database management to knowledge base management : the role of information retrieval technology (1994) 3.85
    3.8502135 = sum of:
      3.8502135 = weight(author_txt:chen in 7294) [ClassicSimilarity], result of:
        3.8502135 = fieldWeight in 7294, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          6.1603417 = idf(docFreq=249, maxDocs=43556)
          0.625 = fieldNorm(doc=7294)
    

Similar documents (content)

  1. Fuhr, N.: Probabilistic datalog : implementing logical information retrieval for advanced applications (2000) 0.20
    0.1951476 = sum of:
      0.1951476 = product of:
        0.975738 = sum of:
          0.011802457 = weight(abstract_txt:information in 5378) [ClassicSimilarity], result of:
            0.011802457 = score(doc=5378,freq=1.0), product of:
              0.038931977 = queryWeight, product of:
                1.0130532 = boost
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.015845949 = queryNorm
              0.30315587 = fieldWeight in 5378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.125 = fieldNorm(doc=5378)
          0.18739675 = weight(abstract_txt:propositional in 5378) [ClassicSimilarity], result of:
            0.18739675 = score(doc=5378,freq=1.0), product of:
              0.17052673 = queryWeight, product of:
                1.2240936 = boost
                8.791431 = idf(docFreq=17, maxDocs=43556)
                0.015845949 = queryNorm
              1.0989289 = fieldWeight in 5378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.791431 = idf(docFreq=17, maxDocs=43556)
                0.125 = fieldNorm(doc=5378)
          0.11866685 = weight(abstract_txt:rules in 5378) [ClassicSimilarity], result of:
            0.11866685 = score(doc=5378,freq=1.0), product of:
              0.18136123 = queryWeight, product of:
                2.186509 = boost
                5.234497 = idf(docFreq=630, maxDocs=43556)
                0.015845949 = queryNorm
              0.65431213 = fieldWeight in 5378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.234497 = idf(docFreq=630, maxDocs=43556)
                0.125 = fieldNorm(doc=5378)
          0.28540358 = weight(abstract_txt:logic in 5378) [ClassicSimilarity], result of:
            0.28540358 = score(doc=5378,freq=2.0), product of:
              0.2583972 = queryWeight, product of:
                2.6098943 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.015845949 = queryNorm
              1.1045151 = fieldWeight in 5378, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.125 = fieldNorm(doc=5378)
          0.37246835 = weight(abstract_txt:inference in 5378) [ClassicSimilarity], result of:
            0.37246835 = score(doc=5378,freq=1.0), product of:
              0.42792138 = queryWeight, product of:
                3.8782015 = boost
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.015845949 = queryNorm
              0.870413 = fieldWeight in 5378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.125 = fieldNorm(doc=5378)
        0.2 = coord(5/25)
    
  2. Nie, J.-Y.; Brisebois, M.: ¬An inferential approach to information retrieval and its implementation using a manual thesaurus (1996) 0.19
    0.19096652 = sum of:
      0.19096652 = product of:
        0.7956938 = sum of:
          0.01032715 = weight(abstract_txt:information in 773) [ClassicSimilarity], result of:
            0.01032715 = score(doc=773,freq=1.0), product of:
              0.038931977 = queryWeight, product of:
                1.0130532 = boost
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.015845949 = queryNorm
              0.26526138 = fieldWeight in 773, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.109375 = fieldNorm(doc=773)
          0.024068106 = weight(abstract_txt:user in 773) [ClassicSimilarity], result of:
            0.024068106 = score(doc=773,freq=1.0), product of:
              0.059783816 = queryWeight, product of:
                1.0250032 = boost
                3.6807828 = idf(docFreq=2983, maxDocs=43556)
                0.015845949 = queryNorm
              0.40258563 = fieldWeight in 773, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6807828 = idf(docFreq=2983, maxDocs=43556)
                0.109375 = fieldNorm(doc=773)
          0.065828316 = weight(abstract_txt:framework in 773) [ClassicSimilarity], result of:
            0.065828316 = score(doc=773,freq=2.0), product of:
              0.09280133 = queryWeight, product of:
                1.2770576 = boost
                4.5859094 = idf(docFreq=1206, maxDocs=43556)
                0.015845949 = queryNorm
              0.70934665 = fieldWeight in 773, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.5859094 = idf(docFreq=1206, maxDocs=43556)
                0.109375 = fieldNorm(doc=773)
          0.05797968 = weight(abstract_txt:relevance in 773) [ClassicSimilarity], result of:
            0.05797968 = score(doc=773,freq=1.0), product of:
              0.10743347 = queryWeight, product of:
                1.374052 = boost
                4.934216 = idf(docFreq=851, maxDocs=43556)
                0.015845949 = queryNorm
              0.5396799 = fieldWeight in 773, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.934216 = idf(docFreq=851, maxDocs=43556)
                0.109375 = fieldNorm(doc=773)
          0.17658447 = weight(abstract_txt:logic in 773) [ClassicSimilarity], result of:
            0.17658447 = score(doc=773,freq=1.0), product of:
              0.2583972 = queryWeight, product of:
                2.6098943 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.015845949 = queryNorm
              0.6833838 = fieldWeight in 773, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.109375 = fieldNorm(doc=773)
          0.4609061 = weight(abstract_txt:inference in 773) [ClassicSimilarity], result of:
            0.4609061 = score(doc=773,freq=2.0), product of:
              0.42792138 = queryWeight, product of:
                3.8782015 = boost
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.015845949 = queryNorm
              1.0770812 = fieldWeight in 773, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.109375 = fieldNorm(doc=773)
        0.24 = coord(6/25)
    
  3. Preston, C.M.; Lynch, C.A.: Report of the first international conference on information and knowledge management (1993) 0.19
    0.1901119 = sum of:
      0.1901119 = product of:
        0.792133 = sum of:
          0.01032715 = weight(abstract_txt:information in 6496) [ClassicSimilarity], result of:
            0.01032715 = score(doc=6496,freq=1.0), product of:
              0.038931977 = queryWeight, product of:
                1.0130532 = boost
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.015845949 = queryNorm
              0.26526138 = fieldWeight in 6496, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.109375 = fieldNorm(doc=6496)
          0.08699027 = weight(abstract_txt:object in 6496) [ClassicSimilarity], result of:
            0.08699027 = score(doc=6496,freq=1.0), product of:
              0.14080006 = queryWeight, product of:
                1.573022 = boost
                5.6487164 = idf(docFreq=416, maxDocs=43556)
                0.015845949 = queryNorm
              0.61782837 = fieldWeight in 6496, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.6487164 = idf(docFreq=416, maxDocs=43556)
                0.109375 = fieldNorm(doc=6496)
          0.057100642 = weight(abstract_txt:document in 6496) [ClassicSimilarity], result of:
            0.057100642 = score(doc=6496,freq=1.0), product of:
              0.12173444 = queryWeight, product of:
                1.7913718 = boost
                4.28854 = idf(docFreq=1624, maxDocs=43556)
                0.015845949 = queryNorm
              0.46905905 = fieldWeight in 6496, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.28854 = idf(docFreq=1624, maxDocs=43556)
                0.109375 = fieldNorm(doc=6496)
          0.28094286 = weight(abstract_txt:deductive in 6496) [ClassicSimilarity], result of:
            0.28094286 = score(doc=6496,freq=1.0), product of:
              0.30763403 = queryWeight, product of:
                2.3251479 = boost
                8.349598 = idf(docFreq=27, maxDocs=43556)
                0.015845949 = queryNorm
              0.9132373 = fieldWeight in 6496, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.349598 = idf(docFreq=27, maxDocs=43556)
                0.109375 = fieldNorm(doc=6496)
          0.17658447 = weight(abstract_txt:logic in 6496) [ClassicSimilarity], result of:
            0.17658447 = score(doc=6496,freq=1.0), product of:
              0.2583972 = queryWeight, product of:
                2.6098943 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.015845949 = queryNorm
              0.6833838 = fieldWeight in 6496, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.109375 = fieldNorm(doc=6496)
          0.18018755 = weight(abstract_txt:query in 6496) [ClassicSimilarity], result of:
            0.18018755 = score(doc=6496,freq=1.0), product of:
              0.34737208 = queryWeight, product of:
                4.6223717 = boost
                4.742549 = idf(docFreq=1031, maxDocs=43556)
                0.015845949 = queryNorm
              0.5187163 = fieldWeight in 6496, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.742549 = idf(docFreq=1031, maxDocs=43556)
                0.109375 = fieldNorm(doc=6496)
        0.24 = coord(6/25)
    
  4. Cali, A.: Ontology querying : datalog strikes back (2017) 0.16
    0.15847044 = sum of:
      0.15847044 = product of:
        0.7923522 = sum of:
          0.08087539 = weight(abstract_txt:extensions in 214) [ClassicSimilarity], result of:
            0.08087539 = score(doc=214,freq=1.0), product of:
              0.117974415 = queryWeight, product of:
                1.0181513 = boost
                7.312355 = idf(docFreq=78, maxDocs=43556)
                0.015845949 = queryNorm
              0.6855333 = fieldWeight in 214, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.312355 = idf(docFreq=78, maxDocs=43556)
                0.09375 = fieldNorm(doc=214)
          0.12470512 = weight(abstract_txt:answering in 214) [ClassicSimilarity], result of:
            0.12470512 = score(doc=214,freq=1.0), product of:
              0.19838542 = queryWeight, product of:
                1.8671889 = boost
                6.705069 = idf(docFreq=144, maxDocs=43556)
                0.015845949 = queryNorm
              0.62860024 = fieldWeight in 214, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.705069 = idf(docFreq=144, maxDocs=43556)
                0.09375 = fieldNorm(doc=214)
          0.089000136 = weight(abstract_txt:rules in 214) [ClassicSimilarity], result of:
            0.089000136 = score(doc=214,freq=1.0), product of:
              0.18136123 = queryWeight, product of:
                2.186509 = boost
                5.234497 = idf(docFreq=630, maxDocs=43556)
                0.015845949 = queryNorm
              0.4907341 = fieldWeight in 214, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.234497 = idf(docFreq=630, maxDocs=43556)
                0.09375 = fieldNorm(doc=214)
          0.27935123 = weight(abstract_txt:inference in 214) [ClassicSimilarity], result of:
            0.27935123 = score(doc=214,freq=1.0), product of:
              0.42792138 = queryWeight, product of:
                3.8782015 = boost
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.015845949 = queryNorm
              0.65280974 = fieldWeight in 214, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.09375 = fieldNorm(doc=214)
          0.2184203 = weight(abstract_txt:query in 214) [ClassicSimilarity], result of:
            0.2184203 = score(doc=214,freq=2.0), product of:
              0.34737208 = queryWeight, product of:
                4.6223717 = boost
                4.742549 = idf(docFreq=1031, maxDocs=43556)
                0.015845949 = queryNorm
              0.62877905 = fieldWeight in 214, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.742549 = idf(docFreq=1031, maxDocs=43556)
                0.09375 = fieldNorm(doc=214)
        0.2 = coord(5/25)
    
  5. Rousset, M.-C.; Atencia, M.; David, J.; Jouanot, F.; Ulliana, F.; Palombi, O.: Datalog revisited for reasoning in linked data (2017) 0.15
    0.1544795 = sum of:
      0.1544795 = product of:
        0.6436646 = sum of:
          0.0059012286 = weight(abstract_txt:information in 222) [ClassicSimilarity], result of:
            0.0059012286 = score(doc=222,freq=1.0), product of:
              0.038931977 = queryWeight, product of:
                1.0130532 = boost
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.015845949 = queryNorm
              0.15157793 = fieldWeight in 222, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.425247 = idf(docFreq=10472, maxDocs=43556)
                0.0625 = fieldNorm(doc=222)
          0.03761618 = weight(abstract_txt:framework in 222) [ClassicSimilarity], result of:
            0.03761618 = score(doc=222,freq=2.0), product of:
              0.09280133 = queryWeight, product of:
                1.2770576 = boost
                4.5859094 = idf(docFreq=1206, maxDocs=43556)
                0.015845949 = queryNorm
              0.40534094 = fieldWeight in 222, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.5859094 = idf(docFreq=1206, maxDocs=43556)
                0.0625 = fieldNorm(doc=222)
          0.033131246 = weight(abstract_txt:relevance in 222) [ClassicSimilarity], result of:
            0.033131246 = score(doc=222,freq=1.0), product of:
              0.10743347 = queryWeight, product of:
                1.374052 = boost
                4.934216 = idf(docFreq=851, maxDocs=43556)
                0.015845949 = queryNorm
              0.3083885 = fieldWeight in 222, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.934216 = idf(docFreq=851, maxDocs=43556)
                0.0625 = fieldNorm(doc=222)
          0.08391014 = weight(abstract_txt:rules in 222) [ClassicSimilarity], result of:
            0.08391014 = score(doc=222,freq=2.0), product of:
              0.18136123 = queryWeight, product of:
                2.186509 = boost
                5.234497 = idf(docFreq=630, maxDocs=43556)
                0.015845949 = queryNorm
              0.46266854 = fieldWeight in 222, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.234497 = idf(docFreq=630, maxDocs=43556)
                0.0625 = fieldNorm(doc=222)
          0.16053878 = weight(abstract_txt:deductive in 222) [ClassicSimilarity], result of:
            0.16053878 = score(doc=222,freq=1.0), product of:
              0.30763403 = queryWeight, product of:
                2.3251479 = boost
                8.349598 = idf(docFreq=27, maxDocs=43556)
                0.015845949 = queryNorm
              0.5218499 = fieldWeight in 222, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.349598 = idf(docFreq=27, maxDocs=43556)
                0.0625 = fieldNorm(doc=222)
          0.32256702 = weight(abstract_txt:inference in 222) [ClassicSimilarity], result of:
            0.32256702 = score(doc=222,freq=3.0), product of:
              0.42792138 = queryWeight, product of:
                3.8782015 = boost
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.015845949 = queryNorm
              0.75379974 = fieldWeight in 222, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.0625 = fieldNorm(doc=222)
        0.24 = coord(6/25)