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(org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

NegationalNormalFormConverter

public NegationalNormalFormConverter(org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Parameters:

dataFactory - the factory

Method Detail

isInNormalForm

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

Specified by:

isInNormalForm in interface NormalFormRewriter

Parameters:

classExpression - expression to check

Returns:

true if classExpression is in normal form

convertToNormalForm

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

Specified by:

convertToNormalForm in interface NormalFormRewriter

Parameters:

classExpression - the expression to convert

Returns:

the converted expression