|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| NormalFormRewriter | Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Sep-2007 |
| Class Summary | |
|---|---|
| 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. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||