SOR

Saltlux

STORM™ SOR 개요

SOR은 시맨틱(Semantic) 메타데이터 공급(Provision) 및 관리(Management)와 시맨틱 어플리케이션 구축을 위한 개발 프레임워크(Framework)입니다. 그러므로 다양한 분야에서 발생되는 컨텍스트(context)에 대해서 온톨로지 기반 스키마(Schema)와 인스턴스(Instance)를 통합 관리가 가능합니다.본 시스템은 대용량 (Triple)트리플 데이터의 저장 및 관리와 실시간으로 룰(Rule) 기반의 추론이 가능하며, 운영중인 레거시(Legacy) DBMS의 데이터들을 효과적이고 빠르게 트리플 데이터로 변환이동이 가능합니다. 또한 유연한 구조로 실시간 인덱싱(Incremental Indexing)이 가능하며 SPARQL, Prolog, F-logic의 쿼리언어를 지원합니다. 그리고 웹 기반의 시스템 기동, 시스템 모니터링, 로그관리, 작업 스케줄 관리 등을 통하여 운영의 편리성을 고려하였습니다. 시맨틱 기술을 이용한 어플리케이션 또는 시스템 구축에서 온톨로지 데이터의 생성부터 질의, 추론 그리고 운영까지 모든 프로세스를 포함하여 높은 안정성과 생산성의 효과를 보장합니다.


  [시맨틱 메타데이터 Provision 및 Management 와 시맨틱 어플리케이션 구축을 위한 개발 Framework]

STORM™ SOR의 특징

• 약 10억 개의 대용량 트리플 데이터 저장과 고속 처리
• 트리플 데이터 생성의 편리성 - RDMS, 비정형 문서, 웹 사이트 등 다종의 데이터와 온톨로지 스키마와 XML스크립트(Script) 작성을 통한 연결 (Instantiation)
• 배치 색인(Batch Indexing)과 원본 데이터의 변경 사항에 따른 동적 증분 색인(Incremental Indexing) 지원
• 유연하고 확장 가능한 아키텍처 – Allegro Graph, OntoBroker의 개별 및 통합 탑재 가능한 구조
• 다양한 쿼리 및 추론 – SPAQL, Prolog, RDFS++ Reasoning, F-logic(Rule Based Reasoning)
• 웹 기반의 시스템 운영 – 서버 관리, 모니터링, 로그관리, Task관리 

  [SOR 시스템 구성도]

STORM™ SOR의 기능
1) Search - Query & Reasoning

• 지식 저장소(RDF Triple)의 접속하여 질의와 추론을 통하여 질의에 대한 결과를 얻습니다. 시맨틱 웹 표준인 RDF 및 OWL-DL 수준에 기반한 매우 강력하고 효과적인 표현의 SPAQL, Prolog, F-Logic의 쿼리 언어와 추론 기능을 지원합니다.
• SPARQL Queries on Named Graphs
  W3C의 표준 RDF 쿼리 언어로써 SPAQL 구문을 완벽히 지원하며, 쿼리 옵티마이져(query optimizer)와 네임 그래프(named graph)가 가능합니다.
• RDFS++ Reasoning
  RDF/RDFS Predicates와 OWL-Lite(DL) Axioms 수준의 리즈닝(reasoning)을 합니다. RDF/RDFS에서 rdf:type, rdfs:subClassOf, rdfs:range, rdfs:domain, rdfs:subpropertyof 와 OWL의 owl:sameAs, owl:inverseOf, owl:TransitiveProperty을 지원합니다.
• Prolog
  규칙 기반으로써 RDFS++ 리즈닝에서 매우 복잡하고 어려운 모델에서의 복잡한 룰(complex rule)이나 수치 프로세싱(numerical processing)을 상위레벨 개념들로 만들어 정의된 도메인에서 강력하게 사용합니다.
• F-Logic
  객체지향 개념 기반의 온전한 지식 표현이 가능한 온톨로지 표현, 리즈닝 및 쿼리 언어입니다. object identity, complex objects, inheritance, polymorphism, query methods, encapsulation 등의 기능이 있으며, OWL-DLP기반으로 규칙기반의 추론을 지원합니다.
  

2) Instantiation Agent
인스턴티에이션 에이전트는 운영 중인 레거시(legacy) 시스템의 DB와 온톨로지 스키마(ontology schema)와의 맵핑(mapping) 설계를 통하여 트리플 인스턴스(triple instance)의 생성/추가/삭제 업무를 특정한 시간에 자동으로 수행하는 데몬 서버(daemon server)입니다.
DB 접속정보와 SQL 문, 스케줄 정보 그리고 모델링 된 온톨로지 스키마의 정보를 구조화된 XML 형태로 에이전트에 전송하면 이를 분석하여 해당하는 작업을 수행합니다.
각 작업들에 대한 스케줄 시기를 서비스나 시스템 환경에 맞게 설정할 수 있으며, 동작 주기를 지정하여 주기적으로 인스턴티에이션을 수행할 수 있습니다.

3) Control Panel based on Web
STORM™ SOR은 웹 기반 환경하에서 시스템을 운영 관리가 가능합니다. 크게 코어엔진(core engine) 관리, Task관리, 로그관리, 성능관리, 시스템환경 설정으로 구성되어 있습니다.

• 코어엔진 관리
  STORM™ SOR의 코어 엔진 격인 Allegro Graph는 트리플 저장소 및 SPAQL, Prolog 쿼리를 지원하고, OntoBroker는 F-Logic 기반으로 한 쿼리 및 추론을 지원합니다. 코어엔진 관리에서는 이 두 코어서버의 설정파일 및 작동을 제어하는 기능을 제공합니다.
  - STORM™ SOR 서버 설정 및 재기동/중지
  - Allegro Graph 서버 설정 및 시작, 중지, 재시작, 서버상태 정보
  - OntoBroker 서버 설정 및 시작, 중지, 재시작, 서버상태 정보
  - 인덱스 관리(Allegro Graph): 인덱스 생성, 수정, 삭제
• 작업(Task) 관리
  인스턴티에이션의 2가지 형태의 작업관리를 지원합니다. 첫 번째로 DB 연결을 통한 실시간 인스턴스 생성과 스케줄링에 의한 작업이 가능하며, 두 번째로 RDF, NTriple, F-Logic 파일들의 로딩하여 인스턴스 생성을 합니다. 이를
  - Instantiation: 배치 및 스케줄링에 의한 인스턴스 생성, 삭제
  - loading: Allegro Graph 지원 포맷 - NTriple, RDF
  OntoBroker 지원 포맷– RDF, F-logic
  파일포맷 지원, 멀티 파일 지원
  - 작업 수행 결과의 히스토리 관리
• 로그(Log) 관리
  각 서버와 작업에 대한 로그를 관리하고 조회합니다.
  - 조회 기간/로그 레벨 별 로그 조회
  - Allegro Graph, OntoBroker 로그
• 모니터링
  각 서버의 상태를 실시간으로 제공합니다.
  - 서버 상태 정보 - CPU, Memory, Process, 트리플 사이즈 및 용량
  - 인스턴티에이션 상태 정보 – 수집주기, CPU/Memory 사용량
• 시스템 환경설정
  사용자와 그룹을 생성/수정/삭제하며, 그룹별 정책을 관리합니다.
  - 그룹 및 사용자 관리
  - 정책 관리