org.semanticweb.HermiT.examples
Class EntailmentChecking

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

public class EntailmentChecking
extends java.lang.Object


Constructor Summary
EntailmentChecking()
           
 
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

EntailmentChecking

public EntailmentChecking()
Method Detail

main

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