Package org.semanticweb.elk.reasoner.consistency

Class Summary
ConsistencyChecking A ReasonerComputation for checking consistency of the ontology.
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.