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)
Reusing ontologies can significantly accelerate the development of new ontologies, and therefore interoperability. However, reuse of ontologies calls for efficient means to identify reusable parts within and across existing ontologies. This paper presents a novel, graphical user interface to explore semantic overlaps between ontologies in order to identify(More)
Andean textiles are products of one of the richest, oldest and continuous weaving traditions in the world. Understanding the knowledge and practice of textile production as a form of cultural heritage is particularly relevant in the Andean context due to erosion of clothing traditions, reuse of traditional textiles on commodities targeted at the tourism(More)