A formal ontology of knowing and knowledge

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 logic...

Full description

Saved in:
Bibliographic Details
Published in:Knowledge management research & practice 2012-09, Vol.10 (3), p.206-226
Main Authors: Garbacz, Pawel, Kulicki, Piotr, Trypuz, Robert
Format: Article
Language:English
Subjects:
applied ontology
Business and Management
formalisation
knowledge
Knowledge Management
Management
Ontology
Operations Research/Decision Theory
Philosophy
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 (F 2 KMO) 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 F 2 KMO is consistent and prove its usefulness by defining the logical schema of a database based on the theory.
ISSN:1477-8238
1477-8246
DOI:10.1057/kmrp.2012.16