Censors for Boolean description logic

Transactions on Data Privacy

Volumn 7, Issue 3, 2014, Pages 223-252

  Studer, Thomas ^a   Werner, Johannes ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

Data privacy; Description logic; Information security; Knowledge base system; Query based evaluation

Indexed keywords

COMPUTER CIRCUITS; DATA PRIVACY; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; SEARCH ENGINES; SECURITY OF DATA;

DESCRIPTION LOGIC; EXPRESSIVE POWER; FORMAL FRAMEWORK; KNOWLEDGE BASE SYSTEM; QUERY BASED EVALUATION; STRUCTURAL INFORMATION;

DATA DESCRIPTION;

EID: 84912021270     PISSN: 18885063     EISSN: 20131631     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. Carlos Areces, Patrick Blackburn, Bernadette Martinez Hernandez, and Maarten Marx. Handling Boolean ABoxes. In Proc. of the 2003 Description Logic Workshop. CEUR (http://ceurws. org), 2003.
2. Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel- Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, NY, USA, 2003.
3. Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over description logic axioms. ACM Transactions Computational Logic, 13(3):21:1-21:32, August 2012.
4. Franz Baader and Werner Nutt. Basic description logics. In Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook, pages 43-95. Cambridge University Press, 2003.
5. Jie Bao, Giora Slutzki, and Vasant Honavar. Privacy-preserving reasoning on the semantic web. In Web Intelligence 2007, pages 791-797, 2007.
6. Joachim Biskup. For unknown secrecies refusal is better than lying. Data & Knowledge Engineer- ing, 33(1):1-23, 2000.
7. Joachim Biskup and Piero A. Bonatti. Controlled query evaluation for enforcing confidentiality in complete information systems. International Journal of Information Security, 3(1):14-27, 2004.
8. Joachim Biskup and Piero A. Bonatti. Controlled query evaluation for known policies by combining lying and refusal. Annals of Mathematics and Artificial Intelligence, 40(1-2):37-62, 2004.
9. Joachim Biskup and Piero A. Bonatti. Controlled query evaluation with open queries for a decidable relational submodel. Annals of Mathematics and Artificial Intelligence, 50(1-2):39-77, 2007.
10. Joachim Biskup and Torben Weibert. Keeping secrets in incomplete databases. International Journal of Information Security, 7(3):199-217, May 2008.
11. Piero A. Bonatti, Sarit Kraus, and V. S. Subrahmanian. Foundations of secure deductive databases. Transactions on Knowledge and Data Engineering, 7(3):406-422, 1995.
12. Diego Calvanese, Giuseppe De Giacomo,Maurizio Lenzerini, and Riccardo Rosati. View-based query answering over description logic ontologies. In Principles of Knowledge Representation and Reasoning, pages 242-251, 2008.
13. Bernardo Cuenca Grau and Ian Horrocks. Privacy-preserving query answering in logic-based information systems. In 18th European Conference on Artificial Intelligence (ECAI-2008). IOS Press, 2008.
14. Bernardo Cuenca Grau, Evgeny Kharlamov, Egor Kostylev, and Dmitriy Zheleznyakov. Controlled query evaluation over lightweight ontologies. In Proceedings of the 27th InternationalWork- shop on Description Logics (DL), pages 141-152, 2014.
15. Hongkai Liu, Carsten Lutz, Maja Milii, and Frank Wolter. Updating description logic ABoxes. In International Conference of Principles of Knowledge Representation and Reasoning, pages 46-56. American Association for Artificial Intelligence (http://www.aaai.org), 2006.
16. Carsten Lutz, Holger Sturm, Frank Wolter, and Michael Zakharyaschev. A tableau decision algorithm for modalized ALC with constant domains. Studia Logica, 72(2):199-232, 2002.
17. Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Temporal description logics: a survey. In Proceedings of the 15th International Symposium on Temporal Representation and Reasoning TIME 08, pages 3-14. IEEE Computer Society, 2008.
18. Gerome Miklau and Dan Suciu. A formal analysis of information disclosure in data exchange. Journal of Computer and System Sciences, 73(3):507-534, 2007.
19. George L. Sicherman, Wiebren De Jonge, and Reind P. Van de Riet. Answering queries without revealing secrets. ACM Transactions on Database Systems, 8(1):41-59, 1983.
20. Kilian Stoffel and Thomas Studer. Provable data privacy. In K. Viborg, J. Debenham, and R. Wagner, editors, Database and Expert Systems Applications (DEXA 2005), volume 3588 of LNCS, pages 324-332. Springer, 2005.
21. Phiniki Stouppa and Thomas Studer. Data privacy for ALC knowledge bases. In S. Artemov and A. Nerode, editors, Logical Foundations of Computer Science (LFCS 2009), volume 5407 of LNCS, pages 409-421. Springer, 2009.
22. Thomas Studer. Privacy preserving modules for ontologies. In A. Pnueli, I. Virbitskaite, and A. Voronkov, editors, Perspectives of System Informatics (PSI'09), volume 5947 of LNCS, pages 380-387. Springer, 2010.
23. Thomas Studer. Justified terminological reasoning. In E. Clarke, I. Virbitskaite, and A. Voronkov, editors, Perspectives of System Informatics (PSI'11), volume 7162 of LNCS, pages 349-361. Springer, 2012.