e-Science logo
 
 
About NeSC
e-Science Institute
e-Science Hub
TOE
Contacts
e-Science Events
Resources
Newsroom
Presentations & Lectures
Technical Papers
Global Grid Links
Projects
UK e-Science Centres
UK e-Science Teams
Career Opportunities
Bibliographic Database
 

 

Dynamic Ontologies: a Framework for Service Descriptions

DynamO

http://dynamo.man.ac.uk/

Current research on Semantic Web/Grid services aims to make web based services more readily accessible to automated processes. In particular, it should be possible to automatically discover and use web/grid based services in order to perform some given task, and to automatically compose multiple services in order to perform more complex tasks.

Ontologies are set to play a key role in this scenario by providing precisely defined vocabulary that can be used to describe and reason about services. In this context, however, current web based ontology languages have several limitations, one of the most serious of which is that they are inherently .static": they have no means to model changes in the world that may result from, e.g., performing a service. Extending these languages in a principled manner will first require an extension of the underlying logical languages on which they are based, namely expressive description logics, in order to better describe services with their dynamic aspects. We propose to do this by extending existing description logics with notions of time (both quantitative and qualitative), and with the ability to represent and reason about service actions. This will include theoretical investigations of the properties of such logics, the development of decision procedures for key reasoning problems and the evaluation of their utility in prototypical implementations.

Maturity: Initial Research
Region: UK
Type: EPSRC Computing Science
Grant Value: £469,438.00
Start Date: 01/04/2004
End Date: 23/06/2007
Project Status: funded
Funding Agency: EPSRC


Project Members
There are currently no Project Members associated with this project.


Collaborating Organisations
King's College London
University of Liverpool
University of Manchester


Component(s) Project Develops
This project is not associated with any components at present.


Application Area(s) associated with Project
This project is not associated with any application areas at present.

 

Last Updated: 22 Jun 12 11:04
This is an archived website, preserved and hosted by the School of Physics and Astronomy at the University of Edinburgh. The School of Physics and Astronomy takes no responsibility for the content, accuracy or freshness of this website. Please email webmaster [at] ph [dot] ed [dot] ac [dot] uk for enquiries about this archive.