uk.ac.man.cs.img.owl.inference.firstorder
Class TPTPConverter

java.lang.Object
  |
  +--uk.ac.man.cs.img.owl.inference.firstorder.TPTPConverter

public class TPTPConverter

extends Object

Given the URL of the manifest of an OWL Test, attempts to produce a TPTP file that can be used to verify the test.

Version:

$Id: TPTPConverter.java,v 1.3 2003/12/19 12:04:16 sean_bechhofer Exp $

Constructor Summary

TPTPConverter()

Method Summary

static void	convert(String uriString)
static OWLOntology	getOntology(String uriString)
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TPTPConverter

public TPTPConverter()

Method Detail

main

public static void main(String[] args)

convert

public static void convert(String uriString)
                    throws Exception

Exception

getOntology

public static OWLOntology getOntology(String uriString)
                               throws Exception

Exception