de.fau.cs.www8.jadeowlcodec.tboxnormalisation
Class ReformulatableClassDescriptionsTest

java.lang.Object
  extended by de.fau.cs.www8.jadeowlcodec.tboxnormalisation.ReformulatableClassDescriptionsTest

public class ReformulatableClassDescriptionsTest
extends java.lang.Object


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

Constructor Detail

ReformulatableClassDescriptionsTest

public ReformulatableClassDescriptionsTest()
Method Detail

testWriteLatex

public void testWriteLatex()

main

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


Copyright 2007 Moritz Goeb, Bernhard Schiemann, Ulf Schreiber of Chair of Artificial Intelligence, University of Erlangen-Nuremberg