Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.semanticweb.owl.normalform
Interface NormalFormRewriter

All Known Implementing Classes:
NegationalNormalFormConverter
public interface NormalFormRewriter

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Sep-2007

Method Summary
 OWLDescription convertToNormalForm(OWLDescription description)
           
 boolean isInNormalForm(OWLDescription description)
           
 

Method Detail

isInNormalForm

boolean isInNormalForm(OWLDescription description)

convertToNormalForm

OWLDescription convertToNormalForm(OWLDescription description)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD