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

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 24-Sep-2007

Constructor Summary

Constructors

Constructor and Description
NegationalNormalFormConverter(OWLDataFactory dataFactory)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NegationalNormalFormConverter

public NegationalNormalFormConverter(OWLDataFactory dataFactory)

Parameters:

dataFactory - the factory

Method Detail

isInNormalForm

public boolean isInNormalForm(OWLClassExpression classExpression)

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)

Specified by:

convertToNormalForm in interface NormalFormRewriter

Parameters:

classExpression - the expression to convert

Returns:

the converted expression