Protégé-OWL 3.4

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

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

public class MinCardiZeroTest
extends AbstractOWLTest
implements RDFSClassTest, AutoRepairableOWLTest

Finds classes that have a minimum cardinality zero restriction. The fix removes this restriction and creates a defined subclass to model "optionality".

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
MinCardiZeroTest()
           
 
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

MinCardiZeroTest

public MinCardiZeroTest()
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.4

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