Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package uk.ac.man.cs.img.owl.io.tptp

Simple renderer that writes ontologies as TPTP.

See:
Description

Class Summary
AxiomRenderer | AxiomRenderer.java Created: Fri Feb 21 10:57:24 2003
Renderer |
RenderingVisitor | RenderingVisitor.java Created: Fri Feb 21 10:57:24 2003

Exception Summary

## Package uk.ac.man.cs.img.owl.io.tptp Description

Simple renderer that writes ontologies as TPTP.
© The University of Manchester, 2002.

## Package Specification

This package provides a simple implementation of a `Renderer` that renders an ontology in the TPTP format. This can then be used as the input to a first order reasoner (such as Vampire.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

WonderWeb