public class NegationalNormalFormConverter extends Object implements NormalFormRewriter
Constructor and Description |
---|
NegationalNormalFormConverter(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
convertToNormalForm(OWLClassExpression classExpression) |
boolean |
isInNormalForm(OWLClassExpression classExpression) |
public NegationalNormalFormConverter(OWLDataFactory dataFactory)
dataFactory
- the factorypublic boolean isInNormalForm(OWLClassExpression classExpression)
isInNormalForm
in interface NormalFormRewriter
classExpression
- expression to checkpublic OWLClassExpression convertToNormalForm(OWLClassExpression classExpression)
convertToNormalForm
in interface NormalFormRewriter
classExpression
- the expression to convertCopyright © 2017 The University of Manchester. All Rights Reserved.