An ExpTime Procedure for Description Logic (Draft)
arXiv:cs/0703051
Abstract
A worst-case ExpTime tableau-based decision procedure is outlined for the satisfiability problem in w.r.t. general axioms.
This paper is submitted in 2007
arXiv:cs/0703051
A worst-case ExpTime tableau-based decision procedure is outlined for the satisfiability problem in w.r.t. general axioms.
This paper is submitted in 2007