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.