Semantic Classification of FCA Resources

Dr Philippe A. MARTIN

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


Table of contents



Domains and Theories

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;



Tasks and Methodologies

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^);



Structures and Languages

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;



Tools

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;

KB Management Systems



Interfaces

   km#FCA_structure_graphical_editor (^graphic editor of FCA objects^)
    object: km#FCA_structure;



Journals, Conferences, Publishers and Mailing Lists

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/;



Articles, Books and other Documents

Knowledge Mapping

[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];

FCA-based Knowledge Representation

[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];



People: Researchers, Specialists, Teams/Projects, ...

This part will be dealt with later.