A tableau decision algorithm for dynamic description logic

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 31, Issue 6, 2008, Pages 896-909

  Chang, Liang ^a,b   Shi, Zhong Zhi ^a   Qiu, Li Rong ^a   Lin, Fen ^a,b  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

Action theory; Decidability; Dynamic description logic; Satisfiability; Tableau algorithm

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION; FORMAL LANGUAGES; FORMAL LOGIC;

ACTION THEORY; DYNAMIC APPLICATIONS; DYNAMIC DESCRIPTION LOGIC; OPEN WORLD ASSUMPTION; PROPOSITIONAL DYNAMIC LOGIC; REASONING ABOUT KNOWLEDGE; SATISFIABILITY; TABLEAU ALGORITHM;

COMPUTER CIRCUITS;

EID: 46449097426     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: 10.3724/sp.j.1016.2008.00896     Document Type: Article

References (15)

1. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2002
2. Horrocks I, Patel-Schneider P F, Harmelen F V. From SHIQ and RDF to OWL, The making of a Web ontology language. Journal of Web Semantics, 2003, 1 (1): 7-26
3. Wolter F. Zakharyaschev M. Dynamic description logic//Zakharyaschev M, Segerberg K, Rijke M, Wansing H eds. Advances in Modal Logic, Vol. 2. Stanford: CSLI Publications, 2000, 449-463
4. Shi Zhong-Zhi. Dong Ming-Kai, Jiang Yun-Cheng, Zhang Hai-Jun. A logical foundation for the semantic Web. Science in China, Series F, 2005. 48 (2): 161-178
5. Winslett M. Reasoning about action using a possible models approach//Proceedings of the 7th National Conference on Artificial Intelligence. St. Paul, Minnesota, 1988: 89-93
6. Wolter F, Zakharyaschev M. Satisfiability problem in description logics with modal operators//Cohn A, Schubert L, Shapiro S eds. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning. San Francisco: Morgan Kaufmann Publishers, 1998: 512-523
7. -. Chinese Journal of Computers, 2008, 32 (2): 185-195 (in Chinese)
8. Wang Ju, Jiang Yun-Cheng, Shen Yu-ming. Satisfiability and reasoning mechanism of terminological cycles in description logic vL. Science in China. Series F, 2008 (be addressed) (in Chinese)
9. Liu H, Lutz C, Milicic M, Wolter F. Updating description logic ABoxes//Doherty P, Mylopoulos J, Welty C eds. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Cambridge: AAAI Press, 2006: 46-56
10. Chang Liang, Lin Fen, Shi Zhongzhi. A dynamic description logic for representation and reasoning about actions//Zhang Z, Siekmann J eds. Proceedings of the 2nd International Conference on Knowledge Science, Engineering and Management. Berlin: Springer-Verlag, 2007: 115-127
11. Wolter F, Zakharyaschev M. Temporalizing description logics//Gabbay D, Rijke M eds. Frontiers of Combining Systems II. Dordrecht: Kluwer Academic Publishers, 2000: 379-401
12. Lutz C, Sturm H. Wolter F, Zakharyaschev M. Tableau calculus for temporal description logic: The constant domain case//Gore A, Leitsch A. Nipkow T eds. Proceedings of the 1st International Joint Conference on Automated Reasoning. Berlin: Springer-Verlag, 2001: 121-136
13. Sturm H, Wolter F. A tableau calculus for temporal description logic: The expanding domain case. Journal of Logic and Compilation, 2002, 12 (5): 809-838
14. Baader F, Laux A. Terminological logics with modal operators//Mellish C eds. Proceedings of the 14th International Joint Conference on Artificial Intelligence. San Francisco: Morgan Kaufmann Publishers, 1995: 808-814
15. Lutz C, Sturm H, Wolter F, Zakharyaschev M. A tableau decision algorithm for moralized ALC with constant domains. Studia Logica, 2002, 72 (2): 199-232