org.semanticweb.owl.normalform
Class NegationalNormalFormConverter

java.lang.Object
  org.semanticweb.owl.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

OWLDescription	convertToNormalForm(OWLDescription description)
boolean	isInNormalForm(OWLDescription description)
static void	main(java.lang.String[] args)

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(OWLDescription description)

Specified by:

isInNormalForm in interface NormalFormRewriter

convertToNormalForm

public OWLDescription convertToNormalForm(OWLDescription description)

Specified by:

convertToNormalForm in interface NormalFormRewriter

main

public static void main(java.lang.String[] args)