Skip to main content
SpringerLink
Log in

Extending Semantic-Based Matchmaking via Concept Abduction and Contraction

  • Conference paper
Engineering Knowledge in the Age of the Semantic Web (EKAW 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3257))

Abstract

Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference services in Description Logics.

The model allows to manage negotiable and strict constraints of a request (equivalently of an offer) while performing a matchmaking process, even if both the request and the offer are incompatible –some part of one description is in conflict with the other– and some constraints in one description are not specified in the other one.

An algorithm is presented to compute both which part of the request should be retracted and which part of the offer has to be refined in order to make them completely satisfiable with each other.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arens, Y., Knoblock, C.A., Shen, W.: Query Reformulation for Dynamic Information Integration. Journal of Intelligent Information Systems 6, 99–130 (1996)

    Article  Google Scholar 

  2. Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: Proc. International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 319–324 (2003)

    Google Scholar 

  3. Baader, F., Calvanese, D., Mc Guinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  4. Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Festschrift in honor of Jörg Siekmann. LNCS (LNAI). Springer, Heidelberg (2003)

    Google Scholar 

  5. Baader, F., Kusters, R., Borgida, A., Mc Guinness, D.: Matching in Description Logics. Journal of Logic and Computation 9(3), 411–447 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  6. Benatallah, B., Hacid, M.-S., Rey, C., Toumani, F.: Request Rewriting-BasedWeb Service Discovery. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 242–257. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Benatallah, B., Hacid, M.-S., Rey, C., Toumani, F.: Semantic Reasoning forWeb Services Discovery. In: Proc. of Workshop on E-Services and the Semantic Web at WWW 2003 (May 2003)

    Google Scholar 

  8. Bluetooth, http://www.bluetooth.com

  9. Borgida, A.: Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering 7(5), 671–682 (1995)

    Article  Google Scholar 

  10. Borgida, A., Patel-Schneider, P.F.: A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Journal of Artificial Intelligence Research 1, 277–308 (1994)

    MATH  Google Scholar 

  11. Brachman, R., Levesque, H.: The tractability of subsumption in frame-based description languages. In: Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI 1984), pp. 34–37. Morgan Kaufmann, Los Altos (1984)

    Google Scholar 

  12. Brandt, S., Küsters, R., Turhan, A.-Y.: Approximation and difference in description logics. In: Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 203–214. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

  13. Calì, A., Calvanese, D., Colucci, S., Di Noia, T., Donini, F.M.: A Logic-Based Approach for Matching User Profiles. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS (LNAI), vol. 3215, pp. 187–195. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Calvanese, D., De Giacomo, G.: Expressive description logics. In: The Description Logic Handbook: Theory, Implementation and Applications, pp. 178–218 (2003)

    Google Scholar 

  15. Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F., Mongiello, M.: Concept Abduction and Contraction in Description Logics. In: Proceedings of the 16th International Workshop on Description Logics (DL 2003). CEUR Workshop Proceedings, vol. 81 (September 2003)

    Google Scholar 

  16. Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F., Mongiello, M.: Logic Based Approach to web services discovery and matchmaking. In: Proceedings of the E-Services Workshop at ICEC 2003 (September 2003)

    Google Scholar 

  17. Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F., Mongiello, M.: Uniform Tableaux- Based Approach to Concept Abductiona and Contraction in ALN DL. In: Proceedings of the 17th InternationalWorkshop on Description Logics (DL 2004). CEURWorkshop Proceedings, vol. 104 (2004)

    Google Scholar 

  18. Di Noia, T., Di Sciascio, E., Donini, F., Mongiello, M.: Abductive matchmaking using description logics. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Messico, August 9–15 (2003), pp. 337–342. Morgan Kaufmann, Los Altos (2003)

    Google Scholar 

  19. Di Noia, T., Di Sciascio, E., Donini, F., Mongiello, M.: Semantic matchmaking in a P- 2-P electronic marketplace. In: Matsui, M., Zuccherato, R.J. (eds.) SAC 2003. LNCS, vol. 3006, pp. 582–586. Springer, Heidelberg (2004)

    Google Scholar 

  20. Di Noia, T., Di Sciascio, E., Donini, F., Mongiello, M.: Asystem for principled Matchmaking in an electronic marketplace. In: Proc. InternationalWorldWideWeb Conference (WWW 2003), Budapest, Hungary, May 20–24 (2003), pp. 321–330. ACM, NewYork (2003)

    Google Scholar 

  21. Di Sciascio, E., Donini, F., Mongiello, M., Piscitelli, G.: A Knowledge-Based System for Person-to-Person E-Commerce. In: Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL 2001). CEUR Workshop Proceedings, vol. 44 (2001)

    Google Scholar 

  22. Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Reasoning in Description Logics. In: Brewka, G. (ed.) Principles of Knowledge Representation, Studies in Logic, Language and Information, pp. 193–238. CSLI Publications (1996)

    Google Scholar 

  23. Dumas, M., Benatallah, B., Russell, N., Spork, M.: A Configurable Matchmaking Framework for Electronic Marketplaces. Electronic Commerce Research and Appplications 3(1), 95–106 (2004)

    Article  Google Scholar 

  24. Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an Agent Communication Language. In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM 1994), pp. 456–463. ACM, New York (1994)

    Google Scholar 

  25. Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)

    MATH  Google Scholar 

  26. Genesereth, M.R.: Knowledge Interchange Format. In: Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, Cambridge, MA, pp. 599–600. Morgan Kaufmann, Los Altos (1991)

    Google Scholar 

  27. Gil, Y., Ramachandran, S.: PHOSPHORUS: a Task based Agent Matchmaker. In: Proc. International Conference on Autonomous Agents 2001, pp. 110–111. ACM, New York (2001)

    Google Scholar 

  28. Gonzales-Castillo, J., Trastour, D., Bartolini, C.: Description Logics for Matchmaking of Services. In: Proceedings of the KI 2001 Workshop on Applications of Description Logics (ADL 2001). CEURWorkshop Proceedings, vol. 44 (2001)

    Google Scholar 

  29. Jacobs, N., Shea, R.: Carnot and Infosleuth – Database Technology and the Web. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 443–444. ACM, New York (1995)

    Google Scholar 

  30. Kuokka, D., Harada, L.: Integrating Information Via Matchmaking. Journal of Intelligent Information Systems 6, 261–279 (1996)

    Article  Google Scholar 

  31. Levesque, H.: A Knowledge-Level Account for Abduction. In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), pp. 1061–1067. Morgan Kaufmann, Los Altos (1989)

    Google Scholar 

  32. Li, L., Horrocks, I.: A Software Framework for Matchmaking Based on Semantic Web Technology. In: Proc. InternationalWorldWideWeb Conference (WWW 2003), Budapest, Hungary, May 20–24 (2003), pp. 331–339. ACM, NewYork (2003)

    Google Scholar 

  33. Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  34. Peirce, C.: Abduction and induction. In: Buchler, J. (ed.) Philosophical Writings of Peirce, ch. 11 (1955)

    Google Scholar 

  35. Avancha, S., Joshi, A., Finin, T.: Enhanced Service Discovery in Bluetooth. IEEE Computer, 96–99 (2002)

    Google Scholar 

  36. Ströbel, M., Stolze, M.: A Matchmaking Component for the Discovery of Agreement and Negotiation Spaces in Electronic Markets. Group Decision and Negotiation 11, 165–181 (2002)

    Article  Google Scholar 

  37. Sycara, K., Widoff, S., Klusch, M., Lu, J.: LARKS: Dynamic Matchmaking Among Heterogeneus Software Agents in Cyberspace. Autonomous agents and multi-agent systems 5, 173–203 (2002)

    Article  Google Scholar 

  38. Teege, G.: Making the difference:A subtraction operation for description logics. In: Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR 1994), pp. 540–550. MK (1994)

    Google Scholar 

  39. Trastour, D., Bartolini, C., Priest, C.: SemanticWeb Support for the Business-to-Business E-Commerce Lifecycle. In: Proc. International World Wide Web Conference WWW 2002, pp. 89–98. ACM, New York (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Politecnico di Bari, Via Re David, 200, I-70125, Bari, Italy

    Tommaso Di Noia & Eugenio Di Sciascio

  2. Università della Tuscia, via San Carlo, 32, I-01100, Viterbo, Italy

    Francesco M. Donini

Authors
  1. Tommaso Di Noia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eugenio Di Sciascio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francesco M. Donini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Knowledge Media Institute, The Open University, Milton Keynes, UK

    Enrico Motta

  2. Electronics and Computer Science, University of Southampton, UK

    Nigel R Shadbolt

  3. Knowledge Media Institute, Open University, UK

    Arthur Stutt

  4. University of Southampton, SO17 1BJ, Southampton, UK

    Nick Gibbins

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Di Noia, T., Di Sciascio, E., Donini, F.M. (2004). Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds) Engineering Knowledge in the Age of the Semantic Web. EKAW 2004. Lecture Notes in Computer Science(), vol 3257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30202-5_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30202-5_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23340-4

  • Online ISBN: 978-3-540-30202-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation