{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T12:17:44Z","timestamp":1773317864220,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540233404","type":"print"},{"value":"9783540302025","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30202-5_21","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:38:52Z","timestamp":1267403932000},"page":"307-320","source":"Crossref","is-referenced-by-count":9,"title":["Extending Semantic-Based Matchmaking via Concept Abduction and Contraction"],"prefix":"10.1007","author":[{"given":"Tommaso","family":"Di Noia","sequence":"first","affiliation":[]},{"given":"Eugenio","family":"Di Sciascio","sequence":"additional","affiliation":[]},{"given":"Francesco M.","family":"Donini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF00122124","volume":"6","author":"Y. Arens","year":"1996","unstructured":"Arens, Y., Knoblock, C.A., Shen, W.: Query Reformulation for Dynamic Information Integration. Journal of Intelligent Information Systems\u00a06, 99\u2013130 (1996)","journal-title":"Journal of Intelligent Information Systems"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013324 (2003)","DOI":"10.25368\/2022.125"},{"key":"21_CR3","volume-title":"The Description Logic Handbook","year":"2002","unstructured":"Baader, F., Calvanese, D., Mc Guinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"21_CR4","series-title":"LNAI","volume-title":"Festschrift in honor of J\u00f6rg Siekmann","author":"F. Baader","year":"2003","unstructured":"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\u00f6rg Siekmann. LNCS (LNAI). Springer, Heidelberg (2003)"},{"issue":"3","key":"21_CR5","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","volume":"9","author":"F. Baader","year":"1999","unstructured":"Baader, F., Kusters, R., Borgida, A., Mc Guinness, D.: Matching in Description Logics. Journal of Logic and Computation\u00a09(3), 411\u2013447 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-39718-2_16","volume-title":"The Semantic Web - ISWC 2003","author":"B. Benatallah","year":"2003","unstructured":"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.\u00a02870, pp. 242\u2013257. Springer, Heidelberg (2003)"},{"key":"21_CR7","unstructured":"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)"},{"key":"21_CR8","unstructured":"Bluetooth, http:\/\/www.bluetooth.com"},{"issue":"5","key":"21_CR9","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1109\/69.469829","volume":"7","author":"A. Borgida","year":"1995","unstructured":"Borgida, A.: Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering\u00a07(5), 671\u2013682 (1995)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"Borgida, A., Patel-Schneider, P.F.: A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Journal of Artificial Intelligence Research\u00a01, 277\u2013308 (1994)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"21_CR11","first-page":"34","volume-title":"Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI 1984)","author":"R. Brachman","year":"1984","unstructured":"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\u201337. Morgan Kaufmann, Los Altos (1984)"},{"key":"21_CR12","first-page":"203","volume-title":"Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR 2002)","author":"S. Brandt","year":"2002","unstructured":"Brandt, S., K\u00fcsters, 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\u2013214. Morgan Kaufmann, San Francisco (2002)"},{"key":"21_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-30134-9_27","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"A. Cal\u00ec","year":"2004","unstructured":"Cal\u00ec, 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.\u00a03215, pp. 187\u2013195. Springer, Heidelberg (2004)"},{"key":"21_CR14","unstructured":"Calvanese, D., De Giacomo, G.: Expressive description logics. In: The Description Logic Handbook: Theory, Implementation and Applications, pp. 178\u2013218 (2003)"},{"key":"21_CR15","unstructured":"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.\u00a081 (September 2003)"},{"key":"21_CR16","unstructured":"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)"},{"key":"21_CR17","unstructured":"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.\u00a0104 (2004)"},{"key":"21_CR18","first-page":"337","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003)","author":"T. Noia Di","year":"2003","unstructured":"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\u201315 (2003), pp. 337\u2013342. Morgan Kaufmann, Los Altos (2003)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","first-page":"582","volume-title":"Selected Areas in Cryptography","author":"T. Noia Di","year":"2004","unstructured":"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.\u00a03006, pp. 582\u2013586. Springer, Heidelberg (2004)"},{"key":"21_CR20","first-page":"321","volume-title":"Proc. InternationalWorldWideWeb Conference (WWW 2003)","author":"T. Noia Di","year":"2003","unstructured":"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\u201324 (2003), pp. 321\u2013330. ACM, NewYork (2003)"},{"key":"21_CR21","unstructured":"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.\u00a044 (2001)"},{"key":"21_CR22","unstructured":"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\u2013238. CSLI Publications (1996)"},{"issue":"1","key":"21_CR23","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.elerap.2003.09.003","volume":"3","author":"M. Dumas","year":"2004","unstructured":"Dumas, M., Benatallah, B., Russell, N., Spork, M.: A Configurable Matchmaking Framework for Electronic Marketplaces. Electronic Commerce Research and Appplications\u00a03(1), 95\u2013106 (2004)","journal-title":"Electronic Commerce Research and Appplications"},{"key":"21_CR24","first-page":"456","volume-title":"Proceedings of the Third International Conference on Information and Knowledge Management (CIKM 1994)","author":"T. Finin","year":"1994","unstructured":"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\u2013463. ACM, New York (1994)"},{"key":"21_CR25","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)"},{"key":"21_CR26","first-page":"599","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference","author":"M.R. Genesereth","year":"1991","unstructured":"Genesereth, M.R.: Knowledge Interchange Format. In: Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, Cambridge, MA, pp. 599\u2013600. Morgan Kaufmann, Los Altos (1991)"},{"key":"21_CR27","first-page":"110","volume-title":"Proc. International Conference on Autonomous Agents 2001","author":"Y. Gil","year":"2001","unstructured":"Gil, Y., Ramachandran, S.: PHOSPHORUS: a Task based Agent Matchmaker. In: Proc. International Conference on Autonomous Agents 2001, pp. 110\u2013111. ACM, New York (2001)"},{"key":"21_CR28","unstructured":"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.\u00a044 (2001)"},{"key":"21_CR29","first-page":"443","volume-title":"Proceedings of the ACM SIGMOD International Conference on Management of Data","author":"N. Jacobs","year":"1995","unstructured":"Jacobs, N., Shea, R.: Carnot and Infosleuth \u2013 Database Technology and the Web. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 443\u2013444. ACM, New York (1995)"},{"key":"21_CR30","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00122130","volume":"6","author":"D. Kuokka","year":"1996","unstructured":"Kuokka, D., Harada, L.: Integrating Information Via Matchmaking. Journal of Intelligent Information Systems\u00a06, 261\u2013279 (1996)","journal-title":"Journal of Intelligent Information Systems"},{"key":"21_CR31","first-page":"1061","volume-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989)","author":"H. Levesque","year":"1989","unstructured":"Levesque, H.: A Knowledge-Level Account for Abduction. In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI 1989), pp. 1061\u20131067. Morgan Kaufmann, Los Altos (1989)"},{"key":"21_CR32","first-page":"331","volume-title":"Proc. InternationalWorldWideWeb Conference (WWW 2003)","author":"L. Li","year":"2003","unstructured":"Li, L., Horrocks, I.: A Software Framework for Matchmaking Based on Semantic Web Technology. In: Proc. InternationalWorldWideWeb Conference (WWW 2003), Budapest, Hungary, May 20\u201324 (2003), pp. 331\u2013339. ACM, NewYork (2003)"},{"key":"21_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"21_CR34","unstructured":"Peirce, C.: Abduction and induction. In: Buchler, J. (ed.) Philosophical Writings of Peirce, ch.\u00a011 (1955)"},{"key":"21_CR35","doi-asserted-by":"crossref","unstructured":"Avancha, S., Joshi, A., Finin, T.: Enhanced Service Discovery in Bluetooth. IEEE Computer, 96\u201399 (2002)","DOI":"10.1109\/MC.2002.1009177"},{"key":"21_CR36","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1015229912455","volume":"11","author":"M. Str\u00f6bel","year":"2002","unstructured":"Str\u00f6bel, M., Stolze, M.: A Matchmaking Component for the Discovery of Agreement and Negotiation Spaces in Electronic Markets. Group Decision and Negotiation\u00a011, 165\u2013181 (2002)","journal-title":"Group Decision and Negotiation"},{"key":"21_CR37","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1014897210525","volume":"5","author":"K. Sycara","year":"2002","unstructured":"Sycara, K., Widoff, S., Klusch, M., Lu, J.: LARKS: Dynamic Matchmaking Among Heterogeneus Software Agents in Cyberspace. Autonomous agents and multi-agent systems\u00a05, 173\u2013203 (2002)","journal-title":"Autonomous agents and multi-agent systems"},{"key":"21_CR38","doi-asserted-by":"crossref","unstructured":"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\u2013550. MK (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50145-7"},{"key":"21_CR39","first-page":"89","volume-title":"Proc. International World Wide Web Conference WWW 2002","author":"D. Trastour","year":"2002","unstructured":"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\u201398. ACM, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Engineering Knowledge in the Age of the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30202-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T17:24:52Z","timestamp":1685467492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30202-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233404","9783540302025"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30202-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}