An ExpTime Procedure for Description Logic mathcal{ALCQI} (Draft)
classification
💻 cs.LO
keywords
alcqiexptimemathcalprocedureaxiomsdecisiondescriptiondraft
read the original abstract
A worst-case ExpTime tableau-based decision procedure is outlined for the satisfiability problem in $\mathcal{ALCQI}$ w.r.t. general axioms.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.