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.owlapi.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
 OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)
           
 boolean isInNormalForm(OWLClassExpression classExpression)
           
 

Method Detail

isInNormalForm

boolean isInNormalForm(OWLClassExpression classExpression)

convertToNormalForm

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