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

   4.3499155 = sum of:
     4.3499155 = weight(author_txt:chen in 3384) [ClassicSimilarity], result of:
       4.3499155 = fieldWeight in 3384, product of:
         1.4142135 = tf(freq=2.0), with freq of:
           2.0 = termFreq=2.0
         6.1517096 = idf(docFreq=255, maxDocs=44218)
         0.5 = fieldNorm(doc=3384)
   

2. Chen, C.C.; Chen, H.H.; Chen, K.H.: ¬The design of the XML/Metadata management system (2000) 4.00

   3.9956524 = sum of:
     3.9956524 = weight(author_txt:chen in 4633) [ClassicSimilarity], result of:
       3.9956524 = fieldWeight in 4633, product of:
         1.7320508 = tf(freq=3.0), with freq of:
           3.0 = termFreq=3.0
         6.1517096 = idf(docFreq=255, maxDocs=44218)
         0.375 = fieldNorm(doc=4633)
   

3. Chen, W.Y.: Observations on cataloguing and classification (1991) 3.84

   3.8448186 = sum of:
     3.8448186 = weight(author_txt:chen in 4184) [ClassicSimilarity], result of:
       3.8448186 = fieldWeight in 4184, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         6.1517096 = idf(docFreq=255, maxDocs=44218)
         0.625 = fieldNorm(doc=4184)
   

4. Chen, H.: Knowledge-based document retrieval : framework and design (1992) 3.84

   3.8448186 = sum of:
     3.8448186 = weight(author_txt:chen in 5283) [ClassicSimilarity], result of:
       3.8448186 = fieldWeight in 5283, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         6.1517096 = idf(docFreq=255, maxDocs=44218)
         0.625 = fieldNorm(doc=5283)
   

5. Chen, Z.: Enhancing database management to knowledge base management : the role of information retrieval technology (1994) 3.84

   3.8448186 = sum of:
     3.8448186 = weight(author_txt:chen in 7297) [ClassicSimilarity], result of:
       3.8448186 = fieldWeight in 7297, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         6.1517096 = idf(docFreq=255, maxDocs=44218)
         0.625 = fieldNorm(doc=7297)
   

Similar documents (content)

1. Fuhr, N.: Probabilistic datalog : implementing logical information retrieval for advanced applications (2000) 0.19

   0.19469582 = sum of:
     0.19469582 = product of:
       0.9734791 = sum of:
         0.011756016 = weight(abstract_txt:information in 4380) [ClassicSimilarity], result of:
           0.011756016 = score(doc=4380,freq=1.0), product of:
             0.03884767 = queryWeight, product of:
               1.0137559 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.015828742 = queryNorm
             0.3026183 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.18862346 = weight(abstract_txt:propositional in 4380) [ClassicSimilarity], result of:
           0.18862346 = score(doc=4380,freq=1.0), product of:
             0.171349 = queryWeight, product of:
               1.2292242 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.015828742 = queryNorm
             1.1008145 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.119000316 = weight(abstract_txt:rules in 4380) [ClassicSimilarity], result of:
           0.119000316 = score(doc=4380,freq=1.0), product of:
             0.18178454 = queryWeight, product of:
               2.1929533 = boost
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.015828742 = queryNorm
             0.65462285 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.2843217 = weight(abstract_txt:logic in 4380) [ClassicSimilarity], result of:
           0.2843217 = score(doc=4380,freq=2.0), product of:
             0.2578625 = queryWeight, product of:
               2.6118307 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.015828742 = queryNorm
             1.1026096 = fieldWeight in 4380, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.36977762 = weight(abstract_txt:inference in 4380) [ClassicSimilarity], result of:
           0.36977762 = score(doc=4380,freq=1.0), product of:
             0.4260542 = queryWeight, product of:
               3.8766155 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.015828742 = queryNorm
             0.8679121 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
       0.2 = coord(5/25)
   

