Modal description logics: Modalizing roles

Fundamenta Informaticae

Volumn 39, Issue 4, 1999, Pages 411-438

  Wolter, Frank ^a   Zakharyaschev, Michael ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Decidability; Description logic; Epistemic logic; Modal logic; Temporal logic

Indexed keywords

EID: 0001292098     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-39405     Document Type: Article

References (40)

1. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1991.
2. F. Baader and B. Hollander. KRIS: Knowledge representation and inference system. SIGART Bulletin, 2:8-14, 1991.
3. F. Baader and A. Laux. Terminological logics with modal operators. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 808-814, Montreal, Canada, 1995. Morgan Kaufman.
4. F. Baader and H. Ohlbach. A multi-dimensional terminological knowledge representation language. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 690-695, 1993.
5. F. Baader and H.J. Ohlbach. A multi-dimensional terminological knowledge representation language. Journal of Applied Non-Classical Logic, 5:153-197, 1995.
6. A. Borgida, R. Brachman, D. McGuinness, and L. Resnick. CLASSIC: A structural data model for objects. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 59-67, 1989.
7. A. Borgida. Description logics in data management. IEEE Trans. on Knowledge and Data Engineering, 7:671-682, 1995.
8. R. J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9:171-216, 1985.
9. R. Brachman, D. McGuiness, P. Patel-Schneider, L. Resnick, and A. Borgida. Living with CLASSIC: when and how to use a KL-ONE like language. In Principles of Semantic Networks, pages 401-456, 1991.
10. D. Calvanese, G. De Giacomo, D. Nardi, and M. Lenzerini. Reasoning in expressive description logics. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers B.V., 1999. In print.
11. T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. J. of Intelligent and Cooperative Information Systems, 2:375-398, 1993.
12. A.V. Chagrov and M.V. Zakharyaschev. Modal Logic. Oxford Logic Guides 35. Clarendon Press, Oxford, 1997.
13. G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In Proceedings of the fifth Conference on Principles of Knowledge Representation and Reasoning, Montreal, Canada, 1996. Morgan Kaufman.
14. F. Donini, M. Lenzerini, D. Nardi, A. Schaerf, and W. Nutt. Adding epistemic operators to concept languages. In Principles of Knowledge Representation and Reasoning, pages 342-353, 1992.
15. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. In G. Brewka, editor, Principles of Knowledge Representation, pages 191-236. CSLI Publications, 1996.
16. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
17. M. Finger and D. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 2:203-233, 1992.
18. D. Gabbay and V. Shehtman. Undecidability of modal and intermediate first-order logics with two individual variables. Journal of Symbolic Logic, 58:800-823, 1993.
19. D. Gabbay and V. Shehtman. Products of modal logics. Part I. Journal of the IGPL, 6:73-146, 1998.
20. D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic. Oxford University Press, 1994.
21. A. Gräber, H. Bürckert, and A. Laux. Terminological reasoning with knowledge and belief. In A. Laux and H. Wansing, editors, Knowledge and Belief in Philosophy and Artificial Intelligence, pages 29-61. Akademie Verlag, 1995.
22. I. Horrocks. Using an expressive description logic: FACT or fiction? In Proceedings of the ninth International Conference on Principles of Knowledge Representation and Reasoning, pages 636-647, 1998.
23. G.E. Hughes and M.J. Cresswell. A New Introduction to Modal Logic. Methuen, London, 1996.
24. A. Kobsa. The SB-ONE knowledge representation workbench. In Proceedings of the Workshop on Formal Aspects of Semantic Networks, 1989.
25. A. Laux. Beliefs in multi-agent worlds: a terminological approach. In Proceedings of the 11th European Conference on Artificial Intelligence, pages 299-303, Amsterdam, 1994.
26. M. Marx. Complexity of products of modal logics. Journal of Logic and Computation, 9:197-214, 1999.
27. M. Mosurovic̀ and M. Zakharyaschev. On the complexity of description logics with modal operators. In P. Kolaitos and G. Koletos, editors, Proceedings of the 2nd Panhellenic Logic Symposium, pages 166-171, Delphi, 1999.
28. P. Patel-Schneider. DLP system description. In Proceedings of the 1998 International Workshop on Description Logioc, pages 87-89, 1998. ITC Report 9805-03.
29. C. Peltason. The BACK-system - an overview. SIGART Bulletin, 2:114-119, 1991.
30. J. Quantz and C. Kindermann. Implementation of the BACK-system version 4. Technical report, FB Informatik, Technische Universität Berlin, 1990.
31. K. Schild. A correspondence theory for terminological logics: preliminary report. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pages 466-471, Sydney, 1991.
32. K. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, pages 105-120, Porto, 1993.
33. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1-26, 1991.
34. A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640-645, Boston, 1990.
35. E. Spaan. Complexity of Modal Logics. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1993.
36. F. Wolter and M. Zakharyaschev. Dynamic description logic. In Proceedings of AiML'98, Uppsala, 1998. To appear in "Advances in Modal Logic. Volume II", CSLI Publications, Stanford, 1999. See http://www.informatik.uni-leipzig.de/~wolter.
37. F. Wolter and M. Zakharyaschev. Satisfiability problem in description logics with modal operators. In Proceedings of the sixth Conference on Principles of Knowledge Representation and Reasoning, pages 512-523, Montreal, Canada, 1998. Morgan Kaufman.
38. F. Wolter and M. Zakharyaschev. Temporalizing description logics. In Proceedings of FroCoS'98, Amsterdam, 1998. To appear in "Frontiers of Combining Systems", Kluwer Academic Publishers, 1999. See http://www.informatik.uni-leipzig.de/~wolter.
39. F. Wolter. The product of converse PDL and polymodal K. To appear in Journal of Logic and Computation. See http://www.informatik.uni-leipzig.de/~wolter, 1998.
40. G.T. Wright, E.S. Weixelbaum, G.T. Vesonder, K.E. Brown, S.R. Palmer, J.I. Berman, and H.H. Moore. A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems. AI Magazine, 14:69-80, 1993.