| EPSRC Reference: |
GR/R09428/01 |
| Title: |
Formalizing the Design of Temporal Databases Using Description Logics |
| Principal Investigator: |
Artale, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Informatics |
| Organisation: |
University of Manchester, The |
| Scheme: |
Fast Stream |
| Starts: |
01 July 2001 |
Ends: |
31 October 2003 |
Value (£): |
63,137
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Information & Knowledge Mgmt |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of the project is to establish a logic-based formalisation of temporal extended conceptual models. This will have two main consequences. First, we aim to precisely characterise the intended meanings of the various temporal constructs appeared in the literature of temporal extended conceptual models by means of the set-theoretic semantics associated to their logical formalisation. Secondly, algorithms developed for computing logical implication can be applied as well to the conceptual models to deduce new implicit taxonomic relations, to check the consistency of the whole scheme, to verify that entity sets, classes or relationships have a non-empty extension. This will have an impact on providing new functionalities to CASE tools, in particular the CASE tool developed by the project will solve the problem of the formal verification of a design in a provable correct and automised way.
|
|
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: |
http://www.man.ac.uk |