This paper introduces and discusses a new algebraic structure, the quasi-topologic structure. The idea of this structure comes from language analysis on the one hand and from analysis of some real situations of clustering on the other. From the cognitive point of view, it is related to the Logic of Determination of Objects (LDO) and to the Logic of Typical and Atypical Objects (LTA) which is particular case of LDO. From the mathematical point of view, it is related to topology. By introducing the notion of internal and external border, it extends the notion of border from classical topology.

In one hand, the meaning of natural languages is often described with basic semantic features and a boolean composition of these features. However, this approach is not sufficient to describe more deeply the meaning of linguistic units. In the other hand, the semantic of computer languages often starts from Church’s λ-calculus and walks up to more abstract levels. In this communication, is introduced a new general computational approach of the representation of meanings for high level languages (natural languages and programming languages), in working from the paradigm of compilation in computer sciences. In this compilation paradigm, the expressions of a high level symbolic language are changed in representations by means of intermediary levels, to hit formal representations directly compatible with the material structures of a machine or of a brain. From this analogy, expressions of a natural language can be analyzed by different metalinguistic levels of representations linked to each other by changing representation processes. The communication will give examples of representation changing between expressions of English and representations of meanings expressed by algebra of “treilles”.

But each They are linked by an arrow which is labeled by discourse method for representing a context is quite different. Our relations R. We represent SDRS in the form of boxes like study is based on two representational methods of temporal DRS. To induce a temporal and hierarchical structure, relations: the Segmented Discourse Representation Theory SDRT distinguish discourse relations'coordinating' from (SDRT) and the model of Cognitive and Applicative'subordinating', therefore coordination and subordination Grammar (CAG). This paper presents a comparison of affect the temporal order of text: the former indicate a continuation these two approaches about aspect and tense by an analysis of some discourses pattern, like relations of'Narration' of relations between events. We are not going to show all or'Result' in discourse segmentation, and the later steps of SDRT's representations, but we take a simple discourse indicate with types of information like relations of'Elaboration' (Asher and Lascarides 2003) and we analyze the or'Explanation'. These relations are appeared same discourse with the framework of the CAG.

We present a work in the field of formal ontologies, notion taken from the knowledge representation community. What we study is the concept of time and aspect described and conceptualized from linguistics. Our aim is thus to propose a formal ontology of time and aspect considering temporal concepts introduced in a formal way.