edu.stanford.smi.protegex.owl.testing.style
Class PrimitiveSubclassesDisjointTest
java.lang.Object
edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrimitiveSubclassesDisjointTest
public PrimitiveSubclassesDisjointTest()
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
Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.