public class NegationalNormalFormConverter extends Object implements NormalFormRewriter
| Constructor and Description |
|---|
NegationalNormalFormConverter(OWLDataFactory dataFactory)
Instantiates a new negational normal form converter.
|
| Modifier and Type | Method and Description |
|---|---|
OWLClassExpression |
convertToNormalForm(OWLClassExpression classExpression)
Convert to normal form.
|
boolean |
isInNormalForm(OWLClassExpression classExpression)
Checks if is in normal form.
|
public NegationalNormalFormConverter(@Nonnull OWLDataFactory dataFactory)
dataFactory - the factorypublic boolean isInNormalForm(OWLClassExpression classExpression)
NormalFormRewriterisInNormalForm in interface NormalFormRewriterclassExpression - expression to checkpublic OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)
NormalFormRewriterconvertToNormalForm in interface NormalFormRewriterclassExpression - the expression to convertCopyright © 2015 The University of Manchester. All Rights Reserved.