| Generated by NUnit2Report : 29/09/2005 - 15:38 Environment Information | Designed for use with NUnit and NAnt. |
| Name | Tests | Errors | Failures | Time(s) | ||
| PositiveEntailmentTest_ETC2 | 92.08 % | 93 | 0 | 8 | 698.194 | |
| Name | Status | Time(s) | |
| +AllDifferent_001 | Pass | 0.170 | |
| +allValuesFrom_001 | Pass | 0.150 | |
| +AnnotationProperty_002 | Pass | 0.130 | |
| +cardinality_001 | Pass | 0.140 | |
| -cardinality_002 | Test | Failure | 96.138 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.cardinality_002() | |||
| +cardinality_003 | Pass | 0.130 | |
| +cardinality_004 | Pass | 8.783 | |
| +cardinality_006 | Pass | 0.250 | |
| +Class_002 | Pass | 0.711 | |
| +Class_003 | Pass | 0.361 | |
| -Class_006 | Test | Failure | 99.333 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.Class_006() | |||
| +complementOf_001 | Pass | 0.130 | |
| +description_logic_201 | Pass | 14.641 | |
| +description_logic_202 | Pass | 5.117 | |
| +description_logic_203 | Pass | 0.561 | |
| +description_logic_204 | Pass | 1.612 | |
| +description_logic_205 | Pass | 0.120 | |
| +description_logic_206 | Pass | 90.460 | |
| +description_logic_207 | Pass | 0.050 | |
| +description_logic_208 | Pass | 52.746 | |
| +description_logic_661 | Pass | 2.844 | |
| +description_logic_662 | Pass | 3.535 | |
| +description_logic_663 | Pass | 0.391 | |
| +description_logic_664 | Pass | 1.432 | |
| +description_logic_665 | Pass | 0.100 | |
| +description_logic_667 | Pass | 0.050 | |
| -description_logic_901 | Test | Failure | 91.371 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.description_logic_901() | |||
| +description_logic_903 | Pass | 26.198 | |
| +differentFrom_001 | Pass | 0.120 | |
| +differentFrom_002 | Pass | 0.190 | |
| +disjointWith_001 | Pass | 0.140 | |
| +disjointWith_002 | Pass | 0.120 | |
| +distinctMembers_001 | Pass | 0.170 | |
| +equivalentClass_001 | Pass | 0.170 | |
| +equivalentClass_002 | Pass | 0.120 | |
| +equivalentClass_003 | Pass | 0.150 | |
| +equivalentClass_004 | Pass | 0.611 | |
| +equivalentClass_006 | Pass | 0.300 | |
| +equivalentClass_007 | Pass | 6.469 | |
| +equivalentProperty_001 | Pass | 0.120 | |
| +equivalentProperty_002 | Pass | 0.120 | |
| +equivalentProperty_003 | Pass | 0.120 | |
| +equivalentProperty_004 | Pass | 4.807 | |
| +equivalentProperty_005 | Pass | 3.054 | |
| +equivalentProperty_006 | Pass | 0.130 | |
| -extra_credit_002 | Test | Failure | 4.396 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_002() | |||
| -extra_credit_003 | Test | Failure | 4.456 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_003() | |||
| -extra_credit_004 | Test | Failure | 4.607 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_004() | |||
| +FunctionalProperty_001 | Pass | 0.130 | |
| +FunctionalProperty_002 | Pass | 0.140 | |
| +FunctionalProperty_003 | Pass | 0.120 | |
| +FunctionalProperty_004 | Pass | 0.140 | |
| +FunctionalProperty_005 | Pass | 0.731 | |
| +I4_5_001 | Pass | 0.280 | |
| +I4_6_003 | Pass | 0.120 | |
| +I5_1_001 | Pass | 0.130 | |
| +I5_2_002 | Pass | 0.831 | |
| +I5_2_004 | Pass | 0.220 | |
| +I5_2_006 | Pass | 0.611 | |
| +I5_21_002 | Pass | 3.295 | |
| +I5_24_001 | Pass | 0.140 | |
| +I5_24_002 | Pass | 0.180 | |
| -I5_24_003 | Test | Failure | 96.359 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.I5_24_003() | |||
| +I5_24_004 | Pass | 0.130 | |
| +I5_26_009 | Pass | 0.120 | |
| +I5_26_010 | Pass | 0.130 | |
| +I5_3_014 | Pass | 0.150 | |
| +I5_3_015 | Pass | 0.120 | |
| +I5_5_005 | Pass | 0.140 | |
| +I5_8_004 | Pass | 0.150 | |
| +I5_8_006 | Pass | 0.120 | |
| +I5_8_008 | Pass | 0.130 | |
| +I5_8_009 | Pass | 0.140 | |
| +I5_8_010 | Pass | 0.150 | |
| +I5_8_017 | Pass | 0.120 | |
| +intersectionOf_001 | Pass | 0.210 | |
| +InverseFunctionalProperty_001 | Pass | 0.130 | |
| +InverseFunctionalProperty_002 | Pass | 0.120 | |
| +InverseFunctionalProperty_003 | Pass | 0.130 | |
| +InverseFunctionalProperty_004 | Pass | 0.130 | |
| +inverseOf_001 | Pass | 0.130 | |
| -miscellaneous_010 | Test | Failure | 52.395 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.miscellaneous_010() | |||
| +miscellaneous_011 | Pass | 1.242 | |
| +oneOf_002 | Pass | 0.140 | |
| +oneOf_003 | Pass | 0.471 | |
| +oneOf_004 | Pass | 0.270 | |
| +Ontology_001 | Pass | 0.160 | |
| +Ontology_004 | Pass | 0.170 | |
| +Restriction_006 | Pass | 4.246 | |
| +sameAs_001 | Pass | 0.130 | |
| +someValuesFrom_001 | Pass | 0.150 | |
| +someValuesFrom_003 | Pass | 0.180 | |
| +SymmetricProperty_001 | Pass | 0.130 | |
| +SymmetricProperty_002 | Pass | 1.122 | |
| +SymmetricProperty_003 | Pass | 0.200 | |
| +TransitiveProperty_001 | Pass | 0.130 | |
| +TransitiveProperty_002 | Pass | 0.871 | |
| +unionOf_001 | Pass | 0.170 | |
| +unionOf_002 | Pass | 1.011 | |
| +unionOf_003 | Pass | 0.220 | |
| +unionOf_004 | Pass | 0.781 | |