2. Preston, C.M.; Lynch, C.A.: Report of the first international conference on information and knowledge management (1993) 0.19

   0.19006677 = sum of:
     0.19006677 = product of:
       0.7919449 = sum of:
         0.010286514 = weight(abstract_txt:information in 6499) [ClassicSimilarity], result of:
           0.010286514 = score(doc=6499,freq=1.0), product of:
             0.03884767 = queryWeight, product of:
               1.0137559 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.015828742 = queryNorm
             0.264791 = fieldWeight in 6499, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.109375 = fieldNorm(doc=6499)
         0.087367006 = weight(abstract_txt:object in 6499) [ClassicSimilarity], result of:
           0.087367006 = score(doc=6499,freq=1.0), product of:
             0.14127134 = queryWeight, product of:
               1.5784554 = boost
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.015828742 = queryNorm
             0.6184341 = fieldWeight in 6499, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.109375 = fieldNorm(doc=6499)
         0.05734248 = weight(abstract_txt:document in 6499) [ClassicSimilarity], result of:
           0.05734248 = score(doc=6499,freq=1.0), product of:
             0.122134164 = queryWeight, product of:
               1.7975025 = boost
               4.2926083 = idf(docFreq=1642, maxDocs=44218)
               0.015828742 = queryNorm
             0.46950403 = fieldWeight in 6499, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.2926083 = idf(docFreq=1642, maxDocs=44218)
               0.109375 = fieldNorm(doc=6499)
         0.27931395 = weight(abstract_txt:deductive in 6499) [ClassicSimilarity], result of:
           0.27931395 = score(doc=6499,freq=1.0), product of:
             0.30658495 = queryWeight, product of:
               2.3253093 = boost
               8.329592 = idf(docFreq=28, maxDocs=44218)
               0.015828742 = queryNorm
             0.9110491 = fieldWeight in 6499, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.329592 = idf(docFreq=28, maxDocs=44218)
               0.109375 = fieldNorm(doc=6499)
         0.17591506 = weight(abstract_txt:logic in 6499) [ClassicSimilarity], result of:
           0.17591506 = score(doc=6499,freq=1.0), product of:
             0.2578625 = queryWeight, product of:
               2.6118307 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.015828742 = queryNorm
             0.6822049 = fieldWeight in 6499, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.109375 = fieldNorm(doc=6499)
         0.18171991 = weight(abstract_txt:query in 6499) [ClassicSimilarity], result of:
           0.18171991 = score(doc=6499,freq=1.0), product of:
             0.34949967 = queryWeight, product of:
               4.644754 = boost
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.015828742 = queryNorm
             0.519943 = fieldWeight in 6499, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.109375 = fieldNorm(doc=6499)
       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.18967949 = sum of:
     0.18967949 = product of:
       0.79033124 = sum of:
         0.010286514 = weight(abstract_txt:information in 7706) [ClassicSimilarity], result of:
           0.010286514 = score(doc=7706,freq=1.0), product of:
             0.03884767 = queryWeight, product of:
               1.0137559 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.015828742 = queryNorm
             0.264791 = fieldWeight in 7706, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
         0.02415567 = weight(abstract_txt:user in 7706) [ClassicSimilarity], result of:
           0.02415567 = score(doc=7706,freq=1.0), product of:
             0.059956346 = queryWeight, product of:
               1.0283072 = boost
               3.6835442 = idf(docFreq=3020, maxDocs=44218)
               0.015828742 = queryNorm
             0.40288764 = fieldWeight in 7706, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6835442 = idf(docFreq=3020, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
         0.06442125 = weight(abstract_txt:framework in 7706) [ClassicSimilarity], result of:
           0.06442125 = score(doc=7706,freq=2.0), product of:
             0.091516316 = queryWeight, product of:
               1.2704412 = boost
               4.550903 = idf(docFreq=1268, maxDocs=44218)
               0.015828742 = queryNorm
             0.70393187 = fieldWeight in 7706, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.550903 = idf(docFreq=1268, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
         0.0579763 = weight(abstract_txt:relevance in 7706) [ClassicSimilarity], result of:
           0.0579763 = score(doc=7706,freq=1.0), product of:
             0.10747878 = queryWeight, product of:
               1.3767867 = boost
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.015828742 = queryNorm
             0.5394209 = fieldWeight in 7706, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
         0.17591506 = weight(abstract_txt:logic in 7706) [ClassicSimilarity], result of:
           0.17591506 = score(doc=7706,freq=1.0), product of:
             0.2578625 = queryWeight, product of:
               2.6118307 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.015828742 = queryNorm
             0.6822049 = fieldWeight in 7706, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
         0.45757642 = weight(abstract_txt:inference in 7706) [ClassicSimilarity], result of:
           0.45757642 = score(doc=7706,freq=2.0), product of:
             0.4260542 = queryWeight, product of:
               3.8766155 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.015828742 = queryNorm
             1.0739864 = fieldWeight in 7706, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
       0.24 = coord(6/25)
   

4. Cali, A.: Ontology querying : datalog strikes back (2017) 0.16

   0.15828907 = sum of:
     0.15828907 = product of:
       0.7914454 = sum of:
         0.081489444 = weight(abstract_txt:extensions in 3928) [ClassicSimilarity], result of:
           0.081489444 = score(doc=3928,freq=1.0), product of:
             0.11862544 = queryWeight, product of:
               1.0227729 = boost
               7.3274393 = idf(docFreq=78, maxDocs=44218)
               0.015828742 = queryNorm
             0.68694746 = fieldWeight in 3928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3274393 = idf(docFreq=78, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
         0.12309469 = weight(abstract_txt:answering in 3928) [ClassicSimilarity], result of:
           0.12309469 = score(doc=3928,freq=1.0), product of:
             0.19676438 = queryWeight, product of:
               1.8628528 = boost
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.015828742 = queryNorm
             0.6255944 = fieldWeight in 3928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6730065 = idf(docFreq=151, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
         0.08925024 = weight(abstract_txt:rules in 3928) [ClassicSimilarity], result of:
           0.08925024 = score(doc=3928,freq=1.0), product of:
             0.18178454 = queryWeight, product of:
               2.1929533 = boost
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.015828742 = queryNorm
             0.49096715 = fieldWeight in 3928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
         0.2773332 = weight(abstract_txt:inference in 3928) [ClassicSimilarity], result of:
           0.2773332 = score(doc=3928,freq=1.0), product of:
             0.4260542 = queryWeight, product of:
               3.8766155 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.015828742 = queryNorm
             0.6509341 = fieldWeight in 3928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
         0.22027779 = weight(abstract_txt:query in 3928) [ClassicSimilarity], result of:
           0.22027779 = score(doc=3928,freq=2.0), product of:
             0.34949967 = queryWeight, product of:
               4.644754 = boost
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.015828742 = queryNorm
             0.6302661 = fieldWeight in 3928, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.7537646 = idf(docFreq=1035, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
       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.15355442 = sum of:
     0.15355442 = product of:
       0.63981014 = sum of:
         0.005878008 = weight(abstract_txt:information in 3936) [ClassicSimilarity], result of:
           0.005878008 = score(doc=3936,freq=1.0), product of:
             0.03884767 = queryWeight, product of:
               1.0137559 = boost
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.015828742 = queryNorm
             0.15130915 = fieldWeight in 3936, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.0625 = fieldNorm(doc=3936)
         0.03681214 = weight(abstract_txt:framework in 3936) [ClassicSimilarity], result of:
           0.03681214 = score(doc=3936,freq=2.0), product of:
             0.091516316 = queryWeight, product of:
               1.2704412 = boost
               4.550903 = idf(docFreq=1268, maxDocs=44218)
               0.015828742 = queryNorm
             0.40224677 = fieldWeight in 3936, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.550903 = idf(docFreq=1268, maxDocs=44218)
               0.0625 = fieldNorm(doc=3936)
         0.033129316 = weight(abstract_txt:relevance in 3936) [ClassicSimilarity], result of:
           0.033129316 = score(doc=3936,freq=1.0), product of:
             0.10747878 = queryWeight, product of:
               1.3767867 = boost
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.015828742 = queryNorm
             0.3082405 = fieldWeight in 3936, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.0625 = fieldNorm(doc=3936)
         0.084145926 = weight(abstract_txt:rules in 3936) [ClassicSimilarity], result of:
           0.084145926 = score(doc=3936,freq=2.0), product of:
             0.18178454 = queryWeight, product of:
               2.1929533 = boost
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.015828742 = queryNorm
             0.46288824 = fieldWeight in 3936, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.0625 = fieldNorm(doc=3936)
         0.15960796 = weight(abstract_txt:deductive in 3936) [ClassicSimilarity], result of:
           0.15960796 = score(doc=3936,freq=1.0), product of:
             0.30658495 = queryWeight, product of:
               2.3253093 = boost
               8.329592 = idf(docFreq=28, maxDocs=44218)
               0.015828742 = queryNorm
             0.5205995 = fieldWeight in 3936, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.329592 = idf(docFreq=28, maxDocs=44218)
               0.0625 = fieldNorm(doc=3936)
         0.3202368 = weight(abstract_txt:inference in 3936) [ClassicSimilarity], result of:
           0.3202368 = score(doc=3936,freq=3.0), product of:
             0.4260542 = queryWeight, product of:
               3.8766155 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.015828742 = queryNorm
             0.75163394 = fieldWeight in 3936, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.0625 = fieldNorm(doc=3936)
       0.24 = coord(6/25)