Abstract
To perform matchmaking in Web-based scenarios where data are often incomplete, we propose an extended conjunctive query answering (CQA) problem, called abductive CQA problem, in Description Logic ontologies. Given a consistent ontology and a conjunctive query, the abductive CQA problem computes all abductive answers to the query in the ontology. An abductive answer is an answer to the query in some consistent ontology enlarged from the given one by adding a bounded number of individual assertions, where the individual assertions that can be added are confined by user-specified concept or role names. We also propose a new approach to matchmaking based on the abductive CQA semantics, in which offer information is expressed as individual assertions, request information is expressed as conjunctive queries, and matches for a request are defined as abductive answers to a conjunctive query that expresses the request. We propose a sound and complete method for computing all abductive answers to a conjunctive query in an ontology expressed in the Description Logic Program fragment of OWL 2 DL with the Unique Name Assumption. The feasibility of this method is demonstrated by a real-life application, rental matchmaking, which handles requests for renting houses.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
Batabyal, A.A., DeAngelo, G.J.: To match or not to match: Aspects of marital matchmaking under uncertainty. Operations Research Letters 36(1), 94–98 (2008)
Bianchini, D., Antonellis, V.D., Melchiori, M.: Flexible semantic-based service matchmaking and discovery. World Wide Web 11(2), 227–251 (2008)
Cimiano, P., Völker, J.: Text2onto - A Framework for Ontology Learning and Data-Driven Change Discovery. In: Montoyo, A., Muńoz, R., Métais, E. (eds.) NLDB 2005. LNCS, vol. 3513, pp. 227–238. Springer, Heidelberg (2005)
Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. Electronic Commerce Research and Applications 4(4), 345–361 (2005)
Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M., Mottola, M.: A formal approach to ontology-based semantic match of skills descriptions. Journal of Universal Computer Science 9(12), 1437–1454 (2003)
Du, J., Qi, G., Shen, Y., Pan, J.Z.: Towards practical abox abduction in large OWL DL ontologies. In: Proc. of the 25th AAAI Conference on Artificial Intelligence (AAAI), pp. 1160–1165 (2011)
Du, J., Shen, Y.: Computing minimum cost diagnoses to repair populated DL-based ontologies. In: Proc. of the 17th International World Wide Web Conference (WWW), pp. 265–274 (2008)
Fazzinga, B., Gianforme, G., Gottlob, G., Lukasiewicz, T.: Semantic Web Search Based on Ontological Conjunctive Queries. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 153–172. Springer, Heidelberg (2010)
Fenza, G., Loia, V., Senatore, S.: A hybrid approach to semantic web services matchmaking. International Journal of Approximate Reasoning 48(3), 808–828 (2008)
Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics 6(4), 309–322 (2008)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proc. of the 12th International World Wide Web Conference (WWW), pp. 48–57 (2003)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 57–67 (2006)
Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proc. of the 12th International World Wide Web Conference (WWW), pp. 331–339 (2003)
Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: A system for principled matchmaking in an electronic marketplace. In: Proc. of the 12th International World Wide Web Conference (WWW), pp. 321–330 (2003)
Ragone, A., Straccia, U., Noia, T.D., Sciascio, E.D., Donini, F.M.: Fuzzy matchmaking in e-marketplaces of peer entities using datalog. Fuzzy Sets and Systems 160(2), 251–268 (2009)
Ren, Y., Pan, J.Z., Zhao, Y.: Closed world reasoning for OWL2 with NBox. Journal of Tsinghua Science and Technology 15(6), 692–701 (2010)
Shu, G., Rana, O.F., Avis, N.J., Chen, D.: Ontology-based semantic matchmaking approach. Advances in Engineering Software 38(1), 59–67 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Du, J., Wang, S., Qi, G., Pan, J.Z., Hu, Y. (2012). A New Matchmaking Approach Based on Abductive Conjunctive Query Answering. In: Pan, J.Z., et al. The Semantic Web. JIST 2011. Lecture Notes in Computer Science, vol 7185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29923-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-29923-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29922-3
Online ISBN: 978-3-642-29923-0
eBook Packages: Computer ScienceComputer Science (R0)