A semantic matchmaking method of web services based on SHOIN+(D)

Proceedings of 2006 IEEE Asia-Pacific Conference on Services Computing, APSCC

Volumn , Issue , 2006, Pages 26-33

  Wang, Hai ^a   Li, Zengzhi ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING; SEMANTIC WEB; SEMANTICS;

CAPABILITY MATCHMAKING; DESCRIPTION LOGIC; SERVICE DISCOVERY;

WEB SERVICES;

EID: 39749172374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSCC.2006.17     Document Type: Conference Paper

References (16)

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, 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. OWL-S Coalition. OWL-S 1.0 release, November 2004. Available at http://www.daml.org/services/owl-s/1.0/.
13. R. Reiter. Knowledge in Action. MIT Express, 2001.
14. 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.
15. 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.
16. M. Thielscher. Introduction to the Fluent Calculus. Electronic Transactions on Artificial Intelligence, 2(3-4):179-192, 1998.