org.semanticweb.owlapi.normalform

Interface NormalFormRewriter

All Known Implementing Classes:

NegationalNormalFormConverter

public interface NormalFormRewriter

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Modifier and Type	Method and Description
OWLClassExpression	convertToNormalForm(OWLClassExpression classExpression) Convert to normal form.
boolean	isInNormalForm(OWLClassExpression classExpression) Checks if is in normal form.

Method Detail

isInNormalForm

boolean isInNormalForm(OWLClassExpression classExpression)

Checks if is in normal form.

Parameters:

classExpression - expression to check

Returns:

true if classExpression is in normal form

convertToNormalForm

OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)

Convert to normal form.

Parameters:

classExpression - the expression to convert

Returns:

the converted expression