The work reported in this paper applies group theory to characterize local surface contact among solids, and makes such a formalization computationally tractable. This paper serves three purposes: (1) to report a new treatment of contacting surfaces as oriented sets and to verify the consistency of their corresponding symmetry groups in a group theoretical formalization framework; (2) to give a...

In the field of biotechnology and medicine it is of interest to model and simulate metabolic processes. The usual methods to model metabolic pathways are chemical descriptions and differential equations. Moreover, the graph theoretical aspect is discussed and the development of expert systems is in process. In this paper we present the formalization of metabolic processes. Our formalization is ...

Formal Concept Analysis is based on a formalization of context. Since there are situations where the consideration of one context is not suucient, it is desirable to introduce a formalization of a network of contexts. In this paper, such formalization is given by the notion of mul-ticontext. The aim of the paper is to ooer a rst study of multicontexts and their conceptual structures; in particu...