시맨틱 웹에서 수학적 추론을 구현할 수 있습니까?

Question

예 : 우리는 전제가 a < b과 b < c이며, Semanric 웹에서 a < c을 추론 할 수 있습니까?

Answer 1

추론을 통해 a, b 및 c을 OWL 클래스 (집합 이론의 집합과 동일)로 생각하면됩니다. 당신은 당신이 a 및 b를 검색 할 c의 (직접 및 간접) 서브 클래스를 쿼리한다면 a는 서브 클래스 (는 것을 보여주는, 지금

Class: a 
    SubClassOf: b 

Class: b 
    SubClassOf: c 

Class: c 

: 예를 들어

은 다음과 온톨로지는 전제를 나타냅니다 ⊂)은 명시 적 어설 션없이 c입니다.

a, b 및 c의 값을 기반으로 정보를 추론하려는 경우 시맨틱 웹 규칙 언어를 사용할 수도 있습니다. 당신은 swrlb:greaterThan 또는 swrlb:smallerThan을 볼 수 있습니다.