Abstract / Description of output
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.
Original language | English |
---|---|
Title of host publication | The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings |
Editors | Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 144-159 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-642-29923-0 |
ISBN (Print) | 978-3-642-29922-3 |
DOIs | |
Publication status | Published - 15 Jun 2012 |
Event | 1st Joint International Semantic Technology Conference 2011 - Hangzhou, China Duration: 4 Dec 2011 → 7 Dec 2011 Conference number: 1 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer, Berlin, Heidelberg |
Volume | 7185 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 1st Joint International Semantic Technology Conference 2011 |
---|---|
Abbreviated title | JIST 2011 |
Country/Territory | China |
City | Hangzhou |
Period | 4/12/11 → 7/12/11 |