PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$.

Jia Tao Giora Slutzki Vasant G. Honavar

Published in: J. Autom. Reason. (2012)

Keyphrases

description logics
significant improvement
learning algorithm
theoretical analysis
data structure
computational complexity
computational cost
data mining
data streams
evolutionary algorithm
np hard
computationally efficient
model checking
pspace complete
complexity bounds