Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods.

Thorsten Liebig Stephan Scheele Julian Lambertz

Published in: Description Logics (2007)

Keyphrases

significant improvement
database
real time
expert systems
np complete
benchmark datasets
cross validation
machine learning methods
qualitative and quantitative
neural network
artificial intelligence
computational cost
search methods
transitive closure