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

All Known Subinterfaces:

AutoRepairableOWLTest, OWLDLTest, OWLModelTest, RDFPropertyTest, RDFResourceTest, RDFSClassTest, RepairableOWLTest

All Known Implementing Classes:

AbstractOWLTest, DeprecationOWLTest, FacetConstraintsTest, FindSPARQLAssertsTest, InverseOfFunctionalMustBeInverseFunctionalTest, InverseOfInverseFunctionalMustBeFunctionalTest, InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest, InverseOfSymmetricPropertyMustBeSymmetricPropertyTest, InverseOfTopLevelPropertyMustBeTopLevelPropertyTest, InverseOfTransitivePropertyMustBeTransitivePropertyTest, InversePropertyMustHaveMatchingRangeAndDomainTest, MinCardiZeroTest, NoCardiRestrictionOnTransitivePropertiesOWLDLTest, NoClassesOrPropertiesInEnumerationsOWLDLTest, NoImportOfSystemOntologiesOWLDLTest, NoMetaclassOWLDLTest, NoPropertiesWithClassAsRangeOWLDLTest, NoSubclassesOfRDFClassesOWLDLTest, NoSuperOrSubPropertiesOfAnnotationPropertiesTest, PrimitiveSubclassesDisjointTest, PropertyDomainEmptyTest, PropertyDomainRedundancyTest, PropertyRangeRedundancyTest, SingleAssertedSuperclassTest, SPARQLAssertTest, SubclassesRestrictionDuplicatesThatOfSuperTest, SubpropertyDomainMustNarrowTest, SubpropertyRangeMustNarrowTest, SymmetricPropertyMustHaveEqualRangeAndDomainTest, TodoAnnotationOWLTest, TransitivePropertiesCannotBeFunctionalOWLDLTest

public interface OWLTest

Author:

Holger Knublauch

Method Summary

String	getDocumentation() Gets a documentation text that describes the test.
String	getGroup()
String	getName()

Method Detail

getDocumentation

String getDocumentation()

Gets a documentation text that describes the test. This could be HTML text.

Returns:

the documentation

getGroup

String getGroup()

getName

String getName()