Based on the proposal that the Skyrme theory is a theory of monopole we provide a new interpretation of Skyrme theory, that the theory can also be viewed as an effective theory of strong interaction which is dual to QCD, where the monopoles (not the quarks) are confined through the Meissner effect. This dual picture leads us to predict the existence of a topological glueball in QCD, a chromoele...

We report on ongoing work to apply techniques of automated theory morphism search in first-order logic to ontology matching and alignment problems. Such techniques are able to discover ‘structural similarities’ across different ontologies by providing theory interpretations of one ontology into another. We sketch the techniques currently available for automating the task of finding theory inter...

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements)...

Interpreting measurements of physical systems consists in part of constructing an account of "what's happening" in terms of our commonsense physical theories. Since most systems involve change, qualitative dynamics plays a central role in such deductions. This paper presents a theory of measurement interpretation at an instant, based on Qualitative Process Theory. Appropriate notions of measure...

1. Some philosophical problems are decidedly esoteric. It might be thought that certain counterexamples Larry Temkin and Stuart Rachels have offered to the transitivity of the better-than relation are prime instances. For the most compelling of these putative counterexamples rely on our evaluative judgments concerning the quality of hypothetical lives that last an incredibly long time. And if t...

We report on ongoing work to apply techniques of automated theory morphism search to ontology matching and alignment problems. Such techniques are able to discover ‘structural similarities’ across different ontologies by providing theory interpretations of one ontology into another. In particular, we discuss two such scenarios: one where the signatures and logics of the component ontologies fit...

The problem of interpreting quantum theory on a large (e.g. cosmological) scale has been commonly conceived as a search for objective reality in a framework that is fundamentally probabilistic. The Everett programme attempts to evade the issue by the reintroduction of determinism at the global level of a “state vector of the universe”. The present approach is based on the recognition that, like...