Conceptual Knowledge Markup Language
~ Under Construction ~
Main Entry: con·cept|
Etymology: Latin conceptum, neuter of conceptus,
past participle of concipere to conceive -- more at CONCEIVE
1 : something conceived in the mind : THOUGHT, NOTION
2 : an abstract or generic idea generalized from particular instances
synonym see IDEA.
OML Version 0.2
CKML Base Ontology
Earlier versions of CKML followed rather exclusively the philosophy of Conceptual Knowledge Processing (CKP), a principled approach to knowledge representation and data analysis that "advocates methods and instruments of conceptual knowledge processing which support people in their rational thinking, judgement and acting and promote critical discussion." The new version of CKML continues to follow this approach, but also incorporates various principles, insights and techniques from the logical design of Information Flow (IF) and distributed systems, as being developed by Jon Barwise, Jerry Seligman and colleagues. For more information on the IF approach, see the 1997 book Information flow: The logic of distributed systems authored by Barwise and Seligman. Among other things, this will allow diverse communities of discourse to compare their own information structures, as coded in logical theories a la IF, with that of other communities that share a common generic ontology. Integration of IF theory is current work-in-progress.
The Conceptual Knowledge Markup Language (CKML), an application of XML, is an extension of OML. But the new idea in this version is that CKML is not just an extension of OML, it is a "better" OML in the sense that by using ideas from Information Flow it provides a rigorous, logical semantics for OML.
Conceptual knowledge processing (CKP) is a principled approach to knowledge management. At the heart of CKP is a basic theorem that establishes the equivalence between the non-hierarchical structure of an incidence relation and the hierarchical structure of a (concept) lattice. The WAVE system provides a conceptual interface that smoothly integrates the basic theorem into the user-level.
|Basic Theorem of FCA||WAVE Conceptual Interface|
|Please send questions, comments and|
suggestions about this page to: Robert E. Kent firstname.lastname@example.org
Last modification date: November 1998