Abstract
Preserving the privacy of sensitive data is one of the major challenges the information society has to face. Traditional approaches focused on infrastructures for identifying data which is to be kept private and for managing access rights to these data. However, although these efforts are useful, they do not address an important aspect: While the sensitive data itself can be protected nicely using these mechanisms, related data, which is deemed insensitive per se, may be used to infer sensitive data. This inference can be achieved by combining insensitive data or by exploiting specific background knowledge of the domain of discourse. In this paper, we present a general formalization of this problem and two particular instantiations of it. The first supports query answering by means of multi-context systems and hybrid knowledge bases, while the second allows for query answering by using default logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bairakdar, S.E., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 352–355. Springer, Heidelberg (2010)
Baral, C., Subrahmanian, V.: Dualities Between Alternative Semantics for Logic Programming and Non-Monotonic Reasoning. Journal of Automated Reasoning 10(3), 399–420 (1993)
Benton, J., Subrahmanian, V.: Hybrid Knowledge Bases for Missile Siting Applications. In: IEEE Conference on AI Applications, pp. 141–148 (1993)
Bögl, M., Eiter, T., Fink, M., Schüller, P.: The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 356–359. Springer, Heidelberg (2010)
Bonatti, P.A., Kraus, S., Subrahmanian, V.: Foundations of secure deductive databases. IEEE Transactions on Knowledge and Data Engineering 7(3), 406–422 (1995)
Brewka, G., Dix, J., Konolige, K.: Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes, vol. 73. CSLI Publications, Stanford (1997)
Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), pp. 385–390. AAAI Press (2007)
Cadoli, M., Eiter, T., Gottlob, G.: Default Logic as a Query Language. IEEE Transactions on Knowledge and Data Engineering 9(3), 448–463 (1997)
Dix, J.: Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic. In: Neumann, B. (ed.) Proc. of 10th European Conf. on Artificial Intelligence ECAI 1992, pp. 289–293. John Wiley & Sons (1992)
Dix, J., Faber, W., Subrahmanian, V.: The Relationship between Reasoning about Privacy and Default Logics. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 637–650. Springer, Heidelberg (2005)
Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Finding Explanations of Inconsistency in Multi-Context Systems. In: Lin, F., Sattler, U., Truszczyński, M. (eds.) Proceedings of the Twelfth International Conference on Knowledge Representation and Reasoning (KR 2010), AAAI Press (2010)
Faber, W.: Privacy Preservation Using Multi-Context Systems. In: Mileo, A., Fink, M. (eds.) Proceedings of the 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications, May 2011, pp. 45–51 (2011)
Ferraris, P., Lee, J., Lifschitz, V.: A New Perspective on Stable Models. In: Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 372–379 (January 2007)
Gottlob, G.: Complexity Results for Nonmonotonic Logics. Journal of Logic and Computation 2(3), 397–425 (1992)
Gottlob, G., Leone, N., Veith, H.: Succinctness as a Source of Expression Complexity. Annals of Pure and Applied Logic 97(1-3), 231–260 (1999)
Kautz, H., Selman, B.: Hard Problems for Simple Default Logics. Artificial Intelligence 49, 243–279 (1991)
Lu, J., Nerode, A., Subrahmanian, V.: Hybrid Knowedge Bases. IEEE Transactions on Knowledge and Data Engineering 8(3), 773–785 (1996)
Marek, W., Truszczyński, M.: Nonmonotonic Logics; Context-Dependent Reasoning, 1st edn. Springer, Berlin (1993)
Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13(1-2), 81–132 (1980)
Stillman, J.: It’s Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logic. In: Proceedings AAAI 1990, pp. 571–579 (1990)
Stillman, J.: The Complexity of Propositional Default Logic. In: Proceedings AAAI 1992, pp. 794–799 (1992)
Subrahmanian, V.: Amalgamating Knowedge Bases. ACM Transactions on Database Systems 19(2), 291–331 (1994)
Winslett, M., Smith, K., Qian, X.: Formal query languages for secure relational databases. ACM Transactions on Database Systems 19(4), 626–662 (1994)
Zhao, L., Qian, J., Chang, L., Cai, G.: Using ASP for knowledge management with user authorization. Data & Knowledge Engineering 69(8), 737–762 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dix, J., Faber, W., Subrahmanian, V.S. (2012). Privacy Preservation Using Multi-context Systems and Default Logic. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds) Correct Reasoning. Lecture Notes in Computer Science, vol 7265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30743-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-30743-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30742-3
Online ISBN: 978-3-642-30743-0
eBook Packages: Computer ScienceComputer Science (R0)