GALILEO: A System for Automating Ontology Evolution

Michael Chan; Jos Lehmann; Alan Bundy

GALILEO: A System for Automating Ontology Evolution

Michael Chan, Jos Lehmann, Alan Bundy

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

We describe the GALILEO system, which is designed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particular, we present our approach to ontological conflict diagnosis, which circumvents problems posed by HOL’s undecidability by means of: formalising modular ontologies as Isabelle locales and preparing the system by user interaction; applying ontology repair plans and automatically identifying logically valid terms that are responsible for the conflict; and, automatically eliminating physically meaningless terms.

Original language	English
Title of host publication	Notes of the IJCAI-11 Workshop ARCOE-11
Number of pages	5
Publication status	Published - 2011

Access to Document

4 arcoe11 mcSubmitted manuscript, 231 KB

Ontology Evolution in Physics
Bundy, A.
EPSRC
1/07/08 → 31/12/11
Project: Research

Cite this

@inproceedings{08255491d2ca4321b3ac8fe900cda920,

title = "GALILEO: A System for Automating Ontology Evolution",

abstract = "We describe the GALILEO system, which is designed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particular, we present our approach to ontological conflict diagnosis, which circumvents problems posed by HOL{\textquoteright}s undecidability by means of: formalising modular ontologies as Isabelle locales and preparing the system by user interaction; applying ontology repair plans and automatically identifying logically valid terms that are responsible for the conflict; and, automatically eliminating physically meaningless terms.",

author = "Michael Chan and Jos Lehmann and Alan Bundy",

year = "2011",

language = "English",

booktitle = "Notes of the IJCAI-11 Workshop ARCOE-11",

}

TY - GEN

T1 - GALILEO: A System for Automating Ontology Evolution

AU - Chan, Michael

AU - Lehmann, Jos

AU - Bundy, Alan

PY - 2011

Y1 - 2011

N2 - We describe the GALILEO system, which is designed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particular, we present our approach to ontological conflict diagnosis, which circumvents problems posed by HOL’s undecidability by means of: formalising modular ontologies as Isabelle locales and preparing the system by user interaction; applying ontology repair plans and automatically identifying logically valid terms that are responsible for the conflict; and, automatically eliminating physically meaningless terms.

AB - We describe the GALILEO system, which is designed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particular, we present our approach to ontological conflict diagnosis, which circumvents problems posed by HOL’s undecidability by means of: formalising modular ontologies as Isabelle locales and preparing the system by user interaction; applying ontology repair plans and automatically identifying logically valid terms that are responsible for the conflict; and, automatically eliminating physically meaningless terms.

M3 - Conference contribution

BT - Notes of the IJCAI-11 Workshop ARCOE-11

ER -

GALILEO: A System for Automating Ontology Evolution

Abstract / Description of output

Access to Document

Fingerprint

Projects

Ontology Evolution in Physics

Cite this