Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

WonderWeb