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