Immanuel Normann

Learn More
The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. Ωmega is a mathematical assistant tool that supports proof development in mathematical domains at a user-friendly level of abstraction. It is a modular system with a central data structure and several complementary(More)
In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETCASL. Through this change in perspective, OWL can benefit from various useful HETCASL features concerning structuring, modularity, and heterogeneity. This tackles a major problem area in(More)
This paper investigates the idea to treat repositories of ontologies as inter-linked networks of ontologies, formally captured by the notion of a hyperontology. We apply standard matching algorithms to automatically create the linkage structure of the repository by performing pairwise matching. Subsequently, we define a modular work-flow to construct(More)
In the experiment we proof the paradoxical perception of pitch. A tone sequence demonstrates this paradox: the sequence is perceived as descending, although the first and last tone are identical. The intransitivity of pitch perception generalizes (Shepard 1964). It applies also to harmonic complex tones with variate amplitude envelope and partials that are(More)
This paper discusses the design challenges encountered when building an ontology repository for an application framework devoted to assistive technologies that can be browsed and queried in a highly heterogeneous and expressive way. As a main vehicle to achieve this goal we propose to use metadata and meta-reasoning. We analyze how metadata can be used in(More)