| +rdftests_rdfcore_datatypes_nonwellformedliteral1 | Test | Pass | 0.070 |
| +rdftests_rdfcore_datatypes_plainliteralandxsdstring | Test | Pass | 0.080 |
| +rdftests_rdfcore_datatypes_rangeclash | Test | Pass | 0.070 |
| +rdftests_rdfcore_datatypes_semanticequivalencebetweendatatypes | Test | Pass | 0.070 |
| +rdftests_rdfcore_datatypes_semanticequivalencewithintype1 | Test | Pass | 0.070 |
| +rdftests_rdfcore_datatypes_semanticequivalencewithintype2 | Test | Pass | 0.070 |
| +rdftests_rdfcore_datatypes_test008 | Test | Pass | 0.070 |
| +rdftests_rdfcore_datatypes_test010 | Test | Pass | 0.200 |
| +rdftests_rdfcore_datatypesintensional_xsdintegerstringincompatible | Test | Pass | 0.060 |
| +rdftests_rdfcore_pfps10_nonwellformedliteral1 | Test | Pass | 0.030 |
| +rdftests_rdfcore_rdfmsseqrepresentation_test002 | Test | Pass | 0.040 |
| +rdftests_rdfcore_rdfmsseqrepresentation_test003 | Test | Pass | 0.040 |
| +rdftests_rdfcore_rdfmsseqrepresentation_test004 | Test | Pass | 0.040 |
| +rdftests_rdfcore_rdfsentailment_test001 | Test | Pass | 4.406 |
| -rdftests_rdfcore_rdfsentailment_test002 | Test | Failure | 0.040 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile)
at Eulersharp.test.PositiveEntailmentTest_ETC1.rdftests_rdfcore_rdfsentailment_test002()
|
| +rdftests_rdfcore_rdfsnocyclesinsubClassOf_test001 | Test | Pass | 0.040 |
| +rdftests_rdfcore_rdfsnocyclesinsubPropertyOf_test001 | Test | Pass | 0.040 |
| +rdftests_rdfcore_rdfssubPropertyOfsemantics_test001 | Test | Pass | 0.030 |
| +rdftests_rdfcore_tex01_languagetagcase1 | Test | Pass | 0.050 |
| +rdftests_rdfcore_tex01_languagetagcase2 | Test | Pass | 0.040 |
| -rdftests_rdfcore_xmlsch02_whitespacefacet3 | Test | Failure | 3.535 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile)
at Eulersharp.test.PositiveEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet3()
|