Documents disponibles écrits par cet auteur

A formal ontology of knowing and knowledge / Pawel Garbacz in Knowledge management research and practice, Vol. 10 N° 3 (Septembre 2012) 

Public ISBD [article]  in Knowledge management research and practice > Vol. 10 N° 3 (Septembre 2012) . - pp. 206–226 Titre : A formal ontology of knowing and knowledge Type de document : texte imprimé Auteurs : Pawel Garbacz, Auteur ; Piotr Kulicki, Auteur ; Robert Trypuz, Auteur Année de publication : 2012 Article en page(s) : pp. 206–226 Note générale : Management Langues : Anglais (eng) Mots-clés : Knowledge  Applied  ontology  Knowledge  management  Formalisation Résumé : The paper presents a formalisation of one of the leading ontologies in Knowledge Management by the name of Formal Knowledge Management Ontology. After elaborating why the latter ontology is not a formal ontology in the sense of logic and how it might benefit from being logic-based, we detail a logical theory Formalised Formal Knowledge Management Ontology (F2KMO) that incorporates its main ideas and tenets. In particular, we specify the primitive, that is, undefined terms we assume, the axioms whose role is to fix the meanings of those terms, and a number of definitions that correspond to the definitions one may find in the latest exposition of Formal Knowledge Management Ontology. We show that F2KMO is consistent and prove its usefulness by defining the logical schema of a database based on the theory. ISSN : 1477-8238 En ligne : http://www.palgrave-journals.com/kmrp/journal/v10/n3/abs/kmrp201216a.html [article] A formal ontology of knowing and knowledge [texte imprimé] / Pawel Garbacz, Auteur ; Piotr Kulicki, Auteur ; Robert Trypuz, Auteur . - 2012 . - pp. 206–226. Management Langues : Anglais (eng) in Knowledge management research and practice > Vol. 10 N° 3 (Septembre 2012) . - pp. 206–226 Mots-clés : Knowledge  Applied  ontology  Knowledge  management  Formalisation Résumé : The paper presents a formalisation of one of the leading ontologies in Knowledge Management by the name of Formal Knowledge Management Ontology. After elaborating why the latter ontology is not a formal ontology in the sense of logic and how it might benefit from being logic-based, we detail a logical theory Formalised Formal Knowledge Management Ontology (F2KMO) that incorporates its main ideas and tenets. In particular, we specify the primitive, that is, undefined terms we assume, the axioms whose role is to fix the meanings of those terms, and a number of definitions that correspond to the definitions one may find in the latest exposition of Formal Knowledge Management Ontology. We show that F2KMO is consistent and prove its usefulness by defining the logical schema of a database based on the theory. ISSN : 1477-8238 En ligne : http://www.palgrave-journals.com/kmrp/journal/v10/n3/abs/kmrp201216a.html