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

   4.333493 = sum of:
     4.333493 = weight(author_txt:antoniou in 468) [ClassicSimilarity], result of:
       4.333493 = fieldWeight in 468, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.4375 = fieldNorm(doc=468)
   

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.476282 = sum of:
     2.476282 = weight(author_txt:antoniou in 111) [ClassicSimilarity], result of:
       2.476282 = fieldWeight in 111, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.25 = fieldNorm(doc=111)
   

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.476282 = sum of:
     2.476282 = weight(author_txt:antoniou in 263) [ClassicSimilarity], result of:
       2.476282 = fieldWeight in 263, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.25 = fieldNorm(doc=263)
   

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.476282 = sum of:
     2.476282 = weight(author_txt:antoniou in 3487) [ClassicSimilarity], result of:
       2.476282 = fieldWeight in 3487, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.905128 = idf(docFreq=5, maxDocs=44218)
         0.25 = fieldNorm(doc=3487)
   

Similar documents (content)

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

   0.15141259 = sum of:
     0.15141259 = product of:
       0.7570629 = sum of:
         0.033424325 = weight(abstract_txt:indicate in 1072) [ClassicSimilarity], result of:
           0.033424325 = score(doc=1072,freq=1.0), product of:
             0.06653726 = queryWeight, product of:
               1.2195352 = boost
               5.358293 = idf(docFreq=565, maxDocs=44218)
               0.010182259 = queryNorm
             0.50233996 = fieldWeight in 1072, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.358293 = idf(docFreq=565, maxDocs=44218)
               0.09375 = fieldNorm(doc=1072)
         0.03883525 = weight(abstract_txt:base in 1072) [ClassicSimilarity], result of:
           0.03883525 = score(doc=1072,freq=1.0), product of:
             0.07353722 = queryWeight, product of:
               1.2820811 = boost
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.010182259 = queryNorm
             0.5281033 = fieldWeight in 1072, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.09375 = fieldNorm(doc=1072)
         0.017467115 = weight(abstract_txt:such in 1072) [ClassicSimilarity], result of:
           0.017467115 = score(doc=1072,freq=1.0), product of:
             0.054389358 = queryWeight, product of:
               1.559315 = boost
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.010182259 = queryNorm
             0.3211495 = fieldWeight in 1072, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.09375 = fieldNorm(doc=1072)
         0.13776398 = weight(abstract_txt:integrity in 1072) [ClassicSimilarity], result of:
           0.13776398 = score(doc=1072,freq=2.0), product of:
             0.13575952 = queryWeight, product of:
               1.7419955 = boost
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.010182259 = queryNorm
             1.0147648 = fieldWeight in 1072, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.09375 = fieldNorm(doc=1072)
         0.52957225 = weight(abstract_txt:anomalies in 1072) [ClassicSimilarity], result of:
           0.52957225 = score(doc=1072,freq=1.0), product of:
             0.6662849 = queryWeight, product of:
               7.7183037 = boost
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.010182259 = queryNorm
             0.7948135 = fieldWeight in 1072, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.09375 = fieldNorm(doc=1072)
       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.07891994 = sum of:
     0.07891994 = product of:
       0.6576662 = sum of:
         0.011644743 = weight(abstract_txt:such in 1328) [ClassicSimilarity], result of:
           0.011644743 = score(doc=1328,freq=1.0), product of:
             0.054389358 = queryWeight, product of:
               1.559315 = boost
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.010182259 = queryNorm
             0.21409966 = fieldWeight in 1328, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.0625 = fieldNorm(doc=1328)
         0.14673589 = weight(abstract_txt:detect in 1328) [ClassicSimilarity], result of:
           0.14673589 = score(doc=1328,freq=2.0), product of:
             0.23376253 = queryWeight, product of:
               3.232692 = boost
               7.1017675 = idf(docFreq=98, maxDocs=44218)
               0.010182259 = queryNorm
             0.6277135 = fieldWeight in 1328, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.1017675 = idf(docFreq=98, maxDocs=44218)
               0.0625 = fieldNorm(doc=1328)
         0.49928555 = weight(abstract_txt:anomalies in 1328) [ClassicSimilarity], result of:
           0.49928555 = score(doc=1328,freq=2.0), product of:
             0.6662849 = queryWeight, product of:
               7.7183037 = boost
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.010182259 = queryNorm
             0.7493574 = fieldWeight in 1328, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.0625 = fieldNorm(doc=1328)
       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.078285284 = sum of:
     0.078285284 = product of:
       0.2795903 = sum of:
         0.014332291 = weight(abstract_txt:possible in 5093) [ClassicSimilarity], result of:
           0.014332291 = score(doc=5093,freq=1.0), product of:
             0.049578615 = queryWeight, product of:
               1.0527108 = boost
               4.6253138 = idf(docFreq=1177, maxDocs=44218)
               0.010182259 = queryNorm
             0.2890821 = fieldWeight in 5093, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.6253138 = idf(docFreq=1177, maxDocs=44218)
               0.0625 = fieldNorm(doc=5093)
         0.015969766 = weight(abstract_txt:applied in 5093) [ClassicSimilarity], result of:
           0.015969766 = score(doc=5093,freq=1.0), product of:
             0.0532864 = queryWeight, product of:
               1.0913651 = boost
               4.79515 = idf(docFreq=993, maxDocs=44218)
               0.010182259 = queryNorm
             0.29969686 = fieldWeight in 5093, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.79515 = idf(docFreq=993, maxDocs=44218)
               0.0625 = fieldNorm(doc=5093)
         0.024347804 = weight(abstract_txt:formal in 5093) [ClassicSimilarity], result of:
           0.024347804 = score(doc=5093,freq=1.0), product of:
             0.07058686 = queryWeight, product of:
               1.2560989 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.010182259 = queryNorm
             0.34493396 = fieldWeight in 5093, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=5093)
         0.093134485 = weight(abstract_txt:detecting in 5093) [ClassicSimilarity], result of:
           0.093134485 = score(doc=5093,freq=2.0), product of:
             0.13702959 = queryWeight, product of:
               1.7501249 = boost
               7.689554 = idf(docFreq=54, maxDocs=44218)
               0.010182259 = queryNorm
             0.679667 = fieldWeight in 5093, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.689554 = idf(docFreq=54, maxDocs=44218)
               0.0625 = fieldNorm(doc=5093)
         0.030984 = weight(abstract_txt:methods in 5093) [ClassicSimilarity], result of:
           0.030984 = score(doc=5093,freq=1.0), product of:
             0.11954995 = queryWeight, product of:
               2.831374 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.010182259 = queryNorm
             0.259172 = fieldWeight in 5093, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.0625 = fieldNorm(doc=5093)
         0.074840724 = weight(abstract_txt:bases in 5093) [ClassicSimilarity], result of:
           0.074840724 = score(doc=5093,freq=1.0), product of:
             0.18801218 = queryWeight, product of:
               2.8991446 = boost
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.010182259 = queryNorm
             0.39806318 = fieldWeight in 5093, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.0625 = fieldNorm(doc=5093)
         0.025981257 = weight(abstract_txt:knowledge in 5093) [ClassicSimilarity], result of:
           0.025981257 = score(doc=5093,freq=1.0), product of:
             0.117006704 = queryWeight, product of:
               3.2344263 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.010182259 = queryNorm
             0.2220493 = fieldWeight in 5093, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=5093)
       0.28 = coord(7/25)
   

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

   0.07550047 = sum of:
     0.07550047 = product of:
       0.943756 = sum of:
         0.1948277 = weight(abstract_txt:integrity in 785) [ClassicSimilarity], result of:
           0.1948277 = score(doc=785,freq=4.0), product of:
             0.13575952 = queryWeight, product of:
               1.7419955 = boost
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.010182259 = queryNorm
             1.4350942 = fieldWeight in 785, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.653836 = idf(docFreq=56, maxDocs=44218)
               0.09375 = fieldNorm(doc=785)
         0.7489283 = weight(abstract_txt:anomalies in 785) [ClassicSimilarity], result of:
           0.7489283 = score(doc=785,freq=2.0), product of:
             0.6662849 = queryWeight, product of:
               7.7183037 = boost
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.010182259 = queryNorm
             1.1240361 = fieldWeight in 785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.09375 = fieldNorm(doc=785)
       0.08 = coord(2/25)
   

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

   0.06610092 = sum of:
     0.06610092 = product of:
       0.41313073 = sum of:
         0.023289487 = weight(abstract_txt:such in 3320) [ClassicSimilarity], result of:
           0.023289487 = score(doc=3320,freq=1.0), product of:
             0.054389358 = queryWeight, product of:
               1.559315 = boost
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.010182259 = queryNorm
             0.42819932 = fieldWeight in 3320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4255946 = idf(docFreq=3909, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.061968 = weight(abstract_txt:methods in 3320) [ClassicSimilarity], result of:
           0.061968 = score(doc=3320,freq=1.0), product of:
             0.11954995 = queryWeight, product of:
               2.831374 = boost
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.010182259 = queryNorm
             0.518344 = fieldWeight in 3320, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.146752 = idf(docFreq=1900, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.21168153 = weight(abstract_txt:bases in 3320) [ClassicSimilarity], result of:
           0.21168153 = score(doc=3320,freq=2.0), product of:
             0.18801218 = queryWeight, product of:
               2.8991446 = boost
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.010182259 = queryNorm
             1.1258926 = fieldWeight in 3320, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
         0.116191715 = weight(abstract_txt:knowledge in 3320) [ClassicSimilarity], result of:
           0.116191715 = score(doc=3320,freq=5.0), product of:
             0.117006704 = queryWeight, product of:
               3.2344263 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.010182259 = queryNorm
             0.99303466 = fieldWeight in 3320, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.125 = fieldNorm(doc=3320)
       0.16 = coord(4/25)