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

Methods

Modifier and Type	Method and Description
OWLClassExpression	convertToNormalForm(OWLClassExpression classExpression)
boolean	isInNormalForm(OWLClassExpression classExpression)

Method Detail

isInNormalForm

boolean isInNormalForm(OWLClassExpression classExpression)

Parameters:

classExpression - expression to check

Returns:

true if classExpression is in normal form

convertToNormalForm

OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)

Parameters:

classExpression - the expression to convert

Returns:

the converted expression