Skip to main content
padlock icon - secure page this page is secure

A formal ontology of knowing and knowledge

The full text article is temporarily unavailable.

We apologise for the inconvenience. Please try again later.

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.
No References
No Citations
No Supplementary Data
No Article Media
No Metrics

Document Type: Research Article

Affiliations: Department of Philosophy, John Paul II Catholic University, Lublin, lubelskie, Poland

Publication date: 01 September 2012

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more