데이터베이스에서 귀납 논리 프로그래밍 Datalog에서 DL+log까지

** 제목: Inductive Logic Programming in Databases: from Datalog to DL+log 초록: 본 논문에서는 시맨틱 웹의 등장으로 데이터베이스 커뮤니티에 제기된, 온톨로지(및 그에 의해 전달되는 의미)가 전통적인 데이터베이스 문제 해결에 어떻게 기여할 수 있는가라는 문제를 다룬다. 특히, 온톨로지를 이용해 스키마를 기술한 데이터베이스를 대상으로 두 가지 데이터베이스 문제, (i) 뷰 정의와 (ii) 제약조건 정의를 조사한다. 이 두 문제는 모두 ILP(Inductive Logic Programming) 문제로 재구성될 수 있으며, 하이브리드 지식 표현 및 추론 시스템인 DL+log의 표현력과 연역적 능력으로부터 이점을 얻을 수 있다. 적용 시나리오는 예시를 통해 설명한다. 키워드: Inductive Logic Programming, Relational Databases, Ontologies, Description Logics, Hybrid Knowledge Representation and Reasoning Systems. ※ Theory and Practice of Logic Programming (TPLP) 게재 예정.