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

Method Detail

isInNormalForm

boolean isInNormalForm(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Parameters:

classExpression - expression to check

Returns:

true if classExpression is in normal form

convertToNormalForm

org.semanticweb.owlapi.model.OWLClassExpression convertToNormalForm(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Parameters:

classExpression - the expression to convert

Returns:

the converted expression