edu.stanford.smi.protegex.owl.testing
Interface OWLDLTest

All Superinterfaces:

OWLTest

All Known Implementing Classes:

NoCardiRestrictionOnTransitivePropertiesOWLDLTest, NoClassesOrPropertiesInEnumerationsOWLDLTest, NoImportOfSystemOntologiesOWLDLTest, NoMetaclassOWLDLTest, NoPropertiesWithClassAsRangeOWLDLTest, NoSubclassesOfRDFClassesOWLDLTest, NoSuperOrSubPropertiesOfAnnotationPropertiesTest, TransitivePropertiesCannotBeFunctionalOWLDLTest

public interface OWLDLTest

extends OWLTest

A marker interface for OWLTests that check whether an ontology is OWL DL. These tests fail if an OWL Full construct is used.

Author:

Holger Knublauch

Field Summary

static String

GROUP

Methods inherited from interface edu.stanford.smi.protegex.owl.testing.OWLTest

getDocumentation, getGroup, getName

Field Detail

GROUP

public static final String GROUP

See Also:

Constant Field Values