org.semanticweb.owlapi.normalform

Class NegationalNormalFormConverter

java.lang.Object

org.semanticweb.owlapi.normalform.NegationalNormalFormConverter

All Implemented Interfaces:

NormalFormRewriter

public class NegationalNormalFormConverter
extends Object
implements NormalFormRewriter

Since:

2.2.0

Author:

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

Constructor Summary

Constructors

Constructor and Description
NegationalNormalFormConverter(OWLDataFactory dataFactory) Instantiates a new negational normal form converter.

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NegationalNormalFormConverter

public NegationalNormalFormConverter(@Nonnull
                                     OWLDataFactory dataFactory)

Instantiates a new negational normal form converter.

Parameters:

dataFactory - the factory

Method Detail

isInNormalForm

public boolean isInNormalForm(OWLClassExpression classExpression)

Description copied from interface: NormalFormRewriter

Checks if is in normal form.

Specified by:

isInNormalForm in interface NormalFormRewriter

Parameters:

classExpression - expression to check

Returns:

true if classExpression is in normal form

convertToNormalForm

public OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)

Description copied from interface: NormalFormRewriter

Convert to normal form.

Specified by:

convertToNormalForm in interface NormalFormRewriter

Parameters:

classExpression - the expression to convert

Returns:

the converted expression