Incremental Computation of Concept Diagrams

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

Suppose a formal context 𝕂=(G,M,I) is given, whose concept lattice 𝕭(𝕂) with an attribute-additive concept diagram is already known, and an attribute column ℂ=(G,{n},J) shall be inserted to or removed from it. This paper introduces and proves an incremental update algorithm for both tasks.

Details

OriginalspracheEnglisch
TitelSupplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), Cluj-Napoca, Romania
Seiten45-61
Seitenumfang17
PublikationsstatusVeröffentlicht - 10 Juni 2014
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0003-0219-0330/work/153109409