Document (#16345)

Author

Antoniou, G.

Title

Integrity and rule checking in nonmonotonic knowledge bases

Source

Knowledge-based systems. 9(1996) no.5, S.301-306

Year

1996

Abstract

Anomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Introduces various methods for detecting such anomalies. Discusses how classical verification methods may be applied to detect some anomalies in nonmonotonic knowledge bases. Describes these anomalies in a formal way, and presents the generic verfication methods to detect them

Similar documents (author)

1. Antoniou, G.; Harmelen, F. van: ¬A semantic Web primer (2004) 4.34

   4.3354974 = sum of:
     4.3354974 = weight(author_txt:antoniou in 1468) [ClassicSimilarity], result of:
       4.3354974 = fieldWeight in 1468, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.909708 = idf(docFreq=5, maxDocs=44421)
         0.4375 = fieldNorm(doc=1468)
   

2. Lange, C.; Ion, P.; Dimou, A.; Bratsas, C.; Sperber, W.; Kohlhasel, M.; Antoniou, I.: Getting mathematics towards the Web of Data : the case of the Mathematics Subject Classification (2012) 2.48

   2.477427 = sum of:
     2.477427 = weight(author_txt:antoniou in 1111) [ClassicSimilarity], result of:
       2.477427 = fieldWeight in 1111, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.909708 = idf(docFreq=5, maxDocs=44421)
         0.25 = fieldNorm(doc=1111)
   

3. Lange, C.; Ion, P.; Dimou, A.; Bratsas, C.; Sperber, W.; Kohlhasel, M.; Antoniou, I.: Bringing mathematics towards the Web of Data : the case of the Mathematics Subject Classification (2012) 2.48

   2.477427 = sum of:
     2.477427 = weight(author_txt:antoniou in 1263) [ClassicSimilarity], result of:
       2.477427 = fieldWeight in 1263, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.909708 = idf(docFreq=5, maxDocs=44421)
         0.25 = fieldNorm(doc=1263)
   

4. Bampatzia, S.; Bravo-Quezada, O.G.; Antoniou, A.; Lopez Nores, M.; Wallace, M.; Lepouras, G.; Vasilakis, C.: ¬The use of semantics in the CrossCult H2020 project (2017) 2.48

   2.477427 = sum of:
     2.477427 = weight(author_txt:antoniou in 4487) [ClassicSimilarity], result of:
       2.477427 = fieldWeight in 4487, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.909708 = idf(docFreq=5, maxDocs=44421)
         0.25 = fieldNorm(doc=4487)
   

Similar documents (content)

1. Plessa, P.N.; Yannakoudakis, E.J.: Information retrieval using relational views (1994) 0.15

   0.1506847 = sum of:
     0.1506847 = product of:
       0.75342345 = sum of:
         0.033185657 = weight(abstract_txt:indicate in 1140) [ClassicSimilarity], result of:
           0.033185657 = score(doc=1140,freq=1.0), product of:
             0.06622199 = queryWeight, product of:
               1.2182932 = boost
               5.34536 = idf(docFreq=575, maxDocs=44421)
               0.010168888 = queryNorm
             0.5011275 = fieldWeight in 1140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.34536 = idf(docFreq=575, maxDocs=44421)
               0.09375 = fieldNorm(doc=1140)
         0.038837258 = weight(abstract_txt:base in 1140) [ClassicSimilarity], result of:
           0.038837258 = score(doc=1140,freq=1.0), product of:
             0.073541805 = queryWeight, product of:
               1.2838606 = boost
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.010168888 = queryNorm
             0.5280977 = fieldWeight in 1140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.09375 = fieldNorm(doc=1140)
         0.017398532 = weight(abstract_txt:such in 1140) [ClassicSimilarity], result of:
           0.017398532 = score(doc=1140,freq=1.0), product of:
             0.054248407 = queryWeight, product of:
               1.559406 = boost
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.010168888 = queryNorm
             0.3207197 = fieldWeight in 1140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.09375 = fieldNorm(doc=1140)
         0.13352661 = weight(abstract_txt:integrity in 1140) [ClassicSimilarity], result of:
           0.13352661 = score(doc=1140,freq=2.0), product of:
             0.13296494 = queryWeight, product of:
               1.7263119 = boost
               7.574333 = idf(docFreq=61, maxDocs=44421)
               0.010168888 = queryNorm
             1.0042242 = fieldWeight in 1140, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.574333 = idf(docFreq=61, maxDocs=44421)
               0.09375 = fieldNorm(doc=1140)
         0.5304754 = weight(abstract_txt:anomalies in 1140) [ClassicSimilarity], result of:
           0.5304754 = score(doc=1140,freq=1.0), product of:
             0.6670608 = queryWeight, product of:
               7.7332745 = boost
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.010168888 = queryNorm
             0.79524297 = fieldWeight in 1140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.09375 = fieldNorm(doc=1140)
       0.2 = coord(5/25)
   

2. Ho, S.M.; Benbasat, I.: Dyadic attribution model : a mechanism to assess trustworthiness in virtual organizations (2014) 0.08

   0.078977436 = sum of:
     0.078977436 = product of:
       0.6581453 = sum of:
         0.011599022 = weight(abstract_txt:such in 2328) [ClassicSimilarity], result of:
           0.011599022 = score(doc=2328,freq=1.0), product of:
             0.054248407 = queryWeight, product of:
               1.559406 = boost
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.010168888 = queryNorm
             0.21381313 = fieldWeight in 2328, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.0625 = fieldNorm(doc=2328)
         0.14640932 = weight(abstract_txt:detect in 2328) [ClassicSimilarity], result of:
           0.14640932 = score(doc=2328,freq=2.0), product of:
             0.23342207 = queryWeight, product of:
               3.2347198 = boost
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.010168888 = queryNorm
             0.62723 = fieldWeight in 2328, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.0625 = fieldNorm(doc=2328)
         0.500137 = weight(abstract_txt:anomalies in 2328) [ClassicSimilarity], result of:
           0.500137 = score(doc=2328,freq=2.0), product of:
             0.6670608 = queryWeight, product of:
               7.7332745 = boost
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.010168888 = queryNorm
             0.74976224 = fieldWeight in 2328, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.0625 = fieldNorm(doc=2328)
       0.12 = coord(3/25)
   

3. Zielinski, K.; Nielek, R.; Wierzbicki, A.; Jatowt, A.: Computing controversy : formal model and algorithms for detecting controversy on Wikipedia and in search queries (2018) 0.08

   0.07823654 = sum of:
     0.07823654 = product of:
       0.27941623 = sum of:
         0.014313159 = weight(abstract_txt:possible in 93) [ClassicSimilarity], result of:
           0.014313159 = score(doc=93,freq=1.0), product of:
             0.049535863 = queryWeight, product of:
               1.0536845 = boost
               4.623126 = idf(docFreq=1185, maxDocs=44421)
               0.010168888 = queryNorm
             0.28894538 = fieldWeight in 93, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.623126 = idf(docFreq=1185, maxDocs=44421)
               0.0625 = fieldNorm(doc=93)
         0.015986763 = weight(abstract_txt:applied in 93) [ClassicSimilarity], result of:
           0.015986763 = score(doc=93,freq=1.0), product of:
             0.053325687 = queryWeight, product of:
               1.0932486 = boost
               4.7967167 = idf(docFreq=996, maxDocs=44421)
               0.010168888 = queryNorm
             0.2997948 = fieldWeight in 93, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.7967167 = idf(docFreq=996, maxDocs=44421)
               0.0625 = fieldNorm(doc=93)
         0.024383048 = weight(abstract_txt:formal in 93) [ClassicSimilarity], result of:
           0.024383048 = score(doc=93,freq=1.0), product of:
             0.070656925 = queryWeight, product of:
               1.2584271 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.010168888 = queryNorm
             0.3450907 = fieldWeight in 93, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=93)
         0.09330879 = weight(abstract_txt:detecting in 93) [ClassicSimilarity], result of:
           0.09330879 = score(doc=93,freq=2.0), product of:
             0.13720433 = queryWeight, product of:
               1.7536165 = boost
               7.694134 = idf(docFreq=54, maxDocs=44421)
               0.010168888 = queryNorm
             0.6800718 = fieldWeight in 93, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.694134 = idf(docFreq=54, maxDocs=44421)
               0.0625 = fieldNorm(doc=93)
         0.030913133 = weight(abstract_txt:methods in 93) [ClassicSimilarity], result of:
           0.030913133 = score(doc=93,freq=1.0), product of:
             0.119370915 = queryWeight, product of:
               2.8330915 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.010168888 = queryNorm
             0.25896704 = fieldWeight in 93, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.0625 = fieldNorm(doc=93)
         0.074668 = weight(abstract_txt:bases in 93) [ClassicSimilarity], result of:
           0.074668 = score(doc=93,freq=1.0), product of:
             0.18772802 = queryWeight, product of:
               2.9008832 = boost
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.010168888 = queryNorm
             0.3977456 = fieldWeight in 93, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.0625 = fieldNorm(doc=93)
         0.02584335 = weight(abstract_txt:knowledge in 93) [ClassicSimilarity], result of:
           0.02584335 = score(doc=93,freq=1.0), product of:
             0.11659555 = queryWeight, product of:
               3.233119 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.010168888 = queryNorm
             0.22164954 = fieldWeight in 93, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=93)
       0.28 = coord(7/25)
   

