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.dl
Class FaCTConverter

    java.lang.Object
      |
      +--uk.ac.man.cs.img.owl.inference.dl.FaCTConverter

public class FaCTConverter
extends Object

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

Version:
  $Id: FaCTConverter.java,v 1.10 2003/10/10 16:14:59 bechhofers Exp $

Constructor Summary
`FaCTConverter()`

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

### FaCTConverter

    public FaCTConverter()

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