|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.examples.HermiTDebugger
public class HermiTDebugger
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 |
---|
public HermiTDebugger()
Method Detail |
---|
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |