uk.ac.manchester.owl.owlapi.tutorial
Class Debugger
java.lang.Object
uk.ac.manchester.owl.owlapi.tutorial.Debugger
public class Debugger
- extends java.lang.Object
This class demonstrates some aspects of the OWL API. It expects three
arguments:
- The URI of an ontology
- The URI of a reasoner
- A location to place the results.
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 Bechhofer
The University Of Manchester
Information Management Group
Date: 24-April-2007
Method Summary |
void |
report(java.io.PrintWriter writer)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Debugger
public Debugger(OWLOntologyManager manager,
OWLOntology ontology,
OWLSatisfiabilityChecker checker)
throws OWLException
- Throws:
OWLException
report
public void report(java.io.PrintWriter writer)
throws OWLException
- Throws:
OWLException