Interface | Description |
---|---|
NormalFormRewriter |
Class | Description |
---|---|
NegationalNormalFormConverter | |
OWLObjectComplementOfExtractor |
Extracts the parts of a class expression which are negated.
|
Copyright © 2020 The University of Manchester. All rights reserved.