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. Centre for Intelligent Systems and their Applications The Research @ National e-Science Centre is a new addition to 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 multi-disciplinary and multi- organisational context. To achieve this, we pursue research in e-Science and Informatics and 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, 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. www.openk.org www.cisa.inf.ed.ac.uk 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
About CISA In CISA we investigate how knowledge can be formally represented and
Jan 20, 2016
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 - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
About CISA In CISA we investigate how knowledge can be formally represented andreasoning can be automated. This is part of the foundations for thecomputational fabric that supports modern industry and society. It isalso a major driving force for change, in areas such as multi-agentsystems and reasoning on the Web. There is a strong interaction betweentheory and application; CISA covers the spectrum from abstract researchusing logics and theorem proving methods through to systems orientedresearch.
Automated Ontology EvolutionOntologies 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.
Centre for Intelligent Systems and their Applications
The Research @ National e-Science Centre is a new addition to 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 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.
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.
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.
www.openk.org
www.cisa.inf.ed.ac.uk
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.
Related Documents
