[논문 리뷰] Inference rules for RDF(S) and OWL in N3Logic

Dominik Tomaszuk|arXiv (Cornell University)|2016. 01. 11.

Semantic Web and Ontologies참고 문헌 8인용 수 5

한 줄 요약

이 논문은 Notation 3 Logic(N3Logic)를 사용하여 RDF(S) 및 OWL 추론 규칙을 형식화하여 RDF 그래프 상에서 추론적 추론을 가능하게 한다. 이를 통해 복잡한 구문을 생략함으로써 계산 오버헤드를 줄이고 효율적인 추론을 유지하면서도 의미론적 표현력을 유지하는 경량 OWL 프로파일인 OWL-P를 도입한다.

ABSTRACT

This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language constructs.

연구 동기 및 목표

• Semantic Web에서 일관되고 규칙 기반의 추론을 위해 Notation 3 Logic 내에서 RDF, RDFS, OWL 추론 규칙을 형식화하는 것.
• OWL의 높은 최악의 경우 복잡도 문제를 해결하기 위해 복잡한 언어 구문을 생략함으로써 처리 가능한 추론을 가능하게 하는 경량 프로파일인 OWL-P를 도입하는 것.
• 인간이 읽을 수 있고 논리적으로 강화된 규칙 문법을 통해 추론 기반 RDF 그래프 스토어에서 효율적이고 확장 가능한 추론을 가능하게 하는 것.
• 기존 추론 엔진인 FuXi와 cwm과의 호환성을 확보한 검증되고 상호 운용 가능한 규칙 프레임워크를 제공하는 것.

제안 방법

• 기반 형식론으로 Notation 3 Logic(N3Logic)를 사용하여, 논리 기호, 변수, 그리고 함의를 통해 RDF를 확장하여 규칙 기반 추론을 가능하게 한다.
• 조건-결론 쌍으로서 추론 규칙을 정의하며, 조건은 RDF 그래프 내 패턴이고 결론은 유도된 삼중항이다.
• RDF, RDFS, OWL 구성요소에 대한 문법적 및 의미론적 규칙을 적용하며, subPropertyOf, subClassOf, equivalentClass, disjointWith 등을 포함한다.
• 복잡한 구문(예: 역성질, 전이 체인)을 생략함으로써 소프트 추론을 가능하게 하는 최소한의 OWL 프로파일인 OWL-P를 도입한다.
• N3의 { } 수식 표기법과 => 함의를 사용하여 규칙 기반 문법으로 규칙을 인코딩하며, 전칭 및 존재적 변수를 모두 지원한다.
• 모든 추론 규칙이 FuXi 및 cwm과 같은 표준 추론 엔진에서 검증되어 정확성과 상호 운용성을 확인한다.

실험 결과

연구 질문

• RQ1 RDF(S) 및 OWL의 함의 관계는 Notation 3 Logic과 같은 논리 강화된 RDF 문법 내에서 어떻게 형식적으로 추론 규칙으로 인코딩될 수 있는가?
• RQ2 N3Logic를 사용하여 RDF 및 RDFS 그래프에 대해 정확하고 완전한 추론을 지원하기 위해 필요한 최소한의 규칙 집합은 무엇인가?
• RQ3 OWL의 높은 계산 복잡도 문제는 실용적인 지식 표현을 위한 필수 표현력을 유지하면서 어떻게 완화될 수 있는가?
• RQ4 소프트 추론을 지원하면서도 기존 규칙 기반 추론 엔진과 호환되는 경량 OWL 프로파일(OWL-P)을 정의할 수 있는가?
• RQ5 Notation 3 Logic은 인간이 읽을 수 있고 확장 가능하며 효율적인 규칙 기반 추론을 위한 Semantic Web 데이터에서 어떤 역할을 하는가?

주요 결과

• 논문은 Notation 3 Logic를 사용하여 RDF, RDFS, OWL에 대한 포괄적인 추론 규칙 집합을 성공적으로 형식화하여 RDF 그래프 상에서 추론적 추론을 가능하게 하였다.
• 모든 제안된 추론 규칙는 FuXi 및 cwm과 같은 기존 추론 엔진에서 검증되어 정확성과 상호 운용성을 확인하였다.
• OWL-P는 전이성 및 역성질과 같은 복잡한 구문을 생략함으로써 추론 복잡도를 감소시키는 경량 OWL 프로파일로 도입되었다.
• 형식화는 OWL-P를 통한 소프트 추론을 지원하여 대규모 RDF 그래프 스토어에서 효율적이고 확장 가능한 추론을 가능하게 하였다.
• N3Logic의 사용은 인간이 읽을 수 있고 확장 가능하며 논리적으로 타당한 규칙 기반 추론 프레임워크를 제공하며, 기존 Semantic Web 도구와 원활하게 통합된다.
• equivalentClass 및 equivalentProperty에 대한 규칙는 대칭성과 전이성을 유지하여 OWL 의미론을 처리 가능한 형태로 보존한다.