A Formal Object Definition in Categorical Shaping

Abstract

Formal Representation of Knowledge deals with the construction of real world models taken from a certain domain, which enables automatic reasoning and interpretation. These formal models, called also ontologies, are used to offer formal semantics (forms interpretable by machine) to all kinds of information. Ontology building in Computer Science is tightly connected to its philosophical and logical concepts. Organizing objects into categories is a very important part of knowledge representation. Even though the interaction with the world is made based on individual objects, most of the reasoning is done based on objects’ categories. Categorical formation is an intellectual issue even though its objects are not pieces of the intellectual world. As a matter of fact these objects stand at the top of the perceptive world in such a way that they look totally apart from their real structures. Standing at this practical level it is important to cite that the moment of object categorization is a pure formal process. For a business company these categories must reflect business’ concepts and rules, its logic and the conventions between the business itself and the organizations it cooperates with. In this paper we build a basis on the formalization of the categorical system. These formalizations are contemporary tools which the Albanian businesses must embrace in order for them to function properly.

DOI: 10.5901/ajis.2014.v3n1p427