[논문 리뷰] DimDraw -- A novel tool for drawing concept lattices

Dominik Dürrschnabel, Tom Hanika외 1명|arXiv (Cornell University)|2019. 03. 02.

Rough Sets and Fuzzy Logic참고 문헌 5인용 수 1

한 줄 요약

DimDraw는 레이티스의 순서 차원을 활용하여 인간이 읽을 수 있는 개념 레이티스 도표를 자동으로 생성하는 새로운 도구이다. 이 도구는 페로어스 관계로부터 유도된 선형 확장의 최소 실현자(minimal realizer)를 계산하고, 개념들을 다차원 공간에 매핑한 후 이를 평면으로 투영함으로써, 특히 3D S3 및 반대 명칭 척도와 같은 복잡한 레이티스에서 전문가가 손으로 그린 버전과 유사한 다이어그램를 생성한다.

ABSTRACT

Concept lattice drawings are an important tool to visualize complex relations in data in a simple manner to human readers. Many attempts were made to transfer classical graph drawing approaches to order diagrams. Although those methods are satisfying for some lattices they unfortunately perform poorly in general. In this work we present a novel tool to draw concept lattices that is purely motivated by the order structure.

연구 동기 및 목표

• 수작업으로 그린 다이어그램 수준의 품질을 갖는 가독성이 뛰어난 자동 개념 레이티스 도표를 생성하는 데 도전하는 것.
• 기존 그래프 도식화 도구가 순서 구조를 비효율적으로 다루어 복잡한 레이티스에서 성능이 떨어지는 문제를 해결하는 것.
• 개념 레이티스의 내재된 순서 차원을 활용하여 시각적 명확성과 구조 보존을 향상시키는 방법을 개발하는 것.
• 일반적인 순서 집합에 적용 가능한 동시에 형식적 개념 분석에 특화된 도구를 개발하는 것.

제안 방법

• 교차표의 빈 셀을 최소한의 페로어스 관계로 덮음으로써 개념 레이티스의 순서 관계에 대한 최소 실현자를 계산한다.
• 순서 차원의 대체로 페로어스 차원을 사용하여 선형 확장을 효율적으로 계산한다.
• 실현자의 각 선형 확장에서의 순위를 기반으로 각 개념에 d차원 좌표를 할당하며, 여기서 d는 순서 차원이다.
• 이 좌표를 사용하여 ℝ^d에 레이티스를 매핑하고, 성분별 순서를 통해 하위개념 관계를 보존한다.
• 가독성이 높은 2차원 선도를 생성하기 위해 ℝ^d에서 ℝ²로의 정교한 투영을 적용하며, 투영 방법은 향후 연구에서 상세히 기술된다.
• 가산적이지 않고 구조 중심인 접근 방식을 사용하여 균형 잡힌 레이아웃, 교차 최소화, 기울기 최적화를 통해 가독성을 우선시한다.

실험 결과

연구 질문

• RQ1 순서의 구조적 성질만을 사용하여 레이티스 도식화 도구가 전문가가 손으로 그린 다이어그램 수준의 시각적 품질을 달성할 수 있는가?
• RQ2 개념 레이티스의 순서 차원을 어떻게 효과적으로 활용하여 계층적 관계를 보존하는 좌표계를 생성할 수 있는가?
• RQ3 페로어스 관계를 최소 실현자 계산에 얼마나 효과적으로 활용할 수 있는가?
• RQ4 고차원 매핑에서 2차원으로의 투영이 원래 레이티스 구조의 가독성과 미학적 품질을 유지할 수 있는가?

주요 결과

• DimDraw는 3차원 S3 레이티스와 같이 복잡한 레이티스에 대해서도 손으로 그린 버전과 유사한 시각적 품질의 개념 레이티스 도표를 성공적으로 생성한다.
• 도구는 페로어스 차원을 사용하여 최소 실현자를 계산함으로써, 선형 확장 기반의 효율적이고 정확한 좌표 할당을 가능하게 한다.
• n개 원소에 대한 반대 명칭 척도의 경우 순서 차원은 n이며, DimDraw는 정확히 n차원 매핑을 생성한다.
• 결과적으로 생성된 2차원 투영도는 시각적 혼잡도를 최소화하고 계층적 구조를 유지하며, 수작업 기반 도식화 방법에 비해 원본의 정확도를 더 잘 유지한다.
• 이 방법은 개념 레이티스를 초월하여 순서 차원이 알려진 유한 부분순서집합이라면 어떤 경우에도 일반화 가능하다.
• conexp-clj에 통합되어 실용적 구현과 보다 넓은 형식적 개념 분석 분야에서의 지속적 개발을 나타낸다.