org.semanticweb.owlapi.normalform
Class NegationalNormalFormConverter

java.lang.Object
  org.semanticweb.owlapi.normalform.NegationalNormalFormConverter

All Implemented Interfaces:

NormalFormRewriter

public class NegationalNormalFormConverter
extends java.lang.Object
implements NormalFormRewriter

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

Constructor Summary

NegationalNormalFormConverter(OWLDataFactory dataFactory)

Method Summary

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)

Method Detail

isInNormalForm

public boolean isInNormalForm(OWLClassExpression classExpression)

Specified by:

isInNormalForm in interface NormalFormRewriter

convertToNormalForm

public OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)

Specified by:

convertToNormalForm in interface NormalFormRewriter