| EPSRC Reference: |
GR/S87171/01 |
| Title: |
Extending Expressive Description Logics. |
| Principal Investigator: |
Sattler, Professor U |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Manchester, The |
| Scheme: |
First Grant Scheme Pre-FEC |
| Starts: |
01 October 2004 |
Ends: |
30 September 2007 |
Value (£): |
120,986
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Information & Knowledge Mgmt |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Despite its high expressive power, the state-of-the-art description logic SHIQ would be even more useful if it would, additionally, provide two more constructors, namely (a) nominals and (b) complex role inclusion axioms (RIAs, which gives RIO). First results concerning (b) are already available, but some important questions are still open, i.e., how and whether the current reasoning algorithm for the extension of SHIQ with RIAs can be enhanced. Concerning (a), only a lower complexity bound is known. However, this bound suggests that extending SHIQ with nominals requires novel reasoning techniques.We plan to investigate the extensions of SHIQ with nominals and RIAs and design practical reasoning algorithms for these extensions. These algorithms will be of use to support ontology 'engineering', i.e., the design, maintenance, integration, and deployment of ontologles. Currently, this support is provided by implementations of a reasoning algorithm for SHIO, e.g. in the FaCT reasoner. However, it would be useful to enhance this algorithm so that it can also handle nominals and RIAs since, e.g., the Semantic Web ontology language OWL is based on SHIO with nominals, and SHIQ with RIAs is used in medical ontology languages. The enhanced algorithms would enable adequate ontology modeling and yield additional inferences.
|
|
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 |