| Interface | Description |
|---|---|
| NormalFormRewriter |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Sep-2007 |
| Class | Description |
|---|---|
| NegationalNormalFormConverter |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Sep-2007 |
| OWLObjectComplementOfExtractor |
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 13-Oct-2007 Extracts the parts of a class expression which are negated. |
Copyright © 2013 The University of Manchester. All Rights Reserved.