Modeling and reasoning about semantic Web services contract using description logic

Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008

Volumn , Issue , 2008, Pages 179-186

  Liu, Hai ^a,b,c   Li, Qing ^b,c   Gu, Naijie ^a,b   Liu, An ^a,b,c  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

^b Suzhou Institute for Advanced Study   (China)

^c CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DATA DESCRIPTION; INFORMATION SCIENCE; INFORMATION SERVICES; INFORMATION THEORY; MANAGEMENT INFORMATION SYSTEMS; SEMANTIC WEB; SEMANTICS; WEB SERVICES; WORLD WIDE WEB;

ACTION THEORY; DESCRIPTION LOGIC; DYNAMIC ASPECTS; EXPRESSIVE POWER; INTERNATIONAL CONFERENCES; MODEL-THEORETIC SEMANTICS; SEMANTIC WEB SERVICES;

INFORMATION MANAGEMENT;

EID: 51849139535     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WAIM.2008.57     Document Type: Conference Paper

References (34)

1. H. Davulcu, M. Kifer, and I.V. Ramakrishnan, "Ctr-s: A logic for specifying contracts in semantic web services," in Proc. WWW 2004. ACM, May 2004, pp. 144-153.
2. D. Roman and M. Kifer, "Reasoning about the behavior of semantic web services with concurrent transaction logic," in Proc. VLDB 2007, 2007, pp. 627-638.
3. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, "Web services choreography description language version 1.0," http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/.
4. D. L. McGuinness and F. van Harmelen, "Owl web ontology language overview," http://www.w3.org/TR/owl-features/.
5. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
6. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter, "Integrating description logics and action formalisms: First results," in Proc. AAAI 2005, July 2005, pp. 572-577.
7. S. Bhiri, O. Perrin, and C. Godart, "Ensuring required failure atomicity of composite web services," in Proc. WWW 2005, 2005, pp. 138-147.
8. I. Horrocks and P. F. Patel-Schneider, "Reducing owl entailment to description logic satisfiability," in Proc. ISWC 2003, October 2003, pp. 17-29.
9. L. Chang, Z. Shi, L. Qiu, and F. Lin, "Dynamic description logic: Embracing actions into description logic," in Proc. DL 2007, 2007.
10. F. Lin, L. Qiu, H. Huang, Q. Yu, and Z. Shi, "Description logic based composition of web services," in Proc. PRIMA 2006, 2006, pp. 199-210.
11. C. Lutz, "Description logics with concrete domains - a survey," Advances in Modal Logic, vol. 4, pp. 265-296, 2003.
12. F. Baader and P. Hanschke, "A scheme for integrating concrete domains into concept languages," in Proc. UCAI 1991, August 1991, pp. 452-457.
13. C. Lutz, "Nexptime-complete description logics with concrete domains," ACM Transactions on Computational Logic, vol. 5, no. 4, pp. 669-705, 2004.
14. J. Z. Pan and I. Horrocks, "Reasoning in the shoq(dn) description logic," in Proc. DL 2002, April 2002.
15. V. Haarslev, R. Moller, and M. Wessel, "The description logic alcnhr+ extended with concrete domains: A practically motivated approach," in Proc. UCAR 2001, June 2001, pp. 29-44.
16. C. Lutz, "Combining interval-based temporal reasoning with general tboxes," Artificial Intelligence, vol. 152, no. 2, pp. 235-274, 2004.
17. I. Horrocks and U. Sattler, "Ontology reasoning in the shoq(d) description logic," in Proc. UCAI 2001, August 2001, pp. 199-204.
18. C. Lutz, "Adding numbers to the shiq description logic: First results," in Proc. KR 2002, April 2002, pp. 191-202.
19. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter, "Integrating description logics and action formalisms for reasoning about web services," LTCS-Report 05-02, 2005. http://lat.inf.tudresden.de/ research/reports.html.
20. E. Sirin, B. Parsia, and J. Hendler, "Filtering and selecting semantic web services with interactive composition techniques," IEEE Intelligent Systems, vol. 19, no. 4, pp. 42-49, 2004.
21. B. Benatallan, M.-S. Hacid, A. Leger, C. Rey, and F. Toumani, "On automating web services discovery," VLDB Journal, vol. 14, pp. 84-96, 2005.
22. F. Lecue, A. Delteil, and A. Leger, "Applying abduction in semantic web service composition," in Proc. ICWS 2007, 2007.
23. F. Wolter and M. Zakharyaschev, "Dynamic description logics," Advances in Modal Logic, pp. 431-446, 1998.
24. P. Blackburn, "Representation, reasoning, and relational structures: a hybrid logic manifesto," Logic Journal of the IGPL, vol. 8, no. 3, pp. 339-365, 2000.
25. G. D. Giacomo and M. Lenzerini, "Boosting the correspondence between description logics and prepositional dynamic logics," in Proc. AAAI 1994, 1994, pp. 205-212.
26. H. Katsuno and A. O. Mendelzon, "On the difference between updating a knowledge base and revising it," in Proc. KR 1991, 1991, pp. 387-395.
27. T. Eiter and G. Gottlob, "On the complexity of propositional knowledge base revision, updates, and counterfactuals," Artificial Intelligence, vol. 57, no. 2-3, pp. 227-270, 1992.
28. M. Winslett, "Reasoning about action using a possible models approach," in Proc. AAAI 1988, 1988, pp. 89-93.
29. A. Herzig, "The pma revisited," in Proc. KR 1996, November 1996, pp. 40-50.
30. M. L. Ginsberg and D. E. Smith, "Reasoning about action i: A possible worlds approach," Artificial Intelligence, vol. 35, no. 2, pp. 165-195, 1988.
31. S. Angelov and P. Grefen, "B2b econtract handling - a survey of projects, papers and standards," CTIT Technical Reports: Vol. 01, No. 21: University of Twente, 2001.
32. G. Governatori, Z. Milosevic, and S. Sadiq, "Compliance checking between business process and business contracts," in Proc. EDOC 2006, October 2006, pp. 221-232.
33. T. Bultan, X. Fu, R. Hull, and J. Su, "Conversation specification: A new approach to design and analysis of e-service composition," in Proc. WWW 2003, 2003, pp. 403-410.
34. A. Deutsch, L. Sui, V. Vianu, and D. Zhou, "Verification of communicating data-driven web services," in Proc. PODS 2006, 2006, pp. 1-10.