edu.stanford.smi.protegex.owl.testing.sanity
Class SubpropertyDomainMustNarrowTest

java.lang.Object
  edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
      edu.stanford.smi.protegex.owl.testing.sanity.SubpropertyDomainMustNarrowTest

All Implemented Interfaces:

OWLTest, RDFPropertyTest

public class SubpropertyDomainMustNarrowTest

extends AbstractOWLTest

implements RDFPropertyTest

Author:

Holger Knublauch

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.testing.AbstractOWLTest

SANITY_GROUP

Constructor Summary

SubpropertyDomainMustNarrowTest()

Method Summary

static OWLObjectProperty	fails(OWLObjectProperty objectProperty)
private static boolean	isSubClasses(Collection superDomain, Collection subDomain)
List	test(RDFProperty property) Performs a check of a given property.

Methods inherited from class edu.stanford.smi.protegex.owl.testing.AbstractOWLTest

getDocumentation, getGroup, getName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getDocumentation, getGroup, getName

Constructor Detail

SubpropertyDomainMustNarrowTest

public SubpropertyDomainMustNarrowTest()

Method Detail

fails

public static OWLObjectProperty fails(OWLObjectProperty objectProperty)

isSubClasses

private static boolean isSubClasses(Collection superDomain,
                                    Collection subDomain)

test

public List test(RDFProperty property)

Description copied from interface: RDFPropertyTest

Performs a check of a given property.

Specified by:

test in interface RDFPropertyTest

Parameters:

property - the RDFProperty to check

Returns:

a list of OWLTestResult objects