| EPSRC Reference: |
GR/R00340/01 |
| Title: |
Reasoning About Conjunctive Query Containment Under Constraints |
| Principal Investigator: |
Horrocks, Professor I |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Victoria University of Manchester, The |
| Scheme: |
Fast Stream |
| Starts: |
01 February 2001 |
Ends: |
31 May 2002 |
Value (£): |
61,955
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
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.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|