Attribute-Value Formalization in the Framework of the Logic of Determination of Objects (LDO) and Categorization
Anca Christine Pascu, Jean-Pierre Desclés · 2008
There are three major formalisms that are developed around concepts. The first one is Formal Concept Analysis (FCA) by B. Ganter and R. Wille (Ganter & Wille 1999). The sec-ond formalism is Description Logic (DL) developped during the 1980s for knowledge representation (Baader et al. 2003). The third is Logic of Determination of Objects (LDO) by J.-P. Desclés originating in the 1980s in order to define and artic-ulate notions as concepts and objects, to define and formalize a theory of typicality and an extended theory of quantifica-tion (Desclés & Pascu 2006). LDO is a logic applied in nat-ural language processing (NLP) and to the study of natural inferences in common reasoning. In all these formalisms, the notion of property is central. This article constitutes a contri-bution to an analysis of the notion of property. We present a formal theory of attribute-value in LDO in order to apply it in categorization and semantic annotations.