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. |