Transcript cisa-poster-2009-11-17

Centre for Intelligent Systems and their Applications
About CISA
Automated Ontology Evolution
In CISA we investigate how knowledge
can be formally represented and
reasoning can be automated. This is
part of the foundations for the
computational fabric that supports
modern industry and society. It is
also a major driving force for change, in
areas such as multi-agent
systems and reasoning on the Web.
There is a strong interaction between
theory and application; CISA covers the
spectrum from abstract research
using logics and theorem proving
methods through to systems oriented
research.
Ontologies contain structured formal
knowledge to support automated reasoning
and distributed agent interactions, and to
infer new knowledge. Ontological domains
and application goals change over time and
ontologies must be maintained regularly. This
work describes automated and semiautomated approaches to resolve ontological
concept mis-matching, contradiction
isolation, conflict resolution, theorem proving
and proof repair, automated ontology repair.
Relevant systems are Cynthia, HRL, ORS,
Galileo; an example project is Wheelbarrow.
The Research @ National eScience Centre is a new addition to
AIAI CISA’s Artificial Intelligence
Applications Institute is a world-leading
knowledge transfer and research
centre, specialising in intelligent
systems, planning and workflow,
intelligent virtual worlds, collaborative
and bioinformatics systems.
CISA. Our mission is to advance methods
that harness distributed data and
computation in collaborative environments.
Our goal is to support the life cycle of data to
information and to knowledge in a multidisciplinary and multi-organisational context.
To achieve this, we pursue research in eScience and Informatics and apply our ideas
in several scientific and industrial domains.
www.openk.org
Open Knowledge was funded by
EU. It developes innovative peer-to-peer
platform technologies for distributed
systems. It provides standard agent
wrappers and interaction protocols
underpinned by formal process logics.
These technologies are applied to many
different application domains, e.g.
proteomics, astrophysics, emergency
response, clinical protocol systems,
healthcare delivery and trading over grid
services.
Rapid is funded by EPSRC and JISC.
It designs and delivers portal
interfaces to enable application
executions that use remote
computational resources. It provides
solutions for brain imaging, chemistry,
seismology, microscopy and
engineering.
www.cisa.inf.ed.ac.uk