public class Debugger
extends java.lang.Object
This class demonstrates some aspects of the OWL API. It expects three arguments:
When executed, the class will find all inconsistent classes in the ontology. For each inconsistent class, the debugger will be used to determine the set of support for the inconsistency. A report will then be written to the outpur file.
Author: Sean BechhoferConstructor and Description |
---|
Debugger(OWLOntologyManager manager,
OWLOntology ontology,
OWLReasonerFactory reasonerFactory) |
Modifier and Type | Method and Description |
---|---|
void |
report(java.io.PrintWriter writer) |
public Debugger(OWLOntologyManager manager, OWLOntology ontology, OWLReasonerFactory reasonerFactory)
public void report(java.io.PrintWriter writer) throws OWLException
OWLException