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.

Since:

2.0.0

Author:

Sean Bechhofer, The University Of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
Debugger(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Method Summary

Modifier and Type	Method and Description
void	report(PrintWriter writer)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Debugger

public Debugger(@Nonnull
                org.semanticweb.owlapi.model.OWLOntologyManager manager,
                @Nonnull
                org.semanticweb.owlapi.model.OWLOntology ontology,
                @Nonnull
                org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)

Method Detail

report

public void report(@Nonnull
                   PrintWriter writer)
            throws org.semanticweb.owlapi.model.OWLException

Throws:

org.semanticweb.owlapi.model.OWLException