This document specializes the 'Semantic Classification of Knowledge Management Resources' for Formal Concept Analysis (FCA). The same approach is followed and hence is not described again here. Some type have already been declared in this previous document
The generic user "km" is used below. Since this is a "generic user", no password is (and can be) associated to it in WebKB-2, and anyone may add categories in the name of "km".
Reminder: (i) the link "object" has different (more specialized) meanings depending on the connected categories, (ii) so does the link "part": between physical objects it refers to the link "physical part" , between tasks it refers to the link "subtask".
km#FCA_domain__Formal_Concept_Analysis
>part of: km#knowledge_management_science,
>part: km#Temporal_Concept_Analysis,
object: km#FCA_task km#FCA_structure km#FCA_tool km#FCA_mailing_list,
url: http://www.upriss.org.uk/fca/fca.html;
km#system_of_logic_used_in_FCA < #system_of_logic,
> km#FCA_contextual_logic km#FCA_contextual_judgement_logic
km#FCA_contextual_concept_logic;
km#FCA_contextual_logic
part: km#FCA_contextual_judgement_logic;
km#FCA_contextual_judgement_logic
part: km#FCA_contextual_concept_logic,
object: km#FCA_existential_concept_graph;
km#FCA_contextual_concept_logic
object: km#FCA_formal_context;
km#FCA_task (^a FCA (sub)task^) // < km#language/structure_specific_task,
> km#FCA_based_KDD km#mapping/merging/federation_of_FCA_based_KBs
km#FCA_based_conceptual_clustering
km#FCA_methodology_task;
km#conversion_between_FCA_and_other_models_or_notations
> km#FCA_based_storage_of_CGs
km#conversion_from_EGs_to_concept_graphs_with_cuts;
km#FCA_based_conceptual_clustering
> km#FCA_attribute_exploration km#FCA_concept_exploration;
km#FCA_attribute_exploration
(^FCA technique addressing the problem of a context where the object set
is not completely known a priori, or too large to be listed^);
km#FCA_concept_exploration
(^FCA technique addressing the problem of a context where both the object set
and the attribute set are not completely known a priori, or too large to be listed^);
km#FCA_structure // < km#mathematical_KM_structure,
> km#FCA_formal_context km#FCA_formal_concept
km#FCA_graph /*also subtype of km#KR_language*/
km#FCA_ontology;
km#FCA_formal_context
> {km#FCA_simple_formal_context km#FCA_many_valued_context},
part: km#FCA_formal_concept;
km#FCA_many_valued_context
> km#FCA_incomplete_context;
km#FCA_graph
> {km#FCA_concept_graph km#FCA_relation_graph};
km#FCA_concept_graph
> {km#FCA_existential_concept_graph km#FCA_concept_graph_with_negation},
part: km#FCA_relation_graph;
km#FCA_concept_graph_with_negation
> km#FCA_semiconcept_graph km#FCA_protoconcept_graph
km#FCA_concept_graph_with_cuts;
km#FCA_semiconcept_graph
> km#FCA_semiconcept_graph_with_variables;
Softwares listed in
Uta Priss' Formal Concept Analysis Homepage
could be classified here.
km#FCA_tool < km#KM_tool__knowledge_management_tool,
> km#FCA_structure_graphical_editor;
km#FCA_structure_graphical_editor (^graphic editor of FCA objects^)
object: km#FCA_structure;
km#FCA_mailing_list < km#KM_mailing_list,
url: http://www.aifb.uni-karlsruhe.de/mailman/listinfo/fca-list;
km#ICFCA__International_Conference_on_Formal_Concept_Analysis
< km#international_research_conference_on_knowledge_management,
: km#ICFCA_04 km#ICFCA_05;
km#ICFCA_04 (^second International Conference on Formal Concept Analysis^)
url: http://www.sigmod.org/sigmod/dblp/db/conf/icfca/icfca2004.html;
km#ICFCA_05 (^third International Conference on Formal Concept Analysis^)
url: http://www.cril.univ-artois.fr/icfca05/;
[an #article, dc#Coverage: km#mapping/merging/federation_of_FCA_based_KBs, pm#title: "Information Transfer across Simple Concept Graphs", dc#Creator: "Grit Malik", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: km#FCA_domain,
pm#title: "Formal Concept Analysis: Mathematical Foundations",
dc#Creator: "Bernhard Ganter, Rudolf Wille", //ganter@math.tu-dresden.de
pm#object of: (a #publishing, pm#time: 1999, pm#agent: is#Springer_Verlag),
pm#url: http://www.math.tu-dresden.de/~ganter/FCAbooks.html];
[an #article, dc#Coverage: km#FCA_based_KDD,
pm#title: "Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods",
dc#Creator: "Gerd Stumme, Rudolf Wille",
pm#object of: (a #publishing, pm#time: 1998, pm#agent: is#Springer_Verlag)];
[a pm#PhD_thesis, dc#Coverage: km#FCA_concept_exploration,
pm#title:
"Distribute Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis",
dc#Creator: "Gerd Stumme",
pm#object of: (a #publishing, pm#time: 1999, pm#place: pm#Darmstadt),
pm#url: {http://www.aifb.uni-karlsruhe.de/WBS/gst/publications.shtml,
http://dbah.int.gu.edu.au/kvo/reading/}];
[an #article, dc#Coverage: {km#FCA_attribute_exploration,
km#FCA_concept_exploration},
pm#title: "Explorations tools in Formal Concept Analysis",
dc#Creator: "Gerd Stumme",
pm#object of: (a #publishing, pm#time: 1996, pm#agent: is#Springer_Verlag),
pm#url: http://www.aifb.uni-karlsruhe.de/WBS/gst/publications.shtml];
[an #article, dc#Coverage: {km#FCA_domain, km#KA_methodology_task},
pm#title: "Formal Concept Analysis on its Way from Mathematics to Computer Science",
dc#Creator: "Gerd Stumme", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: km#FCA_relation_graph,
pm#title:
"Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations",
dc#Creator: "Silke Pollandt", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: {km#FCA_domain, #relational_database},
pm#title: "Relational Scaling and Databases",
dc#Creator: "Joachim Hereth", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: {km#FCA_incomplete_context,#modal_logic},
pm#title: "Modal Logic for Evaluating Formulas in Incomplete Contexts",
dc#Creator: "Sergei Obiedkov", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: {km#FCA_concept_graph_with_cuts,
km#conversion_from_EGs_to_concept_graphs_with_cuts},
pm#title: "An Embedding of Existential Graphs into Concept Graphs with Negations",
dc#Creator: "Frithjof Dau", pm#in_proceedings of: km#ICCS_2002];
[a pm#PhD_thesis, dc#Coverage: km#FCA_concept_graph_with_negation,
pm#title: "The Logic System of Concept Graphs with Negation",
dc#Creator: "Frithjof Dau",
pm#url: http://www.kvocentral.com/reports/dau.pdf];
[an #article, dc#Coverage: {km#Temporal_Concept_Analysis,is#automata_theory},
pm#title: "Interpretation of Automata in Temporal Concept Analysis",
dc#Creator: "Karl Erich Wolff", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: km#FCA_semiconcept_graph_with_variables,
pm#title: "Semiconcept Graphs with Variables",
dc#Creator: "Julia Klinger", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: {km#FCA_protoconcept_graph,km#FCA_existential_concept_graph,
km#FCA_contextual_judgement_logic},
pm#title: "Existential Concept Graphs of Power Context Families",
dc#Creator: "Rudolf Wille", pm#in_proceedings of: km#ICCS_2002];
[an #article, dc#Coverage: {is#software_classification,km#FCA_based_conceptual_clustering},
pm#title:
"The 'Right' Level of Abstraction - Assessing Reusable Software with Formal Concept Analysis",
dc#Creator: "S. Schupp, M. Krishnamoorthy, M. Zalewski, J. Kilbride",
pm#in_proceedings of: km#ICCS_2002];
This part will be dealt with later.