About CISA In CISA we investigate how knowledge can be formally represented and

1. www.openk.org Centre for Intelligent Systems and their Applications About CISA 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. Automated Ontology Evolution 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 semi-automated 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. 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. The Research @ National e-ScienceCentre is a new addition to CISA. Ourmission 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 multi-disciplinary and multi-organisational context. To achieve this, we pursue research in e-Science and Informatics and apply our ideas in several scientific and industrial domains. 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. 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. www.cisa.inf.ed.ac.uk