|
| EPSRC Reference: |
GR/R00340/01 |
| Title: |
Reasoning About Conjunctive Query Containment Under Constraints |
| Principal Investigator: |
Professor I Horrocks |
| Other Investigators: |
|
| Researcher Co-investigator: |
|
| Project Partner: |
|
| Department: |
Computer Science |
| Organisation: |
The Victoria University of Manchester |
| Scheme: |
Fast Stream |
| Starts: |
01 February 2001 |
Ends: |
31 May 2002 |
Value (£): |
61,955
|
| EPSRC Research Topic Classifications: |
| Artificial Intelligence Technologies |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary |
Description Logics (DLs) have long been recognised as appropriate reasoning tools for a variety of information systems applications, and it has recently been shown that an expressive DL can be used to capture and reason about many popular conceptual modelling formalisms. This approach has been successfully applied in the I-com tool, which supports conceptual modelling and schema integration by using the FACT DL system to verify the model, inferring implicit constraints and checks for inconsistencies.
In the proposed research, we will build on this success by developing a tool that uses DL reasoning to decide query containment problems with respect to a set of constraints (typically a conceptual schema). This is an important problem in general, and is fundamental to information integration where the constraints can include several integrated schemas as well as azioms specifying inter-schema constraints. In this context the various source elements can be treated as views over the global schema, and query containment then becomes the basic reasoning task underlying query rewriting and optimisation.
|
| Final Report Summary |
Description Logics (DLs) have long been recognised as appropriate reasoning tools for a variety of information systems applications, and it has recently been shown that an expressive DL can be used to capture and reason about many popular conceptual modelling formalisms. This approach has been successfully applied in the I-com tool, which supports conceptual modelling and schema integration by using the FACT DL system to verify the model, inferring implicit constraints and checks for inconsistencies.
In the proposed research, we will build on this success by developing a tool that uses DL reasoning to decide query containment problems with respect to a set of constraints (typically a conceptual schema). This is an important problem in general, and is fundamental to information integration where the constraints can include several integrated schemas as well as azioms specifying inter-schema constraints. In this context the various source elements can be treated as views over the global schema, and query containment then becomes the basic reasoning task underlying query rewriting and optimisation.
|
| Further Information: |
|
| Organisation Website: |
|
|
|