A formal ontology of knowing and knowledge

Pawel Garbacz, Piotr Kulicki and Robert Trypuz

Knowledge Management Research & Practice, 2012, vol. 10, issue 3, 206-226

Abstract: 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.

Date: 2012
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1057/kmrp.2012.16 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tkmrxx:v:10:y:2012:i:3:p:206-226

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/tkmr20

DOI: 10.1057/kmrp.2012.16

Access Statistics for this article

Knowledge Management Research & Practice is currently edited by Giovanni Schiuma

More articles in Knowledge Management Research & Practice from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().