Justified terminological reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7162 LNCS, Issue , 2012, Pages 349-361

  Studer, Thomas ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

data privacy; description logic; explanations; inference tracking; Justification logic

Indexed keywords

DEDUCTIVE SYSTEMS; DESCRIPTION LOGIC; EPISTEMIC LOGIC; EXPLANATIONS; JUSTIFICATION LOGIC; KNOWLEDGE BASIS; NATURAL LANGUAGE EXPLANATIONS; PRIVACY ISSUE; SOUNDNESS AND COMPLETENESS;

DATA PRIVACY; FORMAL LANGUAGES; INFORMATION SCIENCE; SEMANTICS;

DATA DESCRIPTION;

EID: 84862063478     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29709-0_30     Document Type: Conference Paper

References (24)

1. Angele, J., Moench, E., Oppermann, H., Staab, S., Wenke, D.: Ontology-based query and answering in chemistry: OntoNova @ project halo. In: Proc. of the 2nd Int. Semantic Web Conference ISWC (1993)
2. Artemov, S.N.: Operational modal logic. Technical Report MSI 95-29, Cornell University (December 1995)
3. Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1-36 (2001)
4. Artemov, S.N.: The logic of justification. The Review of Symbolic Logic 1(4), 477-513 (2008)
5. Artemov, S.: Tracking Evidence. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 61-74. Springer, Heidelberg (2010)
6. Artemov, S.N., Kuznets, R.: Logical omniscience as a computational complexity problem. In: Heifetz, A. (ed.) Theoretical Aspects of Rationality and Knowledge, Proceedings of the Twelfth Conference (TARK 2009), Stanford University, California, July 6-8, pp. 14-23. ACM (2009)
7. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)
8. Baader, F., Laux, A.: Terminological logics with modal operators. In: Proc. of IJCAI 1995, pp. 808-814. Morgan Kaufmann (1995)
9. Bao, J., Slutzki, G., Honavar, V.: Privacy-preserving reasoning on the semantic web. In: Web Intelligence 2007, pp. 791-797 (2007)
10. Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified belief change. In: Arrazola, X., Ponte, M. (eds.) LogKCA 2010, Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp. 135-155. University of the Basque Country Press (2010)
11. Bucheli, S., Kuznets, R., Studer, T.: Partial Realization in Dynamic Justification Logic. In: Beklemishev, L.D., de Queiroz, R. (eds.) WoLLIC 2011. LNCS, vol. 6642, pp. 35-51. Springer, Heidelberg (2011)
12. Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: View-based query answering over description logic ontologies. In: Principles of Knowledge Representation and Reasoning, pp. 242-251 (2008)
13. Cuenca Grau, B., Horrocks, I.: Privacy-preserving query answering in logic-based information systems. In: ECAI 2008 (2008)
14. Donini, F., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for escription logics. Artificial Intelligence 100(1-2), 225-274 (1998)
15. Finger, M., Gabbay, D.: Adding a temporal dimension to a logic system. Journal of Logic Language and Information 1, 203-233 (1992)
16. Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1-25 (2005)
17. Gräber, A., Bürckert, H., Laux, A.: Terminological reasoning with knowledge and belief. In: Knowledge and Belief in Philosophy and Artificial Intelligence, pp. 29-61. Akademie Verlag (1995)
18. Kuznets, R.: Self-referential justifications in epistemic logic. Theory of Computing Systems 46(4), 636-661 (2010)
19. Laux, A.: Beliefs in multi-agent worlds: a terminological approach. In: Proc. of ECAI 1994, pp. 299-303 (1994)
20. Lutz, C., Sturm, H., Wolter, F., Zakharyaschev, M.: A tableau decision algorithm for modalized ALC with constant domains. Studia Logica 72, 199-232 (2002)
21. McGuiness, D., Pinheiro da Silva, P.: Inference web: Portable and shareable explanations for question answering. In: Proc. of AAAI Workshop on New Directions for Question Answering (1993)
22. Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of IJCAI, pp. 466-471 (1991)
23. Stouppa, P., Studer, T.: Data Privacy for ALC Knowledge Bases. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol. 5407, pp. 409-421. Springer, Heidelberg (2008)
24. Studer, T.: Privacy Preserving Modules for Ontologies. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol. 5947, pp. 380-387. Springer, Heidelberg (2010)