In order to formalize complex and compositional concepts, we propose a logical framework based on an upper ontology constructed from the composition of basic concepts such as properties and objects. In particular, ontologically distinct compositions (called ontological compositions) that are not easily defined by using ISA and PART-OF relations are classified into characterizing, temporal, and spatial compositions (e.g., ‘red face’ and ‘today’). In this paper, we precisely model such ontological compositions by using monadic second-order logic; properties and objects 1
Ken Kaneiwa, Riichiro Mizoguchi, Philip H. P. Nguy