Description logics approach to semantic matching of web services

Journal of Computing and Information Technology

Volumn 11, Issue 3, 2003, Pages 217-224

  Colucci, S ^a   Di Noia, T ^a   Di Sciascio, E ^a   Donini, F M ^b   Mongiello, M ^a  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TUSCIA   (Italy)

Author keywords

Facilitator; Knowledge representation; Semantic web; Services

Indexed keywords

DATA DESCRIPTION; KNOWLEDGE REPRESENTATION; SEMANTIC WEB; WEBSITES;

DESCRIPTION LOGIC; FACILITATOR; PARTIAL MATCHES; PEER TO PEER; PROTOTYPE SYSTEM; SEMANTIC MATCHING; SERVICES;

WEB SERVICES;

EID: 28744435302     PISSN: 13301136     EISSN: 18463908     Source Type: Journal    
DOI: 10.2498/cit.2003.03.10     Document Type: Article

References (27)

1. T. BERNERS-LEE AND J. HENDLER AND O. LASSILA, The Semantic Web, Scientific American, may, 2001, available at: http://www.w3.org/2001/sw/
2. A. BORGIDA, Description Logics in Data Management, IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 5, pp. 671-682, 1995.
3. A. BORGIDA AND R. J. BRACHMAN AND D. L. MCGUINNESS AND A. RESNICK, LORI, CLASSIC: A Structural Data Model for Objects, Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 59-67, 1989.
4. ALEXANDER BORGIDA AND PETER F. PATEL-SCHNEIDER, A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic, Journal of Artificial Intelligence Research, vol. 1, pp. 277-308, Morgan Kaufmann, Los Altos, 1994.
5. D. CALVANESE, Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity, Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI'96), pp. 303-307, John Wiley & Sons, 1996.
6. D. CALVANESE, G. DE GIACOMO AND M. LENZERINI, On the Decidability of Query Containment under Constraints, Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98), pp. 149-158, 1998.
7. F. CASATI AND M. C. SHAN, Dynamic and Adaptive Composition of E-Services, Information Systems, vol. 26, pp. 143-163, 2001.
8. E. CHRISTENSEN, F. CURBERA, G. MEREDITH AND S. WEERAWARANA, Web Services Description Language, 2001, available at: http://www.w3.org/TR/wsdl.
9. E. DI SCIASCIO, F.M. DONINI, M. MONGIELLO AND G. PISCITELLI, A Knowledge-Based System for Person-to-Person E-Commerce, Proc. Workshop on Applications of Description Logics (KI 2001), 2001.
10. F. M. DONINI, M. LENZERINI, D. NARDI AND A. SCHAERF, Reasoning in Description Logics, Principles of Knowledge Representation, Gerhard Brewka, pp. 93-238, CSLI Publications, Studies in Logic, Language and Information, 1996.
11. D. FENSEL, F. VAN HARMELEN, I. HORROCKS, D. MCGUINNESS AND P. F. PATEL-SCHNEIDER, OIL: An Ontology Infrastructure for the Semantic Web, IEEE Intelligent Systems, vol. 16, no. 2, pp. 38-45, 2001, available at: http://www.computer.org/intelligent/ex2001/x2toc.htm
12. T. FININ AND R. FRITZSON AND D. MCKAY AND R. MCENTIRE, KQML as an Agent Communication Language, Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaitherburg, pp. 456-463, ACM, New York, 1994.
13. Y. GIL AND S. RAMACHANDRAN, PHOSPHORUS: a Task based Agent Matchmaker, Proc. AGENTS '01, Montreal, pp. 110-111, ACM, New York, 2001.
14. J. GONZALES-CASTILLO AND D. TRASTOUR AND C. BARTOLINI, Description Logics for Matchmaking of Services, Proc. Workshop on Applications of Description Logics (KI 2001), September, 2001.
15. V. HAARSLEV AND R. MOLLER, RACER System Description, International Joint Conference on Automated Reasoning, IJCAR'2001, pp. 701-705, Springer-Verlag, Berlin, 2001.
16. Y. HOFFNER, C. FACCIORUSSO, S. FIELD AND A. SCHADE, Distribution Issues in the Design and Implementation of a Virtual Market Place, Computer Networks, vol. 32, pp. 717-730, 2000.
17. I. HORROCKS, The FaCT System, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'98, may, Lecture Notes in Artificial Intelligence, 1397, pp. 307-312, Springer-Verlag, Berlin, 1998.
18. I. HORROCKS AND et al., DAML+OIL language specification, 2001, available at: http://www.daml.org/2001/03/daml+oil-index
19. N. KARACAPILIDIS AND P. MORAITIS, Building an Agent-Mediated Electronic Commerce System with Decision Analysis Features, Decision Support Systems, vol. 32, pp. 53-69, 2001.
20. D. KUOKKA AND L. HARADA, Integrating Information Via Matchmaking, Journal of Intelligent Information Systems, vol. 6, pp. 261-279, 1996.
21. O. LASSILA AND R. R. SWICK, Resource Description Framework, 1999, available at: http://www.w3.org/TR/REC-rdf-syntaxl
22. B. NEBEL, Terminological Reasoning is Inherently Intractable, Artificial Intelligence, vol. 43, pp. 235-249, 1990.
23. T. DI NOIA, E. DI SCIASCIO, F.M. DONINI AND M. MONGIELLO, Semantic Matchmaking in a P-2-P Electronic Marketplace, ACM SAC-03, Melbourne, Florida, USA, pp. 582-586, 2003.
24. M. PAOLUCCI, T. KAWAMURA, T.R. PAYNE AND K. SYCARA, Semantic Matching of Web Services Capabilities, The Semantic Web - ISWC 2002, Lecture Notes in Computer Science, 2342, pp. 333-347, Springer-Verlag, 2002.
25. K. SYCARA, S. WIDOFF, M. KLUSCH AND J. LU, LARKS: Dynamic Matchmaking Among Heterogeneus Ssoftware Agents in Cyberspace, Autonomous agents and multi-agent systems, vol. 5, pp. 173-203, 2002.
26. D. TRASTOUR AND C. BARTOLINI AND C. PRIEST, Proc. WWW '02, Semantic Web Support for the Business-to-Business E-Commerce Lifecycle, Honolulu, pp. 89-98, ACM, New York, 2002.
27. H. WANG, S. LIAO AND L. LIAO, Modeling Constraint-Based Negotiating Agents, Decision Support Systems, vol. 33, pp. 201-217, 2002.