uk.ac.manchester.owl.owlapi.tutorial.examples
Class DebuggingExample
java.lang.Object
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:
- 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. 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
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 |
DebuggingExample
public DebuggingExample()
usage
public static void usage()
main
public static void main(java.lang.String[] args)