org.semanticweb.HermiT.examples
Class HermiTDebugger

java.lang.Object
  extended by org.semanticweb.HermiT.examples.HermiTDebugger

public class HermiTDebugger
extends java.lang.Object

This examples demonstrates how HermiT's debugger can be used to see models or reasons for a clash. Note that this uses mainly an internal interface for HermiT that we use occasionally for debugging purposes. It assumes some understanding of hypertablau, normalisation, and structural transformation and is not meant as a general user interface for HermiT. Nevertheless it might be useful to some users, which is why we give an example of its use. No further support can, however, be given for this HermiT interface.


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

Constructor Detail

HermiTDebugger

public HermiTDebugger()
Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception