uk.ac.man.cs.img.owl.inference.firstorder
Classes
ConsistencyChecker
TPTPConverter