| Class | Description |
|---|---|
| BlackBoxExplanationGeneratorFactory<E> |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 A factory that creates a black box explanation generator. |
| ConsistencyEntailmentChecker |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 25-Sep-2008 |
| ConsistencyEntailmentCheckerFactory |
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 01-May-2009 |
| DefaultBlackBoxConfiguration |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 A default black box configuration that uses an entailment checker that reduced entailment checking to satisfiability checking using an OWLReasoner. |
| InconsistentOntologyExplanationGeneratorFactory |
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 14-May-2009 |
| PatternBasedConsistencyEntailmentChecker |
Author: Matthew Horridge
Stanford University Bio-Medical Informatics Research Group Date: 14/08/2012 |
| PatternBasedConsistencyEntailmentCheckerFactory |
Author: Matthew Horridge
Stanford University Bio-Medical Informatics Research Group Date: 14/08/2012 |
| SatisfiabilityEntailmentChecker |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 |
| SatisfiabilityEntailmentCheckerFactory |
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 |
| Exception | Description |
|---|---|
| SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException |
Copyright © 2014. All rights reserved.