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.
Pro<strong>of</strong> theory Via Tableaux<br />
Adaptation <strong>of</strong> FOL tableaux algorithms.<br />
Problem: <strong>OWL</strong> is decidable, but FOL tableaux algorithms do not<br />
guarantee termination.<br />
Solution: blocking.<br />
50