[논문 리뷰] OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming

Md Kamruzzaman Sarker, Adila Alfa Krisnadhi외 1명|arXiv (Cornell University)|2018. 08. 29.

Semantic Web and Ontologies참고 문헌 1인용 수 16

한 줄 요약

OWLAx는 온톨로지 엔지니어가 시각적으로 클래스 다이어그램을 설계하고, 이를 바탕으로 후보 OWL 축약을 자동으로 생성함으로써 축약화 과정에서의 수동 작업과 실수를 줄여주는 Protégé 플러그인입니다. 시각적 인터페이스를 통해 도메인/범위 제약, 존재적 및 기능적 제약, 상호배타성 축약을 체계적으로 유도할 수 있으며, 생성된 축약은 기존 온톨로지에 통합 가능한 맨체스터 구문으로 제공됩니다.

ABSTRACT

Once the conceptual overview, in terms of a somewhat informal class diagram, has been designed in the course of engineering an ontology, the process of adding many of the appropriate logical axioms is mostly a routine task. We provide a Protege plugin which supports this task, together with a visual user interface, based on established methods for ontology design pattern modeling.

연구 동기 및 목표

• 온톨로지 개발 과정에서 반복적인 OWL 축약을 수동으로 작성하는 데서 오는 번거로움과 실수 비율을 줄이기 위해.
• 도메인 전문가의 논의 과정에서 생성된 비공식적인 클래스 다이어그램에서 논리적 축약을 체계적으로 도출할 수 있도록 온톨로지 엔지니어를 지원하기 위해.
• Protégé 내에서 개념적 클래스 다이어그램을 생성하고 보완하기 위한 시각적이고 상호작용 가능한 인터페이스를 제공하기 위해.
• 기존 온톨로지에 생성된 후보 축약을 최소한의 수동 간섭으로 통합할 수 있도록 지원하기 위해.
• 시각적 다이어그램화와 자동 축약 생성을 통해 온톨로지 설계 패턴을 모델링할 수 있도록 지원하기 위해.

제안 방법

• 플러그인은 노드(클래스, 데이터형, 개체, 리터럴)와 간선(객체 속성, 데이터 속성, rdf:type, rdfs:subClassOf)을 사용하여 클래스 다이어그램을 그릴 수 있는 시각적 캔버스를 제공합니다.
• 비공식 온톨로지 설계에서 흔히 나타나는 모델링 패턴을 반영하기 위해 유효한 노드-간선-노드 구성의 제한된 집합을 강제 적용합니다.
• 다이어그램 내 각 관계에 대해 맨체스터 구문으로 후보 축약을 생성하며, 도메인 및 범위 제약, 존재적 및 기능적 제약, 클래스 상호배타성 등을 포함합니다.
• 생성된 축약은 사용자 선택을 위한 대화상자에 표시되며, '통합' 명령어를 통해 활성 온톨로지에 통합됩니다.
• 플러그인은 OWL API와 mxGraph를 사용하여 구현되었으며, XML 주석이 추가된 PNG로 다이어그램의 저장 및 재로드를 지원합니다.
• 사용자는 컨텍스트 메뉴나 설정을 통해 다이어그램 요소의 시각적 속성(색상, 크기, 폰트)을 사용자 정의할 수 있습니다.

실험 결과

연구 질문

• RQ1 시각적 모델링 기법을 활용하여 온톨로지 모듈의 축약화 과정을 어떻게 간소화할 수 있을까요?
• RQ2 전체 OWL 전문 지식이 없이도 비공식적인 시각적 클래스 다이어그램에서 어떤 유형의 후보 축약을 체계적으로 도출할 수 있을까요?
• RQ3 시각적 플러그인은 온톨로지 개발 과정에서 반복적인 OWL 축약을 생성할 때 오류와 노력의 정도를 어느 정도 줄일 수 있을까요?
• RQ4 시각적 표현을 통한 온톨로지 설계 패턴 모델링을 지원하는 데서 플러그인의 효과는 어떠할까요?
• RQ5 다이어그램 기반 축약 생성을 Protégé 환경에 통합할 때의 사용성과 실용적 영향은 어떠할까요?

주요 결과

• 플러그인은 도메인 및 범위 제약, 존재적 및 기능적 제약, 클래스 상호배타성과 같은 일반적인 OWL 구성요소에 대해 시각적 클래스 다이어그램에서 후보 축약을 성공적으로 생성합니다.
• 도메인 및 범위 제약의 스코프 없는 및 스코프 있는 변형을 모두 지원하여 전문가가 의도된 의미를 검증한 바탕으로 선택할 수 있도록 합니다.
• 기존 온톨로지의 축약을 후보 목록에 통합할 수 있도록 하여, 다이어그램 기반 축약 생성 과정에서 이전 작업을 유지합니다.
• 시각적 인터페이스를 통해 사용자가 노드 및 간선의 외관을 사용자 정의할 수 있어 모델링 세션 중 명확성과 사용성 향상에 기여합니다.
• 클래스 다이어그램을 작성하고 축약을 작성하기 위한 별도의 도구가 필요 없게 되어, 온톨로지 개발 워크플로우가 간소화됩니다.
• 플러그인은 확장 가능하며, 향후 모듈형 온톨로지 및 온톨로지 설계 패턴 지원을 위한 향상이 가능하도록 설계되어 있습니다.