Tableau Algorithm. Presentation Outline Description Logics Reasoning Tasks Structural Subsumption Tableau Algorithm Examples Q & A.
Tableau Algorithm