uk.ac.manchester.owl.owlapi.tutorialowled2011

Class Debugger

java.lang.Object

uk.ac.manchester.owl.owlapi.tutorialowled2011.Debugger

public class Debugger
extends 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

Constructors

Constructor and Description
Debugger(OWLOntologyManager manager, OWLOntology ontology, OWLReasonerFactory reasonerFactory)

Method Summary

Methods

Modifier and Type	Method and Description
void	report(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,
        OWLReasonerFactory reasonerFactory)

Method Detail

report

public void report(PrintWriter writer)
            throws OWLException

Throws:

OWLException