nach oben

Erschienen in:

2016 | OriginalPaper | Buchkapitel

Integrity Constraints for General-Purpose Knowledge Bases

verfasst von : Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp

Erschienen in: Foundations of Information and Knowledge Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system’s consistency, but are kept separate from the reasoning mechanisms.

In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution

Nächstes Kapitel A Knowledge Based Framework for Link Prediction in Social Networks

If consistency of one of M’s contexts is undecidable, then clearly the question of whether M has an equilibrium is also undecidable.

Abiteboul, S.: Updates, a new frontier. In: Gyssens, M., Paredaens, J., van Gucht, D. (eds.) ICDT’88. LNCS, vol. 326, pp. 1–18. Springer, Heidelberg (1988)

Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading (1995)MATH

Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Vianu, V., Papadimitriou, C. (eds.) PODS 1999, pp. 68–79. ACM Press (1999)

Asirelli, P., Santis, M.D., Martelli, M.: Integrity constraints for logic databases. J. Log. Program. 2(3), 221–232 (1985)CrossRefMATH

Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI 2007, pp. 385–390. AAAI Press (2007)

Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 233–258. Springer, Heidelberg (2011)CrossRef

Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI 2011, IJCAI/AAAI, pp. 786–791 (2011)

Caroprese, L., Trubitsyna, I., Truszczyński, M., Zumpano, E.: The view-update problem for indefinite databases. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 134–146. Springer, Heidelberg (2012)CrossRef

Caroprese, L., Zumpano, E.: Consistent data integration in P2P deductive databases. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 230–243. Springer, Heidelberg (2007)CrossRef

10.

Caroprese, L., Zumpano, E.: Dealing with incompleteness and inconsistency in P2P deductive databases. In: Desai, B., Almeida, A., Bernardino, J., Ferreira Gomes, E. (eds.) IDEAS 2014, pp. 124–131. ACM (2014)

11.

Cruz-Filipe, L.: Optimizing computation of repairs from active integrity constraints. In: Beierle, C., Meghini, C. (eds.) FoIKS 2014. LNCS, vol. 8367, pp. 361–380. Springer, Heidelberg (2014)CrossRef

12.

Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I., Schneider-Kamp, P.: repAIrC: a tool for ensuring data consistency by means of active integrity constraints. In: Fred, A., Dietz, J., Aveiro, D., Liu, K., Filipe, J. (eds.) KMIS, pp. 17–26. SciTePress (2015)

13.

Cruz-Filipe, L., Gaspar, G., Nunes, I.: Information flow within relational multi-context systems. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyvönen, E. (eds.) EKAW 2014. LNCS, vol. 8876, pp. 97–108. Springer, Heidelberg (2014)

14.

Cruz-Filipe, L., Henriques, R., Nunes, I.: Description logics, rules and multi-context systems. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol. 8312, pp. 243–257. Springer, Heidelberg (2013)CrossRef

15.

Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR 2010. AAAI Press (2010)

16.

Eiter, T., Fink, M., Ianni, G., Schüller, P.: The IMPL policy language for managing inconsistency in multi-context systems. In: Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP/WLP 2011. LNCS, vol. 7773, pp. 2–25. Springer, Heidelberg (2013)

17.

Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233–274 (2014)MathSciNetCrossRefMATH

18.

Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57(2–3), 227–270 (1992)MathSciNetCrossRefMATH

19.

Fang, M., Li, W., Sunderraman, R.: Maintaining integrity constraints among distributed ontologies. In: CISIS 2011, pp. 184–191. IEEE (2011)

20.

Fink, M., Ghionna, L., Weinzierl, A.: Relational information exchange and aggregation in multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 120–133. Springer, Heidelberg (2011)CrossRef

21.

Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Scott Warren, D. (eds.) PPDP 2004, pp. 98–107. ACM (2004)

22.

Gallaire, H., Minker, J., Nicolas, J.M.: Logic and databases: a deductive approach. ACM Comput. Surv. 16(2), 153–185 (1984)MathSciNetCrossRefMATH

23.

Gonçalves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) ECAI 2014, Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 375–380. IOS Press (2014)

24.

Kakas, A., Mancarella, P.: Database updates through abduction. In: McLeod, D., Sacks-Davis, R., Schek, H.J. (eds.) VLDB 1990, pp. 650–661. Morgan Kaufmann (1990)

25.

Mayol, E., Teniente, E.: Consistency preserving updates in deductive databases. Data Knowl. Eng. 47(1), 61–103 (2003)CrossRef

26.

Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. Web Seman. Sci. Serv. Agents World Wide Web 7(2), 74–89 (2011)CrossRef

27.

Pourebrahimi, B., Bertels, K., Vassiliadis, S.: A survey of peer-to-peer networks. In: ProRISC 2005 (2005)

28.

Pührer, J., Heymans, S., Eiter, T.: Dealing with inconsistency when combining ontologies and rules using DL-programs. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part I. LNCS, vol. 6088, pp. 183–197. Springer, Heidelberg (2010)CrossRef

29.

Schlipf, J.: Complexity and undecidability results for logic programming. Ann. Math. Artif. Intell. 15(3–4), 257–288 (1995)MathSciNetCrossRefMATH

30.

Staworko, S., Chomicki, J.: Consistent query answers in the presence of universal constraints. Inf. Syst. 35(1), 1–22 (2010)CrossRef

31.

Tasharrofi, S., Ternovska, E.: Generalized multi-context systems. In: Baral, C., de Giacomo, G., Eiter, T. (eds.) KR 2014. AAAI Press (2014)

32.

Teniente, E., Olivé, A.: Updating knowledge bases while maintaining their consistency. VLDB J. 4(2), 193–241 (1995)CrossRef

33.

Ullman, J.: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press, Cambridge (1988)

34.

Vardi, M.: The complexity of relational query languages (extended abstract). In: Lewis, H., Simons, B., Burkhard, W., Landweber, L. (eds.) STOC 1982, pp. 137–146. ACM (1982)

35.

Weinzierl, A.: Advancing multi-context systems by inconsistency management. In: Bragaglia, S., Damásio, C., Montali, M., Preece, A., Petrie, C., Proctor, M., Straccia, U. (eds.) RuleML2011@BRF Challenge, CEUR Workshop Proceedings, vol. 799, CEUR-WS.org (2011)

Titel: Integrity Constraints for General-Purpose Knowledge Bases
verfasst von: Luís Cruz-Filipe
Isabel Nunes
Peter Schneider-Kamp
Verlag: Springer International Publishing
Buch: Foundations of Information and Knowledge Systems
Print ISBN: 978-3-319-30023-8

Electronic ISBN: 978-3-319-30024-5

Copyright-Jahr: 2016
DOI: https://doi.org/10.1007/978-3-319-30024-5_13

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"