Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A system for principled matchmaking in an electronic marketplace
WWW '03 Proceedings of the 12th international conference on World Wide Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Flexible Semantic-Based Service Matchmaking and Discovery
World Wide Web
A hybrid approach to semantic web services matchmaking
International Journal of Approximate Reasoning
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog
Fuzzy Sets and Systems
Web Semantics: Science, Services and Agents on the World Wide Web
Electronic Commerce Research and Applications
Text2Onto: a framework for ontology learning and data-driven change discovery
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Semantic web search based on ontological conjunctive queries
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
To match or not to match: Aspects of marital matchmaking under uncertainty
Operations Research Letters
An abductive CQA based matchmaking system for finding renting houses
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Reasoning about explanations for negative query answers in DL-lite
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
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.