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