uk.ac.manchester.owl.owlapi.tutorial.examples
Class DebuggingExample

java.lang.Object
  extended by uk.ac.manchester.owl.owlapi.tutorial.examples.DebuggingExample

public class DebuggingExample
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. For each inconsistent class, the set of support for the inconsistency will be determined. A report will then be produced in the output file.

Author: Sean Bechhofer
The University Of Manchester
Information Management Group
Date: 24-April-2007


Constructor Summary
DebuggingExample()
           
 
Method Summary
static void main(java.lang.String[] args)
           
static void usage()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DebuggingExample

public DebuggingExample()
Method Detail

usage

public static void usage()

main

public static void main(java.lang.String[] args)