Protégé-OWL 3.3.1

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

All Superinterfaces:
OWLTest, RepairableOWLTest
All Known Implementing Classes:
InverseOfFunctionalMustBeInverseFunctionalTest, InverseOfInverseFunctionalMustBeFunctionalTest, InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest, InverseOfSymmetricPropertyMustBeSymmetricPropertyTest, InverseOfTopLevelPropertyMustBeTopLevelPropertyTest, MinCardiZeroTest, PrimitiveSubclassesDisjointTest, SubclassesRestrictionDuplicatesThatOfSuperTest

public interface AutoRepairableOWLTest
extends RepairableOWLTest

A RepairableOWLTest that can be executed efficiently enough to run permanently, i.e. after each change of a slot value.

Author:
Holger Knublauch

Method Summary
 
Methods inherited from interface edu.stanford.smi.protegex.owl.testing.RepairableOWLTest
repair
 
Methods inherited from interface edu.stanford.smi.protegex.owl.testing.OWLTest
getDocumentation, getGroup, getName
 


Protégé-OWL 3.3.1

Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.