Reasoning about semantic Web services with an approach based on dynamic description logics

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 31, Issue 9, 2008, Pages 1599-1611

  Shi, Zhong Zhi ^a   Chang, Liang ^a  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Discovery and composition of services; Dynamic description logic; OWL S; Reasoning about Web services; Semantic Web service

Indexed keywords

BIRDS; COMPUTER CIRCUITS; DATA DESCRIPTION; DATA FLOW ANALYSIS; FORMAL LANGUAGES; SEMANTIC WEB; WEBSITES;

COMPOSITE PROCESS; COMPOSITION OF SEMANTIC WEB SERVICES; COMPOSITION OF SERVICES; DYNAMIC DESCRIPTION LOGIC; EXPRESSIVE POWER; OWL-S; PLANNING PROBLEM; WEB SERVICE DISCOVERY;

WEB SERVICES;

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

References (19)

1. McIlraith S, Son T, Zeng H. Semantic Web services. IEEE Intelligent Systems, 2001, 16(2): 46-53
2. Martin D et al. Bringing semantics to Web services with OWL-S. World Wide Web, 2007, 10: 243-277
3. Martin D, Burstein M, McDermott D et al. OWL-S 1.2 Release. Available at: http://www.daml.org/services/owl-s/1.2/
4. 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
5. Shi Zhong-Zhi, Dong Ming-Kai, Jiang Yun-Cheng, Zhang Hai-Jun. A logical foundation for the semantic Web. Science in China (Series E), 2004, 34(10): 1123-1138 (in Chinese)
6. Chang Liang, Shi Zhong-Zhi, Qiu Li-Rong, Lin Fin. A Tableau decision algorithm for dynamic description logic. Chinese Journal of Computers, 2008, 31(6): 896-909 (in Chinese)
7. Chang Liang, Lin Fin, Shi Zhong-Zhi. A dynamic description logic for representation and reasoning about actions//Zhang Zi-Li, Siekmann J eds. Proceedings of the 2nd International Conference on Knowledge Science, Engineering and Management. Berlin: Springer-Verlag, 2007: 115-127
8. Giacomo G D, Lenzerini M. PDL-based framework for reasoning about actions//Gori M, Soda G eds. Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence. Berlin: Springer-Verlag, 1995: 103-114
9. Bylander T. The computational complexity of propositional STRIPS planning. Artificial Intelligence, 1994, 69(1-2): 165-204
10. Reiter R. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. Cambridge, MA: MIT Press, 2001
11. Thielscher M. From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence, 1999, 111(1-2): 277-299
12. Chang Liang. Research on extended dynamic description Logic and its application [Ph. D. dissertation]. Institute of Computing Technology, Chinese Academy of Sciences, Beijing, 2008 (in Chinese)
13. Horrocks I, Patel-Schneider P F, Boley H et al. SWRL: A semantic Web rule language combining OWL and ruleML. W3C Member Submission, 2004
14. Narayanan S, Mcllraith S A. Simulation, verification and automated composition of Web services//Proceedings of the 11th International World Wide Web Conference. New York: ACM Press, 2002: 77-88
15. Mcllraith S A, Son T C. Adapting Golog for composition of semantic Web services//Fensel D et al eds. Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning. 2002: 482-496
16. Wu Dan, Parsia B, Sirin E, Hendler J A, Nau D S. Automating DAML-S Web services composition using SHOP2//Fensel D, Sycara K P, Mylopoulos J eds. Proceedings of the 2nd International Semantic Web Conference. Berlin: Springer-Verlag, 2003: 195-210
17. Klusch M, Gerber A, Schmidt M. Semantic Web service composition planning with OWLS-XPlan//Proceedings of the AAAI Fall Symposium on Semantic Web and Agents. Arlington VA. USA: AAAI Press, 2005
18. Keller U, Lausen H, Stollberg M. On the semantics of functional descriptions of Web services//Sure Y, Domingue J eds. Proceedings of the 3rd European Semantic Web Conference. 2006: 605-619
19. Gu Yi-Lan, Soutchanski M. Decidable reasoning in a modified situation calculus//VelosoIn M eds. Proceedings of the 20th International Joint Conference on Artificial Intelligence. 2007: 1891-1897