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 c)
Checks if is in normal form.
|
public NegationalNormalFormConverter(OWLDataFactory dataFactory)
dataFactory
- the factorypublic boolean isInNormalForm(OWLClassExpression c)
NormalFormRewriter
isInNormalForm
in interface NormalFormRewriter
c
- expression to checkpublic OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)
NormalFormRewriter
convertToNormalForm
in interface NormalFormRewriter
classExpression
- the expression to convertCopyright © 2020 The University of Manchester. All rights reserved.