MSPASS: Subsumption Testing with SPASS.

Ullrich Hustadt Renate A. Schmidt Christoph Weidenbach

Published in: Description Logics (1999)

Keyphrases

description logics
np complete
genetic algorithm
training data
test cases
data sets
real world
artificial intelligence
information systems
test set
test data
theorem prover