Protégé-OWL 3.3.1

edu.stanford.smi.protegex.owl.testing.style
Class PrimitiveSubclassesDisjointTest

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
      extended by edu.stanford.smi.protegex.owl.testing.style.PrimitiveSubclassesDisjointTest
All Implemented Interfaces:
AutoRepairableOWLTest, OWLTest, RDFSClassTest, RepairableOWLTest

public class PrimitiveSubclassesDisjointTest
extends AbstractOWLTest
implements RDFSClassTest, AutoRepairableOWLTest

Normalisation rule - all primitive siblings should be disjoint. This test reports at the superclass level (ie where prim subs aren't disjoint) to keep the number of results down. Fixing this uses OWLUtil.ensureSubclassesDisjoint() to add required disjoints in.

Author:
Nick Drummond, Medical Informatics Group, University of Manchester 06-Feb-2006

Field Summary
 
Fields inherited from class edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
SANITY_GROUP
 
Constructor Summary
PrimitiveSubclassesDisjointTest()
           
 
Method Summary
 String getDocumentation()
          Gets a documentation text that describes the test.
 String getGroup()
           
 String getName()
           
 boolean repair(OWLTestResult testResult)
          Attempts to repair the cause of a given OWLTestResult.
 List test(RDFSClass aClass)
          Performs a check of a given RDFSClass.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrimitiveSubclassesDisjointTest

public PrimitiveSubclassesDisjointTest()
Method Detail

getDocumentation

public String getDocumentation()
Description copied from interface: OWLTest
Gets a documentation text that describes the test. This could be HTML text.

Specified by:
getDocumentation in interface OWLTest
Overrides:
getDocumentation in class AbstractOWLTest
Returns:
the documentation

getGroup

public String getGroup()
Specified by:
getGroup in interface OWLTest
Overrides:
getGroup in class AbstractOWLTest

getName

public String getName()
Specified by:
getName in interface OWLTest
Overrides:
getName in class AbstractOWLTest

test

public List test(RDFSClass aClass)
Description copied from interface: RDFSClassTest
Performs a check of a given RDFSClass.

Specified by:
test in interface RDFSClassTest
Parameters:
aClass - the RDFSClass to check
Returns:
a list of OWLTestResult objects

repair

public boolean repair(OWLTestResult testResult)
Description copied from interface: RepairableOWLTest
Attempts to repair the cause of a given OWLTestResult.

Specified by:
repair in interface RepairableOWLTest
Parameters:
testResult - the OWLTestResult encapsulating the error
Returns:
true if the repair was successful

Protégé-OWL 3.3.1

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