Bundy, Alan

Chan, Michael

Lehmann, Jos

English

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

Edinburgh Research Explorer

A modiﬁcation of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis.

A translation approach to portable ontology speciﬁcation.

Data-driven discovery of physical laws.

Higher-order representation and reasoning for automated ontology evolution.

Interpretation of locales in isabelle: Theories and proof contexts.

Isabelle: A generic theorem prover.

Rotational properties of 21 SC galaxies with a large range of luminosities and radii,

Towards ontology evolution in physics.

GALILEO: A System for Automating Ontology Evolution

GALILEO: A System for Automating Ontology Evolution

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer