[논문 리뷰] Modeling Computations in a Semantic Network

Marko A. Rodriguez, Johan Bollen|arXiv (Cornell University)|2007. 05. 31.

Semantic Web and Ontologies참고 문헌 11인용 수 7

한 줄 요약

이 논문은 RDF 그래프를 데이터 및 절차적 정보의 보편적 기초로 간주함으로써, 의미 웹과 같은 의미 네트워크 내에서 계산을 모델링하기 위한 형식적 프레임워크를 제안한다. 기존의 계산 모델을 분류하고, 의미 웹이 분산형 보편 계산 플랫폼으로서 기능할 수 있도록 하기 위한 핵심 기술적 요구사항—예를 들어 효율적인 트리플 스토어 색인, 표준화된 쓰기 프로토콜, 기록 출처 기반 메커니즘—을 규명한다.

ABSTRACT

Semantic network research has seen a resurgence from its early history in the cognitive sciences with the inception of the Semantic Web initiative. The Semantic Web effort has brought forth an array of technologies that support the encoding, storage, and querying of the semantic network data structure at the world stage. Currently, the popular conception of the Semantic Web is that of a data modeling medium where real and conceptual entities are related in semantically meaningful ways. However, new models have emerged that explicitly encode procedural information within the semantic network substrate. With these new technologies, the Semantic Web has evolved from a data modeling medium to a computational medium. This article provides a classification of existing computational modeling efforts and the requirements of supporting technologies that will aid in the further growth of this burgeoning domain.

연구 동기 및 목표

• 의미 웹을 서술적 데이터 모델링 수단에서 알고리즘과 가상 머신을 표현할 수 있는 계산 수단으로 재정의하기 위해.
• 의미 네트워크 내에서 계산 모델을 분류하고, 추상 기계 모델(ontological models)과 실행 가능한 프로그램(인스턴스화된 모델)을 구분하기 위해.
• 의미 웹이 대규모 분산 실행을 가능하게 하기 위한 핵심 기술적 요구사항—예를 들어 빠른 트리플 스토어 색인, 표준화된 쓰기 프로토콜, 신뢰 메커니즘—을 규명하기 위해.
• RDF 기반 기초 위에 데이터, 알고리즘, 기계 아키텍처를 통합하는 형식적 의미 계산 공간을 구축하기 위해.
• 성능, 확장성, 보안과 같은 열린 과제를 해결하여 의미 웹 기반의 보편적 분산 계산 플랫폼을 실현하기 위해.

제안 방법

• 방향성 있는 레이블이 부여된 그래프 $ G = (V, E \times \rho, \rho: E \to \Sigma) $ 로 의미 네트워크를 형식화하고, 기초 단위로 RDF 트리플 $ \langle s, p, o \rangle $ 에 중점을 두기 위해.
• 분산 계산을 위한 기록 출처, 신뢰, 액세스 제어를 지원하기 위해, 의미 네트워크의 트리플 모델을 이름이 부여된 그래프 $ \langle s, p, o, g \rangle $ 로 확장하기 위해.
• 추상 기계(온톨로지적 모델)와 그 실행 가능한 프로그램(인스턴스화된 모델)이 의미 네트워크 구조로 인코딩된 계산 모델을 정의하기 위해.
• 전체 의미 웹이 외부 기계가 그래프를 읽고 쓰는 방식으로 계산이 진행되는, 거대한 주소 공간 $ U \cup L $ 을 가진 단일 분산 컴퓨터로 간주될 수 있도록 제안하기 위해.
• 분산형 트리플 스토어 간의 확장성과 상호운용성을 향상시키기 위해 SPARQL/Update 및 Linked Data 표준을 통합하기 위해.
• 느린 읽기/쓰기 속도와 제한된 트리플 스토어 용량 등의 성능 저하 요인을 분석하고, 계산의 실현 가능성을 높이기 위해 최적화된 색인 알고리즘을 권장하기 위해.

실험 결과

연구 질문

• RQ1 알고리즘과 가상 머신 아키텍처와 같은 절차적 정보는 의미 웹과 같은 의미 네트워크 기초 위에 어떻게 형식적으로 인코딩될 수 있는가?
• RQ2 의미 네트워크 내에서 온톨로지적 절차적 모델(추상 기계)과 인스턴스화된 절차적 모델(실행 가능한 프로그램) 사이의 핵심 차이는 무엇인가?
• RQ3 의미 웹이 확장 가능하고 분산된 계산 플랫폼으로서 기능하기 위해 필요한 기술적 요구사항은 무엇인가?
• RQ4 공유 기초 위에서 계산을 위해 사용되는 분산형 글로벌 의미 네트워크에서 신뢰, 기록 출처, 액세스 제어는 어떻게 보장될 수 있는가?
• RQ5 현재 의미 웹을 보편적 계산 기초로 사용하는 데 있어 성능 및 아키텍처적 제약은 무엇인가?

주요 결과

• 의미 웹은 RDF, RDFS, OWL를 사용하여 계산 모델을 명시적으로 인코딩할 경우, 데이터 및 절차적 계산의 보편적 기초로 기능할 수 있다.
• 현재의 트리플 스토어 시스템은 효율적인 계산을 지원하기에 너무 느리고 규모가 제한되어 있으며, 읽기/쓰기 속도가 로컬 메모리보다 수 개의 주기 수준으로 떨어진다.
• 트리플 스토어 제공자 간에 표준화된 쓰기 프로토콜(예: SPARQL/Update)이 없어 의미 웹 내에서 프로그램 실행의 광범위한 도입을 저해한다.
• 이름이 부여된 그래프는 트리플 모델을 기록 출처 및 액세스 제어를 지원하도록 확장하여, 공유 기초 위에서의 안전한 계산에 필수적인 신뢰 메커니즘을 가능하게 한다.
• 개별 트리플 스토어의 용량 제한으로 인해 확장성이 제약을 받지만, Linked Data 표준의 도입이 이 문제를 완화시킬 수 있다.
• 성능, 표준화, 보안과 같은 해결되지 않은 과제들이 존재하므로, 의미 웹을 기반으로 한 보편적 분산 컴퓨터의 비전은 아직 이상적일 뿐이다.