WP4 : Hybrid Reasoning Soongsil Univ.
1. RDFS/OWL-Horst Reasoning
   
RDFS와 OWL-Horst 수준의 공리 추론을 위한 대용량 온톨로지 분산 추론 엔진
Rule Set
# Condition Conclusion
1<v subClassOf w> ∧ <w subClassOf x> <v subClassOf x>
2<p subPropertyOf q> ∧ <q subPropertyOf r> <p subPropertyOf r>
3<p domain x> ∧ <v p w> <v type x>
4<p range x> ∧ <v p w> <w type x>
5<v subClassOf w> ∧<u type v> <u type w>
6<p subPropertyOf q> ∧ <u p w> <u q w>
7<p type FunctionalProperty> ∧ <u p v> ∧ <u p w> <v sameAs w>
8<p type InverseFunctionProperty> ∧ <u p w> ∧ <v p w> <u sameAs v>
9<p type SymmetricProperty> <w p v>
10<p type TransitiveProperty> <u p w>
11<v sameAs w> <w sameAs v>
12<u sameAs v> ∧ <v sameAs w> <u sameAs w>
13<p inverseOf q> ∧ <v p w> <w q v>
14<u p v> ∧ <u sameAs u’> ∧ <v sameAs v’> <u’ p v’>
15<v equivalentClass w> <v subClassOf w>
16<v subClassOf w> ∧ <w subClassOf v> <v equivalentClass w>
17<p equivalentProperty q> <p subPropertyOf q>
18<p subPropertyOf q> ∧ <q subPropertyOf p> <p equivalentProperty q>
19<v hasValue w> ∧ <v onProperty p> ∧ <u p w> <u type v>
20<v hasValue w> ∧ <v onProperty p> ∧ <u type v> <u p w>
21<v someValuesFrom w> ∧ <v onProperty p> ∧ <u p x> ∧ <x type w> <u type v>
22<v allValuesFrom w> ∧ <v onProperty p> ∧ <u type v> ∧ <u p x> <x type w>
Example
 
Comparison Chart for Reasoning Time
Comparison Chart for Reasoning Throughput
 
2. SWRL Reasoning
   
경험적 지식 기반의 사용자 정의 규칙 추론을 위한 대용량 온톨로지 분산 추론 엔진
 
Rule Set
Example
 
Reasoning Time for Each Phase
# of Triggered Rules for Each Phase
 
3. Comparing Before and After Reasoning
   
전체 데이터의 0.04%를 추출하여, 지식 추론 적용 전과 후를 그래프로 표현
Before
After