uk.ac.manchester.owl.owlapi.tutorial
Class Debugger

java.lang.Object
  extended by 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:

  1. The URI of an ontology
  2. The URI of a reasoner
  3. 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


Constructor Summary
Debugger(OWLOntologyManager manager, OWLOntology ontology, OWLSatisfiabilityChecker checker)
           
 
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
 

Constructor Detail

Debugger

public Debugger(OWLOntologyManager manager,
                OWLOntology ontology,
                OWLSatisfiabilityChecker checker)
         throws OWLException
Throws:
OWLException
Method Detail

report

public void report(java.io.PrintWriter writer)
            throws OWLException
Throws:
OWLException