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

Packages that use OWLTest
edu.stanford.smi.protegex.owl.inference.protegeowl.log   
edu.stanford.smi.protegex.owl.model.impl   
edu.stanford.smi.protegex.owl.testing   
edu.stanford.smi.protegex.owl.testing.constraints   
edu.stanford.smi.protegex.owl.testing.owldl   
edu.stanford.smi.protegex.owl.testing.sanity   
edu.stanford.smi.protegex.owl.testing.todo   
edu.stanford.smi.protegex.owl.ui.query   
edu.stanford.smi.protegex.owl.ui.testing   
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.inference.protegeowl.log
 

Methods in edu.stanford.smi.protegex.owl.inference.protegeowl.log that return OWLTest
 OWLTest WarningMessageTestResult.getOWLTest()
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.model.impl
 

Methods in edu.stanford.smi.protegex.owl.model.impl that return OWLTest
 OWLTest[] AbstractOWLModel.getOWLTests()
           
 

Methods in edu.stanford.smi.protegex.owl.model.impl with parameters of type OWLTest
 void AbstractOWLModel.addOWLTest(OWLTest test)
           
 void AbstractOWLModel.removeOWLTest(OWLTest test)
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.testing
 

Subinterfaces of OWLTest in edu.stanford.smi.protegex.owl.testing
 interface AutoRepairableOWLTest
          A RepairableOWLTest that can be executed efficiently enough to run permanently, i.e. after each change of a slot value.
 interface OWLDLTest
          A marker interface for OWLTests that check whether an ontology is OWL DL.
 interface OWLModelTest
          An interface for objects that can perform sanity checks on an ontology.
 interface RDFPropertyTest
           
 interface RDFResourceTest
           
 interface RDFSClassTest
           
 interface RepairableOWLTest
          An OWLTest that can be repaired (semi-) automatically.
 

Classes in edu.stanford.smi.protegex.owl.testing that implement OWLTest
 class AbstractOWLTest
          A base implementation of OWLTest.
 

Fields in edu.stanford.smi.protegex.owl.testing declared as OWLTest
private  OWLTest DefaultOWLTestResult.test
           
 

Methods in edu.stanford.smi.protegex.owl.testing that return OWLTest
private static OWLTest OWLTestLibrary.createOWLTest(Class clazz)
           
static OWLTest OWLTestLibrary.getOWLTest(Class clazz)
           
 OWLTest DefaultOWLTestResult.getOWLTest()
           
 OWLTest[] OWLTestManager.getOWLTests()
           
 OWLTest OWLTestResult.getOWLTest()
           
 

Methods in edu.stanford.smi.protegex.owl.testing with parameters of type OWLTest
 void OWLTestManager.addOWLTest(OWLTest test)
           
 void OWLTestManager.removeOWLTest(OWLTest test)
           
 

Constructors in edu.stanford.smi.protegex.owl.testing with parameters of type OWLTest
DefaultOWLTestResult(String message, RDFResource source, int type, OWLTest test)
           
DefaultOWLTestResult(String message, RDFResource source, int type, OWLTest test, Icon icon)
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.testing.constraints
 

Classes in edu.stanford.smi.protegex.owl.testing.constraints that implement OWLTest
 class FindSPARQLAssertsTest
           
 class SPARQLAssertTest
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.testing.owldl
 

Classes in edu.stanford.smi.protegex.owl.testing.owldl that implement OWLTest
 class NoCardiRestrictionOnTransitivePropertiesOWLDLTest
           
 class NoClassesOrPropertiesInEnumerationsOWLDLTest
           
 class NoImportOfSystemOntologiesOWLDLTest
           
 class NoMetaclassOWLDLTest
           
 class NoPropertiesWithClassAsRangeOWLDLTest
           
 class NoSubclassesOfRDFClassesOWLDLTest
           
 class NoSuperOrSubPropertiesOfAnnotationPropertiesTest
           
 class TransitivePropertiesCannotBeFunctionalOWLDLTest
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.testing.sanity
 

Classes in edu.stanford.smi.protegex.owl.testing.sanity that implement OWLTest
 class FacetConstraintsTest
           
 class InverseOfFunctionalMustBeInverseFunctionalTest
           
 class InverseOfInverseFunctionalMustBeFunctionalTest
           
 class InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest
           
 class InverseOfSymmetricPropertyMustBeSymmetricPropertyTest
           
 class InverseOfTopLevelPropertyMustBeTopLevelPropertyTest
           
 class InverseOfTransitivePropertyMustBeTransitivePropertyTest
           
 class InversePropertyMustHaveMatchingRangeAndDomainTest
           
 class PropertyDomainEmptyTest
           
 class PropertyDomainRedundancyTest
           
 class PropertyRangeRedundancyTest
           
 class SubpropertyDomainMustNarrowTest
           
 class SubpropertyRangeMustNarrowTest
           
 class SymmetricPropertyMustHaveEqualRangeAndDomainTest
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.testing.todo
 

Classes in edu.stanford.smi.protegex.owl.testing.todo that implement OWLTest
 class DeprecationOWLTest
           
 class TodoAnnotationOWLTest
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.ui.query
 

Methods in edu.stanford.smi.protegex.owl.ui.query that return OWLTest
protected  OWLTest[] FindAssertionsAction.getOWLTests()
           
 

Methods in edu.stanford.smi.protegex.owl.ui.query with parameters of type OWLTest
protected  List FindAssertionsAction.run(OWLTest[] tests, Task task)
           
 

Uses of OWLTest in edu.stanford.smi.protegex.owl.ui.testing
 

Methods in edu.stanford.smi.protegex.owl.ui.testing that return OWLTest
 OWLTest OWLTestSettingsTableModel.getOWLTest(Class clazz)
           
protected  OWLTest[] AbstractOWLTestAction.getOWLTests()
           
protected  OWLTest[] ShowTodoListAction.getOWLTests()
           
 

Methods in edu.stanford.smi.protegex.owl.ui.testing with parameters of type OWLTest
private  void AbstractOWLTestAction.performAction(OWLTest[] tests)
           
protected abstract  List AbstractOWLTestAction.run(OWLTest[] tests, Task task)
           
protected  List OWLTestInstanceAction.run(OWLTest[] tests, Task task)
           
protected  List OWLTestAction.run(OWLTest[] tests, Task task)
           
protected  List ShowTodoListAction.run(OWLTest[] tests, Task task)