An unabridged method concerning capability matchmaking of web services

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06

Volumn , Issue , 2006, Pages 662-665

  Hai, Wang ^a   Zengzhi, Li ^a   Lin, Fan ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; PROBLEM SOLVING; SEMANTICS; WEB SERVICES;

DESCRIPTION LOGIC; KEY TECHNIQUES; SEMANTIC MATCHMAKING;

SEMANTIC WEB;

EID: 42549106346     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2006.40     Document Type: Conference Paper

References (17)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook : Theory, Implementation and Applications. Cambridge University Press, 2003.
2. F. Baader, I. Horrocks, and U. Sattler. Description Logics as Ontology Languages for the Semantic Web. In D. Hutter and W. Stephan, editors, Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, number 2605 in Lecture Notes in Artificial Intelligence, pages 228-248. Springer, 2003.
3. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. A Description Logic Based Approach to Reasoning about Web Services. In Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), Chiba City, Japan, 2005.
4. F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69:5-40, 2001.
5. E. S. Bijan Parsia. Pellet: An owl dl reasoner. In In 2004 International Workshop on Description Logics (DL2004), Whistler, Canada, 2004.
6. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 1-8, 2003.
7. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A semantic web rule language combining owl and ruleml. W3C Member Submission, 21 May 2004. Available at http://www.w3.org/Submission/SWRL/.
8. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. J. of Web Semantics, 1(1):7-26, 2003.
9. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
10. T. R. P. Massimo Paolucci, Takahiro Kawamura and K. Sycara. Semantic matching of web services capabilities. In I. Horrocks and J. Hendler, editors, The Semantic Web ISWC 2002. Proceedings of the First International Semantic Web Conference, volume 2348 of Lecture Notes in Computer Science, pages 333-347, 2002.
11. T. McIlraith S., Son. Adapting golog for composition of semantic web services. In Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning, pages 482-496. Morgan Kaufmann, April 2002.
12. D. Nau, T.-C. Au, O. Ilghami, U. Kuter, J. W. Murdock, D. Wu, and F. Yaman. Shop2: An htn planning system. Journal of Artificial Intelligence Research, 20:379-404, 2003.
13. OWL-S Coalition. OWL-S 1.0 release, November 2004. Available at http://www.daml.org/services/owl-s/1.0/.
14. R. Reiter. Knowledge in Action. MIT Express, 2001.
15. E. Sirin, J. Hendler, and B. Parsia. Semi-automatic composition of web services using semantic descriptions. In Web Services: Modeling, Architecture and Infrastructure workshop in ICEIS 2003, Angers, France, April 2003.
16. E. Sirin, B. Parsia, D. Wu, J. Hendler, and D. Nau. HTN planning for web service composition using SHOP2. Journal of Web Semantics, 1(4):377-396, 2004.
17. M. Thielscher. Introduction to the Fluent Calculus. Electronic Transactions on Artificial Intelligence, 2(3-4): 179-192, 1998.