Multi-dimensional description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 104-109

  Wolter, Frank ^a   Zakharyaschev, Michael ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b KELDYSH INSTITUTE OF APPLIED MATHEMATICS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON KNOWLEDGE; CONCEPT DESCRIPTION LANGUAGE; DESCRIPTION LOGIC; IMPORTANT FEATURES; MODAL OPERATORS; SATISFACTION PROBLEM; SATISFIABILITY CHECKING; STATE-DEPENDENT;

ARTIFICIAL INTELLIGENCE;

DATA DESCRIPTION;

EID: 84880662145     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

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, pages 452-457, Sydney, 1991.
2. 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.
3. 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, Chambery, 1993.
4. F. Baader and H.J. Ohlbach. A multi-dimensional terminological knowledge representation language. Journal of Applied Non-Classical Logic, 5:153-197, 1995.
5. R.J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9:171-216, 1985.
6. A.V. Chagrov and M.V. Zakharyaschev. Modal Logic. Clarendon Press, Oxford, 1997.
7. 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.
8. 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, Cambridge, 1992.
9. 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.
10. M. Finger and D. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 2:203-233, 1992.
11. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
12. D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic. Oxford University Press, 1994.
13. 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.
14. K. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, pages 105-120, Porto, 1993.
15. M. Schmidt-Schaufi and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence. 48:1 26, 1991.
16. 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.
17. F. Wolter and M. Zakharyaschev. Dynamic description logic. In Proceedings of AiML 98, pages 290-300, Uppsala, 1998.
18. To appear in Advances in Modal Logic II, CSLI Publishers, Stanford, 1999.
19. 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 (KR'98), pages 512-523, Montreal, Canada, 1998. Morgan Kaufman.
20. F. Wolter and M. Zakharyaschev. Temporalizing description logics. In Proceedings of FroCoS'98, pages 312 332, Amsterdam, 1998.
21. To appear in Frontiers of Combining Systerns, Kluwer Academic Publishers, 1999.