A dynamic description logic for representation and reasoning about actions

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

Volumn 4798 LNAI, Issue , 2007, Pages 115-127

  Chang, Liang ^a,b   Lin, Fen ^a,b   Shi, Zhongzhi ^a  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ITERATIVE METHODS; MATHEMATICAL MODELS; MODAL ANALYSIS;

DYNAMIC DESCRIPTION LOGIC; PLANNING PROBLEMS;

FORMAL LOGIC;

EID: 38149127164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76719-0_15     Document Type: Conference Paper

References (16)

1. Baader, F., Horrocks, I., Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning, LNCS (LNAI), vol. 2605, pp. 228-248. Springer, Heidelberg (2005)
2. Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating Description Logics and Action Formalisms: First Results, In: Veloso, M., Kambhampati, S. (eds.) Proceedings of the 12th Nat. Conf. on Artif. Intell., pp. 572-577, AAAI Press, Stanford (2005)
3. Calvanese, D., De Giacomo, G., Vardi, M.: Reasoning about Actions and Planning in LTL Action Theories, In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M. (eds.) 8th Int. Conf. on Principles and Knowledge Representation and Reasoning, pp. 593-602, Morgan Kaufmann, San Francisco (2002)
4. Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Actions and Programs over Description Logic Ontologies. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A., Tessaris, S. (eds.) 2007 Int. Workshop on Description Logics. CEUR-WS, pp. 29-40 (2007)
5. Chang, L., Lin, F., Shi, Z.: A Dynamic Description Logic for Semantic Web Service. In: 3rd Int. Conf. on Semantics, Knowledge and Grid, IEEE Press, Los Alamitos (2007)
6. Foo, N., Zhang, D.: Dealing with the Ramification Problem in the Extended Propositional Dynamic Logic. In: Wolter, F., Wansing, H., Rijke, M., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol. 3, pp. 173-191. World Scientific, Singapore (2002)
7. De Giacomo, G., Lenzerini, M.: PDL-based Framework for Reasoning about Actions. In: Gori, M., Soda, G. (eds.) Topics in Artificial Intelligence, LNCS, vol. 992, pp. 103-114, Springer, Heidelberg (1995)
8. De Giacomo, G., Massacci, F.: Tableaux and Algorithms for Propositional Dynamic Logic with Converse. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol. 1104, pp. 613-627. Springer, Heidelberg (1996)
9. Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From SHIQ and RDF to OWL: the Making of a Web Ontology Language. J. Web Sem. 1(1), 7-26 (2003)
10. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 46-56. AAAI Press, Stanford (2006)
11. McIlraith, S., Son, T., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems. 16(2), 46-53 (2001)
12. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
13. Shi, Z., Dong, M., Jiang, Y., Zhang, H.: A Logic Foundation for the Semantic Web. Science in China, Series F 48(2), 161-178 (2005)
14. Thielscher, M.: Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell. 2(3-4), 179-192 (1998)
15. Winslett, M.: Reasoning about Action Using a Possible Models Approach. In: 7th Nat. Conf. on Artif. Intell., pp. 89-93. AAAI Press, Stanford (1988)
16. Wolter, F., Zakharyaschev, M.: Dynamic Description Logic. In: Zakharyaschev, M., Segerberg, K., Rijke, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 2, pp. 431-446. CSLI Publications, Stanford, CA (1998)