Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
DL Tableaux Termination Problem<br />
TBox: ∃R.><br />
ABox: >(a 1 )<br />
Is satisfiable:<br />
Model M contains elements a 1M ,a 2M ,...<br />
and R M (a iM ,a i+1M ) for all i ≥ 1.<br />
But naive tableau does not terminate!<br />
R R R<br />
a 1<br />
x y<br />
><br />
∃R.><br />
><br />
∃R.><br />
><br />
∃R.><br />
51