A Formal Object Definition in Categorical Shaping
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.
This work is licensed under Creative Commons Attribution 3.0 License.
Academic Journal of Interdisciplinary Studies ISSN 2281 3993(Print) ISSN 2281-4612(Online)
Copyright © MCSER-Mediterranean Center of Social and Educational Research
To make sure that you can receive messages from us, please add the 'mcser.org' domain to your e-mail 'safe list'. If you do not receive e-mail in your 'inbox', check your 'bulk mail' or 'junk mail' folders..