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


WonderWeb