Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package org.semanticweb.owl.validation

Classes concerned with validation of OWL ontologies.

See:
Description

Interface Summary
ConstructChecker |
OWLValidationConstants | Some useful constant values.
SpeciesValidator | Provides functionality for identifying the particular species that an ontology belongs to.
SpeciesValidatorReporter | This class provides functionality for reporting the progress of a species validator.

## Package org.semanticweb.owl.validation Description

Classes concerned with validation of OWL ontologies.
© The University of Manchester, 2002.

## Package Specification

This package contains some basic interface definitions for OWL species validators. A species validator takes an OWL ontology and determines the species of OWL that the ontology belongs in. For example, any ontology which treats classes as instances is an OWL Full ontology. As another example, any ontology that contains disjoint class axioms cannot be OWL Lite.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

WonderWeb