Details of Grant 

EPSRC Reference:	GR/S63182/01
Title:	Dynamic Ontologies: a Framework for Service Descriptions
Principal Investigator:	Wolter, Professor F
Other Investigators:	Dixon, Professor C Konev, Professor B
Researcher Co-Investigators:
Project Partners:	Kings College London University of Liverpool
Department:	Computer Science
Organisation:	University of Liverpool
Scheme:	Standard Research (Pre-FEC)
Starts:	24 June 2004	Ends:	23 June 2007	Value (£):	153,562
EPSRC Research Topic Classifications:	Information & Knowledge Mgmt
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:	GR/S63175/02 GR/S63168/01
Panel History:
Summary on Grant Application Form
Current research of Semantic Web/Grid services aims to make web based services more readily accessible to automated precesses. In particular, it should be possible to automatically discover and use web/grid based services in order to perform some give task, and to automatically compose mulitple 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 services. Extending these languages in a prinicipled manner wil first require an extension of the underlying logical languages on which they are based, namely expressive descriotion logics, in order to better describe services with their dynamic aspects. We porpose to do this by extending existing description logics with notions fo time ( both quantitatives 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 developemtn of decision procedures for key reasoning problems and the evaluation of their utility in prototypical implementations.
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.liv.ac.uk