Document (#6731)

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

   4.3394766 = sum of:
     4.3394766 = weight(author_txt:chen in 4384) [ClassicSimilarity], result of:
       4.3394766 = score(doc=4384,freq=2.0), product of:
         0.99999994 = queryWeight, product of:
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.16294746 = queryNorm
         4.339477 = fieldWeight in 4384, product of:
           1.4142135 = tf(freq=2.0), with freq of:
             2.0 = termFreq=2.0
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.5 = fieldNorm(doc=4384)
   

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

   3.9860637 = sum of:
     3.9860637 = weight(author_txt:chen in 5633) [ClassicSimilarity], result of:
       3.9860637 = score(doc=5633,freq=3.0), product of:
         0.99999994 = queryWeight, product of:
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.16294746 = queryNorm
         3.986064 = fieldWeight in 5633, product of:
           1.7320508 = tf(freq=3.0), with freq of:
             3.0 = termFreq=3.0
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.375 = fieldNorm(doc=5633)
   

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

   3.8355918 = sum of:
     3.8355918 = weight(author_txt:chen in 4183) [ClassicSimilarity], result of:
       3.8355918 = score(doc=4183,freq=1.0), product of:
         0.99999994 = queryWeight, product of:
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.16294746 = queryNorm
         3.835592 = fieldWeight in 4183, product of:
           1.0 = tf(freq=1.0), with freq of:
             1.0 = termFreq=1.0
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.625 = fieldNorm(doc=4183)
   

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

   3.8355918 = sum of:
     3.8355918 = weight(author_txt:chen in 5282) [ClassicSimilarity], result of:
       3.8355918 = score(doc=5282,freq=1.0), product of:
         0.99999994 = queryWeight, product of:
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.16294746 = queryNorm
         3.835592 = fieldWeight in 5282, product of:
           1.0 = tf(freq=1.0), with freq of:
             1.0 = termFreq=1.0
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.625 = fieldNorm(doc=5282)
   

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

   3.8355918 = sum of:
     3.8355918 = weight(author_txt:chen in 7296) [ClassicSimilarity], result of:
       3.8355918 = score(doc=7296,freq=1.0), product of:
         0.99999994 = queryWeight, product of:
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.16294746 = queryNorm
         3.835592 = fieldWeight in 7296, product of:
           1.0 = tf(freq=1.0), with freq of:
             1.0 = termFreq=1.0
           6.136947 = idf(docFreq=260, maxDocs=44421)
           0.625 = fieldNorm(doc=7296)
   

Similar documents (content)

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

   0.1944174 = sum of:
     0.1944174 = product of:
       0.97208697 = sum of:
         0.0117608635 = weight(abstract_txt:information in 5380) [ClassicSimilarity], result of:
           0.0117608635 = score(doc=5380,freq=1.0), product of:
             0.038896576 = queryWeight, product of:
               1.0137641 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.015861953 = queryNorm
             0.30236244 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.18947606 = weight(abstract_txt:propositional in 5380) [ClassicSimilarity], result of:
           0.18947606 = score(doc=5380,freq=1.0), product of:
             0.17203404 = queryWeight, product of:
               1.2309142 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.015861953 = queryNorm
             1.101387 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.11945139 = weight(abstract_txt:rules in 5380) [ClassicSimilarity], result of:
           0.11945139 = score(doc=5380,freq=1.0), product of:
             0.1824229 = queryWeight, product of:
               2.1954367 = boost
               5.238438 = idf(docFreq=640, maxDocs=44421)
               0.015861953 = queryNorm
             0.65480477 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.238438 = idf(docFreq=640, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.28520736 = weight(abstract_txt:logic in 5380) [ClassicSimilarity], result of:
           0.28520736 = score(doc=5380,freq=2.0), product of:
             0.2586519 = queryWeight, product of:
               2.6142015 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.015861953 = queryNorm
             1.1026686 = fieldWeight in 5380, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.36619133 = weight(abstract_txt:inference in 5380) [ClassicSimilarity], result of:
           0.36619133 = score(doc=5380,freq=1.0), product of:
             0.42371145 = queryWeight, product of:
               3.8635423 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.015861953 = queryNorm
             0.86424696 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
       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.18919556 = sum of:
     0.18919556 = product of:
       0.7883148 = sum of:
         0.010290756 = weight(abstract_txt:information in 6498) [ClassicSimilarity], result of:
           0.010290756 = score(doc=6498,freq=1.0), product of:
             0.038896576 = queryWeight, product of:
               1.0137641 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.015861953 = queryNorm
             0.26456714 = fieldWeight in 6498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.109375 = fieldNorm(doc=6498)
         0.08772779 = weight(abstract_txt:object in 6498) [ClassicSimilarity], result of:
           0.08772779 = score(doc=6498,freq=1.0), product of:
             0.14179936 = queryWeight, product of:
               1.5804207 = boost
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.015861953 = queryNorm
             0.61867553 = fieldWeight in 6498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.109375 = fieldNorm(doc=6498)
         0.05757387 = weight(abstract_txt:document in 6498) [ClassicSimilarity], result of:
           0.05757387 = score(doc=6498,freq=1.0), product of:
             0.12258297 = queryWeight, product of:
               1.7996842 = boost
               4.29415 = idf(docFreq=1647, maxDocs=44421)
               0.015861953 = queryNorm
             0.46967265 = fieldWeight in 6498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.29415 = idf(docFreq=1647, maxDocs=44421)
               0.109375 = fieldNorm(doc=6498)
         0.273919 = weight(abstract_txt:deductive in 6498) [ClassicSimilarity], result of:
           0.273919 = score(doc=6498,freq=1.0), product of:
             0.30292204 = queryWeight, product of:
               2.3099418 = boost
               8.267481 = idf(docFreq=30, maxDocs=44421)
               0.015861953 = queryNorm
             0.90425575 = fieldWeight in 6498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.267481 = idf(docFreq=30, maxDocs=44421)
               0.109375 = fieldNorm(doc=6498)
         0.17646304 = weight(abstract_txt:logic in 6498) [ClassicSimilarity], result of:
           0.17646304 = score(doc=6498,freq=1.0), product of:
             0.2586519 = queryWeight, product of:
               2.6142015 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.015861953 = queryNorm
             0.6822414 = fieldWeight in 6498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.109375 = fieldNorm(doc=6498)
         0.18234038 = weight(abstract_txt:query in 6498) [ClassicSimilarity], result of:
           0.18234038 = score(doc=6498,freq=1.0), product of:
             0.3506394 = queryWeight, product of:
               4.6494327 = boost
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.015861953 = queryNorm
             0.5200225 = fieldWeight in 6498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.109375 = fieldNorm(doc=6498)
       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.18875329 = sum of:
     0.18875329 = product of:
       0.7864721 = sum of:
         0.010290756 = weight(abstract_txt:information in 775) [ClassicSimilarity], result of:
           0.010290756 = score(doc=775,freq=1.0), product of:
             0.038896576 = queryWeight, product of:
               1.0137641 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.015861953 = queryNorm
             0.26456714 = fieldWeight in 775, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
         0.024174271 = weight(abstract_txt:user in 775) [ClassicSimilarity], result of:
           0.024174271 = score(doc=775,freq=1.0), product of:
             0.060046133 = queryWeight, product of:
               1.028438 = boost
               3.6808684 = idf(docFreq=3042, maxDocs=44421)
               0.015861953 = queryNorm
             0.40259498 = fieldWeight in 775, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.6808684 = idf(docFreq=3042, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
         0.064339705 = weight(abstract_txt:framework in 775) [ClassicSimilarity], result of:
           0.064339705 = score(doc=775,freq=2.0), product of:
             0.09152903 = queryWeight, product of:
               1.2697406 = boost
               4.5445113 = idf(docFreq=1282, maxDocs=44421)
               0.015861953 = queryNorm
             0.7029432 = fieldWeight in 775, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.5445113 = idf(docFreq=1282, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
         0.058065698 = weight(abstract_txt:relevance in 775) [ClassicSimilarity], result of:
           0.058065698 = score(doc=775,freq=1.0), product of:
             0.10769508 = queryWeight, product of:
               1.3773158 = boost
               4.929532 = idf(docFreq=872, maxDocs=44421)
               0.015861953 = queryNorm
             0.5391676 = fieldWeight in 775, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.929532 = idf(docFreq=872, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
         0.17646304 = weight(abstract_txt:logic in 775) [ClassicSimilarity], result of:
           0.17646304 = score(doc=775,freq=1.0), product of:
             0.2586519 = queryWeight, product of:
               2.6142015 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.015861953 = queryNorm
             0.6822414 = fieldWeight in 775, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
         0.45313862 = weight(abstract_txt:inference in 775) [ClassicSimilarity], result of:
           0.45313862 = score(doc=775,freq=2.0), product of:
             0.42371145 = queryWeight, product of:
               3.8635423 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.015861953 = queryNorm
             1.069451 = fieldWeight in 775, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
       0.24 = coord(6/25)
   

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

   0.1577438 = sum of:
     0.1577438 = product of:
       0.788719 = sum of:
         0.08188354 = weight(abstract_txt:extensions in 4928) [ClassicSimilarity], result of:
           0.08188354 = score(doc=4928,freq=1.0), product of:
             0.11912467 = queryWeight, product of:
               1.0242865 = boost
               7.33202 = idf(docFreq=78, maxDocs=44421)
               0.015861953 = queryNorm
             0.68737686 = fieldWeight in 4928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.33202 = idf(docFreq=78, maxDocs=44421)
               0.09375 = fieldNorm(doc=4928)
         0.121573456 = weight(abstract_txt:answering in 4928) [ClassicSimilarity], result of:
           0.121573456 = score(doc=4928,freq=1.0), product of:
             0.19533189 = queryWeight, product of:
               1.8549072 = boost
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.015861953 = queryNorm
             0.6223943 = fieldWeight in 4928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.09375 = fieldNorm(doc=4928)
         0.089588545 = weight(abstract_txt:rules in 4928) [ClassicSimilarity], result of:
           0.089588545 = score(doc=4928,freq=1.0), product of:
             0.1824229 = queryWeight, product of:
               2.1954367 = boost
               5.238438 = idf(docFreq=640, maxDocs=44421)
               0.015861953 = queryNorm
             0.4911036 = fieldWeight in 4928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.238438 = idf(docFreq=640, maxDocs=44421)
               0.09375 = fieldNorm(doc=4928)
         0.2746435 = weight(abstract_txt:inference in 4928) [ClassicSimilarity], result of:
           0.2746435 = score(doc=4928,freq=1.0), product of:
             0.42371145 = queryWeight, product of:
               3.8635423 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.015861953 = queryNorm
             0.64818525 = fieldWeight in 4928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.09375 = fieldNorm(doc=4928)
         0.22102994 = weight(abstract_txt:query in 4928) [ClassicSimilarity], result of:
           0.22102994 = score(doc=4928,freq=2.0), product of:
             0.3506394 = queryWeight, product of:
               4.6494327 = boost
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.015861953 = queryNorm
             0.6303625 = fieldWeight in 4928, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.754492 = idf(docFreq=1039, maxDocs=44421)
               0.09375 = fieldNorm(doc=4928)
       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.15214737 = sum of:
     0.15214737 = product of:
       0.6339474 = sum of:
         0.0058804317 = weight(abstract_txt:information in 4936) [ClassicSimilarity], result of:
           0.0058804317 = score(doc=4936,freq=1.0), product of:
             0.038896576 = queryWeight, product of:
               1.0137641 = boost
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.015861953 = queryNorm
             0.15118122 = fieldWeight in 4936, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.0625 = fieldNorm(doc=4936)
         0.03676555 = weight(abstract_txt:framework in 4936) [ClassicSimilarity], result of:
           0.03676555 = score(doc=4936,freq=2.0), product of:
             0.09152903 = queryWeight, product of:
               1.2697406 = boost
               4.5445113 = idf(docFreq=1282, maxDocs=44421)
               0.015861953 = queryNorm
             0.40168184 = fieldWeight in 4936, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.5445113 = idf(docFreq=1282, maxDocs=44421)
               0.0625 = fieldNorm(doc=4936)
         0.033180397 = weight(abstract_txt:relevance in 4936) [ClassicSimilarity], result of:
           0.033180397 = score(doc=4936,freq=1.0), product of:
             0.10769508 = queryWeight, product of:
               1.3773158 = boost
               4.929532 = idf(docFreq=872, maxDocs=44421)
               0.015861953 = queryNorm
             0.30809575 = fieldWeight in 4936, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.929532 = idf(docFreq=872, maxDocs=44421)
               0.0625 = fieldNorm(doc=4936)
         0.084464885 = weight(abstract_txt:rules in 4936) [ClassicSimilarity], result of:
           0.084464885 = score(doc=4936,freq=2.0), product of:
             0.1824229 = queryWeight, product of:
               2.1954367 = boost
               5.238438 = idf(docFreq=640, maxDocs=44421)
               0.015861953 = queryNorm
             0.4630169 = fieldWeight in 4936, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.238438 = idf(docFreq=640, maxDocs=44421)
               0.0625 = fieldNorm(doc=4936)
         0.15652514 = weight(abstract_txt:deductive in 4936) [ClassicSimilarity], result of:
           0.15652514 = score(doc=4936,freq=1.0), product of:
             0.30292204 = queryWeight, product of:
               2.3099418 = boost
               8.267481 = idf(docFreq=30, maxDocs=44421)
               0.015861953 = queryNorm
             0.51671755 = fieldWeight in 4936, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.267481 = idf(docFreq=30, maxDocs=44421)
               0.0625 = fieldNorm(doc=4936)
         0.31713098 = weight(abstract_txt:inference in 4936) [ClassicSimilarity], result of:
           0.31713098 = score(doc=4936,freq=3.0), product of:
             0.42371145 = queryWeight, product of:
               3.8635423 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.015861953 = queryNorm
             0.7484598 = fieldWeight in 4936, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.0625 = fieldNorm(doc=4936)
       0.24 = coord(6/25)