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

All Superinterfaces:

OWLTest

All Known Implementing Classes:

DeprecationOWLTest, InverseOfFunctionalMustBeInverseFunctionalTest, InverseOfInverseFunctionalMustBeFunctionalTest, InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest, InverseOfSymmetricPropertyMustBeSymmetricPropertyTest, InverseOfTopLevelPropertyMustBeTopLevelPropertyTest, InverseOfTransitivePropertyMustBeTransitivePropertyTest, InversePropertyMustHaveMatchingRangeAndDomainTest, NoPropertiesWithClassAsRangeOWLDLTest, NoSuperOrSubPropertiesOfAnnotationPropertiesTest, PropertyDomainEmptyTest, PropertyDomainRedundancyTest, PropertyRangeRedundancyTest, SubpropertyDomainMustNarrowTest, SubpropertyRangeMustNarrowTest, SymmetricPropertyMustHaveEqualRangeAndDomainTest, TransitivePropertiesCannotBeFunctionalOWLDLTest

public interface RDFPropertyTest
extends OWLTest

Author:

Holger Knublauch

Method Summary

java.util.List

test(RDFProperty property) Performs a check of a given property.

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

getDocumentation, getGroup, getName

Method Detail

test

java.util.List test(RDFProperty property)

Performs a check of a given property.

Parameters:

property - the RDFProperty to check

Returns:

a list of OWLTestResult objects