4. Markowitz, V.M.: Safe referential integrity and null constraint structures in relational databases (1994) 0.08

   0.07512324 = sum of:
     0.07512324 = product of:
       0.9390406 = sum of:
         0.18883514 = weight(abstract_txt:integrity in 853) [ClassicSimilarity], result of:
           0.18883514 = score(doc=853,freq=4.0), product of:
             0.13296494 = queryWeight, product of:
               1.7263119 = boost
               7.574333 = idf(docFreq=61, maxDocs=44421)
               0.010168888 = queryNorm
             1.4201875 = fieldWeight in 853, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.574333 = idf(docFreq=61, maxDocs=44421)
               0.09375 = fieldNorm(doc=853)
         0.75020546 = weight(abstract_txt:anomalies in 853) [ClassicSimilarity], result of:
           0.75020546 = score(doc=853,freq=2.0), product of:
             0.6670608 = queryWeight, product of:
               7.7332745 = boost
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.010168888 = queryNorm
             1.1246433 = fieldWeight in 853, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.09375 = fieldNorm(doc=853)
       0.08 = coord(2/25)
   

5. Cadoli, M.; Donini, F.M.: ¬A survey on knowledge compilation (1997) 0.07

   0.06588676 = sum of:
     0.06588676 = product of:
       0.41179225 = sum of:
         0.023198044 = weight(abstract_txt:such in 4320) [ClassicSimilarity], result of:
           0.023198044 = score(doc=4320,freq=1.0), product of:
             0.054248407 = queryWeight, product of:
               1.559406 = boost
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.010168888 = queryNorm
             0.42762625 = fieldWeight in 4320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.42101 = idf(docFreq=3945, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.061826266 = weight(abstract_txt:methods in 4320) [ClassicSimilarity], result of:
           0.061826266 = score(doc=4320,freq=1.0), product of:
             0.119370915 = queryWeight, product of:
               2.8330915 = boost
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.010168888 = queryNorm
             0.5179341 = fieldWeight in 4320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1434727 = idf(docFreq=1915, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.21119297 = weight(abstract_txt:bases in 4320) [ClassicSimilarity], result of:
           0.21119297 = score(doc=4320,freq=2.0), product of:
             0.18772802 = queryWeight, product of:
               2.9008832 = boost
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.010168888 = queryNorm
             1.1249944 = fieldWeight in 4320, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
         0.11557498 = weight(abstract_txt:knowledge in 4320) [ClassicSimilarity], result of:
           0.11557498 = score(doc=4320,freq=5.0), product of:
             0.11659555 = queryWeight, product of:
               3.233119 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.010168888 = queryNorm
             0.9912469 = fieldWeight in 4320, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.125 = fieldNorm(doc=4320)
       0.16 = coord(4/25)