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