public interface NormalFormRewriter
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
convertToNormalForm(OWLClassExpression classExpression)
Convert to normal form.
|
boolean |
isInNormalForm(OWLClassExpression classExpression)
Checks if is in normal form.
|
boolean isInNormalForm(OWLClassExpression classExpression)
classExpression
- expression to checkOWLClassExpression convertToNormalForm(OWLClassExpression classExpression)
classExpression
- the expression to convertCopyright © 2020 The University of Manchester. All rights reserved.