HermiT JUnit Test Results

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
126900100.00%314.453
Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Packages

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.
NameTestsErrorsFailuresTime(s)Time StampHost
org.semanticweb.HermiT126900314.4532015-02-27T00:05:54clpc186.cs.ox.ac.uk

Package org.semanticweb.HermiT

NameTestsErrorsFailuresTime(s)Time StampHost
AllTests126900314.4532015-02-27T00:05:54clpc186.cs.ox.ac.uk
Back to top

TestCase AllTests

NameStatusTypeTime(s)
testEnumWithIntPlusFloatRestrictionSuccess1.081
testRationalConversionSuccess2.995
testNotXsdStringSuccess0.128
testdateTimeTimezonesSuccess0.018
testDatatypeDef5Success0.014
testNominalsAndDatatypesFromAlanSuccess0.014
testDifferentLexicalFormsSuccess0.014
testLiteralCustomDatatypeSuccess0.007
testINFSuccess0.017
testFreshEntitiesQuerySuccess0.018
testParsingErrorSuccess0.022
testStringAbbreviationSuccess0.031
testLangAbbreviationSuccess0.028
testDatatypesUnsat1Success0.028
testDatatypesUnsat2Success0.033
testDatatypesUnsat3Success0.031
testDatatypesUnsat4Success0.023
testDatatypesSatSuccess0.027
testMinInclusiveMaxInclusiveSuccess0.032
testDisjointDPsUnsatSuccess0.031
testDisjointDPsUnsatStringsSuccess0.028
testDisjointDPsSatIntegerSuccess0.033
testAllValuesFromInteger1Success0.033
testAllValuesFromInteger2Success0.027
testAllValuesFromMixed1Success0.034
testAllValuesFromMixed2Success0.032
testAllValuesFromDifferentTypes1Success0.031
testAllValuesFromDifferentTypes2Success0.032
testAllValuesFromDifferentTypes3Success0.026
testNegZero1IntegerSuccess0.034
testNegZero2IntegerSuccess0.026
testIntPlusDecimalSuccess0.031
testIntPlusDecimal2Success0.041
testDecimalsSuccess0.018
testDecimalPlusOWLrealSuccess0.016
testDecimalPlusIntegerSuccess0.017
testDifferentOneOfsSuccess0.017
testFloatZerosSuccess0.017
testFloatEnumInconsistentSuccess0.019
testRationals1Success0.016
testRationals2Success0.016
testRationals3Success0.020
testDateTime1Success0.020
testDateTime2Success0.025
testSelfInequalitySuccess0.040
testDatatypeDef1Success0.044
testDatatypeDef2Success0.042
testDatatypeDef3Success0.038
testDatatypeDef4Success0.038
testDatatypeDef6Success0.032
testDatatypeUnion1Success0.042
testDatatypeUnion2Success0.039
testDatatypeUnion3Success0.037
testDatatypeUnion4Success0.040
testDatatypeUnionIntersection1Success0.041
testDatatypeUnionIntersection2Success0.076
testDatatypeUnionIntersection3Success0.033
testDatatypeUnionIntersection4Success0.023
testNegativeDPAssertionsSuccess0.019
testIntegerRange1Success0.035
testIntegerRange2_1Success0.023
testIntegerRange2_2Success0.025
testIntegerRange2_3Success0.033
testIntegerRange2_4Success0.025
testDecimalNotInteger_1Success0.024
testDecimalNotInteger_2Success0.023
testDecimalNotInteger_3Success0.020
testRealNotDecimalSuccess0.016
testRealNotDecimal_2Success0.013
testMinInclusiveIntSuccess0.020
testMinInclusiveInt_2Success0.019
testMinExclusiveDecSuccess0.009
testMaxInclusiveIntSuccess0.020
testMaxInclusiveInt_2Success0.020
testMaxExclusiveDecSuccess0.008
testEnumInt_1Success0.020
testEnumInt_2Success0.017
testEnumInt_3Success0.015
testEnumInt_4Success0.018
testEnumInt_5Success0.019
testEnumIntNEQ_1Success0.008
testEnumIntNEQ_2Success0.017
testEnumIntNEQ_3Success0.009
testEnumIntNEQ_4Success0.009
testEnumIntNEQ_5Success0.009
testMinMaxEqual_1Success0.006
testMinMaxEqual_2Success0.007
testMinMaxEqual_3Success0.006
testMinMaxEqual_4Success0.006
testInvalidMinMaxSuccess0.013
testDecimalMinusInt_1Success0.007
testDecimalMinusInt_2Success0.007
testDecimalMinusInt_3Success0.008
testDecimalMinusInt_4Success0.008
testDecimalMinusIntNEQ_1Success0.009
testDecimalMinusIntNEQ_2Success0.009
testDecimalMinusIntNEQ_3Success0.009
testLargeRange1_1Success0.818
testLargeRange1_2Success0.893
testLargeRange1_3Success0.701
testLargeRange2_1Success0.097
testLargeRange2_2Success0.098
testLargeRange2_3Success0.102
testCliqueSuccess0.007
testInvalidStringLiteralsSuccess0.001
testLength_1Success0.007
testLength_2Success0.007
testLength_3Success0.007
testLength_4Success0.007
testLength_5Success0.007
testSize_1Success0.006
testSize_2Success0.008
testSize_3Success0.007
testIntersection_1Success0.007
testIntersection_2Success0.008
testExplicitSizeSuccess0.000
testEnumerateSuccess0.000
testPattern1_1Success0.009
testPattern1_2Success0.011
testPattern2_1Success0.012
testPattern2_2Success0.014
testPattern3Success0.009
testPatternAndLength1_1Success0.010
testPatternAndLength1_2Success0.011
testPatternAndLength1_3Success0.011
testPatternAndLength2Success0.004
testPatternAndLength3Success0.004
testPatternComplement1_1Success0.020
testPatternComplement1_2Success0.024
testPatternComplement1_3Success0.012
testComplement2Success0.005
testComplement3Success0.001
testComplement4Success0.010
testLangRange1Success0.004
testLangRange2Success0.005
testLength_1Success0.009
testLength_2Success0.009
testLength_3Success0.017
testLength_4Success0.024
testLength_5Success0.018
testSize_1Success0.008
testSize_2Success0.008
testSize_3Success0.008
testPattern1_1Success0.010
testPattern1_2Success0.012
testPattern2_1Success0.014
testPattern2_2Success0.015
testPattern3Success0.010
testPatternAndLength1_1Success0.010
testPatternAndLength1_2Success0.010
testPatternAndLength1_3Success0.011
testPatternAndLength2Success0.003
testPatternAndLength3Success0.003
testPatternComplement1_1Success0.343
testPatternComplement1_2Success0.211
testPatternComplement1_3Success0.056
testComplement2Success0.037
testComplement3Success0.040
testComplement4Success0.037
testInvalidAnyURILiteralsSuccess0.001
testIntersectionSuccess0.022
testINFSuccess0.007
testFloatRangeSuccess0.007
testFloatZeroRange_1Success0.008
testFloatZeroRange_2Success0.007
testFloatZeroRange_3Success0.007
testFloatRangeEnumSuccess0.007
testFloatNaN_1Success0.007
testFloatNaN_2Success0.006
testFloatNaN_3Success0.006
testNumberOfFloats_1Success0.006
testNumberOfFloats_2Success0.007
testNumberOfFloats_3Success0.012
testFloatAndDoubleSuccess0.006
testDoubleRangeSuccess0.006
testDoubleZeroRange_1Success0.009
testDoubleZeroRange_2Success0.007
testDoubleZeroRange_3Success0.007
testDoubleRangeEnumSuccess0.007
testDoubleNaN_1Success0.006
testDoubleNaN_2Success0.006
testDoubleNaN_3Success0.006
testNumberOfDoubles_1Success0.006
testNumberOfDoubles_2Success0.007
testNumberOfDoubles_3Success0.012
testParsingSuccess0.003
testExactIntervalsWithoutTZ1Success0.000
testExactIntervalsWithoutTZ2Success0.000
testExactIntervalsWithTZ1Success0.700
testExactIntervalsWithTZ2Success0.378
testExactIntervalsWithTZ3Success0.035
testFinite1_1Success0.008
testFinite1_2Success0.007
testFinite2_1Success0.008
testFinite2_2Success0.008
testInfinite_1Success0.143
testInfinite_2Success0.064
testMizedTZs_1Success0.006
testMizedTZs_2Success0.006
testMizedTZs_3Success0.065
testMemberSuccess0.007
testLength_1Success0.007
testLength_2Success0.006
testLength_3Success0.007
testLength_4Success0.007
testLength_5Success0.006
testSize_1Success0.006
testSize_2Success0.007
testSize_3Success0.007
testIntersection_1Success0.007
testIntersection_2Success0.007
testExplicitSizeSuccess0.000
testParsing_1Success0.005
testParsing_2Success0.005
testEnumerate1Success0.005
testEnumerate2Success0.002
testBase64ParsingSuccess0.001
testCanonicalization_1Success0.093
testCanonicalization_2Success0.007
testRange_1Success0.059
testRange_2Success0.006
testRange_3Success0.006
testMembership_1Success0.007
testMembership_2Success0.007
testDateTime2Success0.007
testEmptyChainSuccess0.030
testOnyDeclaredEntitiesInHierarchySuccess0.013
testIsEntailedSuccess0.015
testUniversalRolePartitionedABoxSuccess0.008
testIncrementalWithSameAsSuccess0.006
testClassificationWithValidatedBlockingErrorSuccess0.044
testIncrementalWithNegatedHasValueSuccess0.063
testIncrementalWithHasValueSuccess0.028
testIncrementalWithNegatedClassSuccess0.024
testIncrementalWithClassSuccess0.027
testIncrementalWithNegatedHasSelfSuccess0.022
testIncrementalWithHasSelfSuccess0.050
testIncrementalWithFreshNamesSuccess0.023
testInstanteManagerErrorSuccess0.040
testTopOPEquivalenceSuccess0.015
testReflexiveAndSameAsSuccess0.020
testFreshEntityEntailmentSuccess0.020
testUniversalRoleSubsumptionSuccess0.026
testPrecomputeDisjointClassesSuccess0.065
testKeys3Success0.086
testEquivalentClassInstancesSuccess0.008
testObjectPropertySubsumptionsNoNominalsSuccess0.028
testObjectPropertySubsumptionsNominalsSuccess0.020
testBottomObjectPropertyAssertionSuccess0.014
testDataPropertyEntailmentSuccess0.022
testPropertyInstanceRetrievalSuccess0.033
testClassificationSubClassBugSuccess0.380
testNegativeObjectPropertyAssertionWithNonSimpleSuccess0.010
testPropertyEnailmentFromAlanSuccess0.009
testSubPropertiesSuccess0.028
testUnknownClassHierarcyPositionSuccess0.006
testUnknownDatatypesSuccess0.006
testRoleChainsSuccess0.015
testRoleChainsWithTransitiveSymmetricSuccess0.012
testRoleSubsumptionWithChainsTransitiveSymmetricSuccess0.051
testRoleSubsumptionSuccess0.018
testIsFunctionalDataSuccess0.014
testIsFunctionalObjectSuccess0.015
testIsInverseFunctionalObjectSuccess0.007
testIsReflexiveObjectSuccess0.008
testIsIrreflexiveObjectSuccess0.008
testIsSymmetricObjectSuccess0.009
testIsAsymmetricObjectSuccess0.011
testIsTransitiveObjectSuccess0.010
testLearningBacktrackingSuccess0.067
testSameAsSuccess0.016
testObjectPropertyDomainsTimothyBugSuccess0.016
testDatatypeLiteralsSuccess0.044
testIndividualRetrievalBugSuccess0.005
testDirectSuccess0.029
testIndividualRetrievalSuccess0.018
testDataTypeRestrictionSuccess0.015
testAnonymousIndividualConstraintsSuccess0.011
testAnonymousIndividualConstraints2Success0.004
testAnonymousIndividualConstraints3Success0.004
testAnonymousIndividualConstraints4Success0.019
testTransitivitySuccess0.014
testSubAndSuperConceptsSuccess0.007
testSubAndSuperRolesSuccess0.010
testSubRolesChainSuccess0.007
testHasKeyEntailmentSuccess0.007
testHasKeyNonEntailmentSuccess0.007
testDatatypeDefEntailmentSuccess0.017
testDomainRangeSuccess0.009
testChains1Success0.007
testChains2Success0.006
testChains3Success0.007
testChains4Success0.006
testAnonymousIndiviuals1Success0.005
testDateTimeSuccess0.006
testDataRangesSuccess0.006
testBottomDataPropertySuccess0.005
testChainsSuccess0.006
testHasKeysOnlyNamedSuccess0.008
testNegativeDataPropertyAssertionSuccess0.005
testKeysSuccess0.006
testKeysNegatedClassSuccess0.006
testNonUnaryKeysSuccess0.007
testNonUnaryKeys2Success0.007
testHierarchyPrinting1Success0.216
testHierarchyPrinting2Success0.064
testHierarchyPrinting3Success0.011
testObjectPropertyHierarchySuccess0.015
testSemanticObjectPropertyClassificationSuccess0.008
testDataPropertyHierarchySuccess0.015
testDataPropertySemanticsSuccess0.006
testSemanticDataPropertyClassificationSuccess0.009
testComplexConceptInstanceRetrievalSuccess0.026
testWidmann1Success0.009
testWidmann2Success0.011
testWidmann3Success0.378
testReflexivitySuccess0.005
testNegPropertiesSuccess0.006
testIrreflexivitySuccess0.006
testRoleDisjointness_1Success0.007
testRoleDisjointness_2Success0.005
testRoleDisjointness2Success0.007
testExistsSelf1Success0.005
testExistsSelf2Success0.006
testAsymmetrySuccess0.005
testSatisfiability1Success0.004
testSatisfiability2Success0.005
testSatisfiability3Success0.005
testSatisfiability4Success0.005
testChangesSuccess0.012
testSubsumption1Success0.010
testSubsumption2Success0.005
testSubsumption3Success0.005
testHeinsohnTBox1Success0.008
testHeinsohnTBox2Success0.007
testHeinsohnTBox3cSuccess0.007
testHeinsohnTBox3cIrhSuccess0.007
testHeinsohnTBox3Success0.020
testHeinsohnTBox3ModifiedSuccess0.007
testHeinsohnTBox4aSuccess0.005
testHeinsohnTBox4bSuccess0.006
testHeinsohnTBox7Success0.006
testIanT1aSuccess0.008
testIanT1bSuccess0.008
testIanT1cSuccess0.008
testIanT2Success0.007
testIanT3Success0.102
testIanT4Success0.018
testIanT5Success0.009
testIanT6Success0.009
testIanT7aSuccess0.009
testIanT7bSuccess0.009
testIanT7cSuccess0.007
testIanT8aSuccess0.006
testIanT8Success0.006
testIanT9Success0.008
testIanT10Success0.012
testIanT11Success0.007
testIanT12Success0.017
testIanT13Success0.035
testIanFact1Success0.010
testIanFact2Success0.016
testIanFact3Success0.006
testIanFact4Success0.009
testIanBug1bSuccess0.024
testIanBug3Success0.039
testIanBug4Success0.023
testIanBug5Success0.008
testIanBug6Success0.028
testIanBug7Success0.073
testIanBug8Success0.007
testIanMergeTest1Success0.014
testIanMergeTest2Success0.014
testIanQNRTestSuccess0.008
testIanRecursiveDefinitionTest1Success0.008
testIanRecursiveDefinitionTest2Success0.010
testIanRecursiveDefinitionTest3Success0.011
testIanBackjumping1Success0.014
testIanBackjumping2Success0.015
testIanBackjumping3Success0.017
testNominals1Success0.006
testNominals2Success0.032
testNominals3Success0.007
testNominals4Success0.009
testNominals5Success0.020
testNominals6Success0.018
testDependencyDisjunctionMergingBugSuccess0.031
testNovelNominalsSuccess0.013
testKeys1Success0.017
testKeys2Success0.006
testNominalMergingSuccess0.012
testNIRuleBlockingWithUnravelingSuccess0.047
testPunningSuccess0.004
testPunning2Success0.004
testPunning3Success0.012
testInverses2Success0.012
testMissingCBugSuccess0.015
testInversesSuccess0.005
testAnonymousIndiviuals2Success0.014
testAnonymousIndiviuals3Success0.012
testSatisfiabilityWithRIAs1Success0.025
testSatisfiabilityWithRIAs2Success0.024
testSatisfiabilityWithRIAs3Success0.010
testSatisfiabilityWithRIAs4Success0.018
testSatisfiabilityWithRIAs5Success0.005
testSatisfiabilityWithRIAs6Success0.006
testSatisfiabilityWithRIAs7Success0.013
testSatisfiabilityWithRIAs8Success0.014
testSatisfiabilityWithRIAs9Success0.017
testSatisfiabilityWithRIAs10Success0.007
testSatisfiabilityWithRIAs11Success0.019
testSatisfiabilityWithRIAs11bSuccess0.017
testSatisfiabilityWithRIAs12Success0.018
testSatisfiabilityWithRIAs13Success0.008
testSatisfiabilityWithRIAs14Success0.020
testDateTime2Success0.020
testEmptyChainSuccess0.005
testOnyDeclaredEntitiesInHierarchySuccess0.007
testIsEntailedSuccess0.009
testUniversalRolePartitionedABoxSuccess0.007
testIncrementalWithSameAsSuccess0.005
testClassificationWithValidatedBlockingErrorSuccess0.013
testIncrementalWithNegatedHasValueSuccess0.016
testIncrementalWithHasValueSuccess0.013
testIncrementalWithNegatedClassSuccess0.011
testIncrementalWithClassSuccess0.012
testIncrementalWithNegatedHasSelfSuccess0.008
testIncrementalWithHasSelfSuccess0.025
testIncrementalWithFreshNamesSuccess0.009
testInstanteManagerErrorSuccess0.014
testTopOPEquivalenceSuccess0.007
testReflexiveAndSameAsSuccess0.008
testFreshEntityEntailmentSuccess0.007
testUniversalRoleSubsumptionSuccess0.009
testPrecomputeDisjointClassesSuccess0.024
testKeys3Success0.008
testEquivalentClassInstancesSuccess0.006
testObjectPropertySubsumptionsNoNominalsSuccess0.009
testObjectPropertySubsumptionsNominalsSuccess0.007
testBottomObjectPropertyAssertionSuccess0.006
testDataPropertyEntailmentSuccess0.065
testPropertyInstanceRetrievalSuccess0.020
testClassificationSubClassBugSuccess0.250
testNegativeObjectPropertyAssertionWithNonSimpleSuccess0.008
testPropertyEnailmentFromAlanSuccess0.008
testSubPropertiesSuccess0.020
testUnknownClassHierarcyPositionSuccess0.006
testUnknownDatatypesSuccess0.006
testRoleChainsSuccess0.016
testRoleChainsWithTransitiveSymmetricSuccess0.010
testRoleSubsumptionWithChainsTransitiveSymmetricSuccess0.022
testRoleSubsumptionSuccess0.008
testIsFunctionalDataSuccess0.006
testIsFunctionalObjectSuccess0.006
testIsInverseFunctionalObjectSuccess0.006
testIsReflexiveObjectSuccess0.007
testIsIrreflexiveObjectSuccess0.006
testIsSymmetricObjectSuccess0.008
testIsAsymmetricObjectSuccess0.009
testIsTransitiveObjectSuccess0.009
testLearningBacktrackingSuccess0.038
testSameAsSuccess0.005
testObjectPropertyDomainsTimothyBugSuccess0.006
testDatatypeLiteralsSuccess0.016
testIndividualRetrievalBugSuccess0.005
testDirectSuccess0.010
testIndividualRetrievalSuccess0.010
testDataTypeRestrictionSuccess0.007
testAnonymousIndividualConstraintsSuccess0.004
testAnonymousIndividualConstraints2Success0.003
testAnonymousIndividualConstraints3Success0.003
testAnonymousIndividualConstraints4Success0.004
testTransitivitySuccess0.007
testSubAndSuperConceptsSuccess0.007
testSubAndSuperRolesSuccess0.009
testSubRolesChainSuccess0.007
testHasKeyEntailmentSuccess0.006
testHasKeyNonEntailmentSuccess0.006
testDatatypeDefEntailmentSuccess0.016
testDomainRangeSuccess0.007
testChains1Success0.007
testChains2Success0.006
testChains3Success0.006
testChains4Success0.006
testAnonymousIndiviuals1Success0.005
testDateTimeSuccess0.006
testDataRangesSuccess0.005
testBottomDataPropertySuccess0.005
testChainsSuccess0.006
testHasKeysOnlyNamedSuccess0.007
testNegativeDataPropertyAssertionSuccess0.005
testKeysSuccess0.006
testKeysNegatedClassSuccess0.007
testNonUnaryKeysSuccess0.008
testNonUnaryKeys2Success0.008
testHierarchyPrinting1Success0.081
testHierarchyPrinting2Success0.033
testHierarchyPrinting3Success0.006
testObjectPropertyHierarchySuccess0.014
testSemanticObjectPropertyClassificationSuccess0.009
testDataPropertyHierarchySuccess0.017
testDataPropertySemanticsSuccess0.006
testSemanticDataPropertyClassificationSuccess0.009
testComplexConceptInstanceRetrievalSuccess0.029
testWidmann1Success0.012
testWidmann2Success0.009
testWidmann3Success0.296
testReflexivitySuccess0.006
testNegPropertiesSuccess0.006
testIrreflexivitySuccess0.005
testRoleDisjointness_1Success0.005
testRoleDisjointness_2Success0.005
testRoleDisjointness2Success0.006
testExistsSelf1Success0.005
testExistsSelf2Success0.005
testAsymmetrySuccess0.005
testSatisfiability1Success0.005
testSatisfiability2Success0.005
testSatisfiability3Success0.005
testSatisfiability4Success0.005
testChangesSuccess0.014
testSubsumption1Success0.006
testSubsumption2Success0.006
testSubsumption3Success0.006
testHeinsohnTBox1Success0.010
testHeinsohnTBox2Success0.067
testHeinsohnTBox3cSuccess0.013
testHeinsohnTBox3cIrhSuccess0.008
testHeinsohnTBox3Success0.034
testHeinsohnTBox3ModifiedSuccess0.011
testHeinsohnTBox4aSuccess0.006
testHeinsohnTBox4bSuccess0.007
testHeinsohnTBox7Success0.006
testIanT1aSuccess0.009
testIanT1bSuccess0.007
testIanT1cSuccess0.008
testIanT2Success0.007
testIanT3Success0.188
testIanT4Success0.017
testIanT5Success0.009
testIanT6Success0.010
testIanT7aSuccess0.008
testIanT7bSuccess0.009
testIanT7cSuccess0.007
testIanT8aSuccess0.006
testIanT8Success0.007
testIanT9Success0.009
testIanT10Success0.013
testIanT11Success0.007
testIanT12Success0.007
testIanT13Success0.018
testIanFact1Success0.006
testIanFact2Success0.005
testIanFact3Success0.007
testIanFact4Success0.009
testIanBug1bSuccess0.006
testIanBug3Success0.023
testIanBug4Success0.009
testIanBug5Success0.007
testIanBug6Success0.009
testIanBug7Success0.006
testIanBug8Success0.006
testIanMergeTest1Success0.014
testIanMergeTest2Success0.015
testIanQNRTestSuccess0.008
testIanRecursiveDefinitionTest1Success0.008
testIanRecursiveDefinitionTest2Success0.009
testIanRecursiveDefinitionTest3Success0.011
testIanBackjumping1Success0.014
testIanBackjumping2Success0.013
testIanBackjumping3Success0.018
testNominals1Success0.005
testNominals2Success0.008
testNominals3Success0.008
testNominals4Success0.009
testNominals5Success0.009
testNominals6Success0.009
testDependencyDisjunctionMergingBugSuccess0.013
testNovelNominalsSuccess0.006
testKeys1Success0.006
testKeys2Success0.007
testNominalMergingSuccess0.006
testNIRuleBlockingWithUnravelingSuccess0.042
testPunningSuccess0.005
testPunning2Success0.005
testPunning3Success0.005
testInverses2Success0.005
testMissingCBugSuccess0.008
testInversesSuccess0.006
testAnonymousIndiviuals2Success0.004
testAnonymousIndiviuals3Success0.004
testSatisfiabilityWithRIAs1Success0.009
testSatisfiabilityWithRIAs2Success0.008
testSatisfiabilityWithRIAs3Success0.009
testSatisfiabilityWithRIAs4Success0.006
testSatisfiabilityWithRIAs5Success0.006
testSatisfiabilityWithRIAs6Success0.005
testSatisfiabilityWithRIAs7Success0.006
testSatisfiabilityWithRIAs8Success0.006
testSatisfiabilityWithRIAs9Success0.006
testSatisfiabilityWithRIAs10Success0.007
testSatisfiabilityWithRIAs11Success0.006
testSatisfiabilityWithRIAs11bSuccess0.009
testSatisfiabilityWithRIAs12Success0.007
testSatisfiabilityWithRIAs13Success0.008
testSatisfiabilityWithRIAs14Success0.008
testWidmann2Success0.025
testIanT6Success0.009
testIanT9Success0.008
testDependencyDisjunctionMergingBugSuccess0.000
testExpansionSuccess0.006
testDateTime2Success0.007
testEmptyChainSuccess0.006
testOnyDeclaredEntitiesInHierarchySuccess0.008
testIsEntailedSuccess0.014
testUniversalRolePartitionedABoxSuccess0.007
testIncrementalWithSameAsSuccess0.004
testClassificationWithValidatedBlockingErrorSuccess0.015
testIncrementalWithNegatedHasValueSuccess0.017
testIncrementalWithHasValueSuccess0.014
testIncrementalWithNegatedClassSuccess0.011
testIncrementalWithClassSuccess0.013
testIncrementalWithNegatedHasSelfSuccess0.009
testIncrementalWithHasSelfSuccess0.135
testIncrementalWithFreshNamesSuccess0.009
testInstanteManagerErrorSuccess0.038
testTopOPEquivalenceSuccess0.007
testReflexiveAndSameAsSuccess0.020
testFreshEntityEntailmentSuccess0.014
testUniversalRoleSubsumptionSuccess0.024
testPrecomputeDisjointClassesSuccess0.054
testKeys3Success0.008
testEquivalentClassInstancesSuccess0.006
testObjectPropertySubsumptionsNoNominalsSuccess0.008
testObjectPropertySubsumptionsNominalsSuccess0.008
testBottomObjectPropertyAssertionSuccess0.005
testDataPropertyEntailmentSuccess0.010
testPropertyInstanceRetrievalSuccess0.015
testClassificationSubClassBugSuccess2.408
testNegativeObjectPropertyAssertionWithNonSimpleSuccess0.008
testPropertyEnailmentFromAlanSuccess0.023
testSubPropertiesSuccess0.020
testUnknownClassHierarcyPositionSuccess0.006
testUnknownDatatypesSuccess0.006
testRoleChainsSuccess0.016
testRoleChainsWithTransitiveSymmetricSuccess0.009
testRoleSubsumptionWithChainsTransitiveSymmetricSuccess0.031
testRoleSubsumptionSuccess0.008
testIsFunctionalDataSuccess0.005
testIsFunctionalObjectSuccess0.007
testIsInverseFunctionalObjectSuccess0.007
testIsReflexiveObjectSuccess0.007
testIsIrreflexiveObjectSuccess0.005
testIsSymmetricObjectSuccess0.008
testIsAsymmetricObjectSuccess0.009
testIsTransitiveObjectSuccess0.009
testLearningBacktrackingSuccess0.021
testSameAsSuccess0.005
testObjectPropertyDomainsTimothyBugSuccess0.007
testDatatypeLiteralsSuccess0.014
testIndividualRetrievalBugSuccess0.005
testDirectSuccess0.023
testIndividualRetrievalSuccess0.017
testDataTypeRestrictionSuccess0.017
testAnonymousIndividualConstraintsSuccess0.004
testAnonymousIndividualConstraints2Success0.003
testAnonymousIndividualConstraints3Success0.015
testAnonymousIndividualConstraints4Success0.004
testTransitivitySuccess0.018
testSubAndSuperConceptsSuccess0.011
testSubAndSuperRolesSuccess0.021
testSubRolesChainSuccess0.013
testHasKeyEntailmentSuccess0.012
testHasKeyNonEntailmentSuccess0.005
testDatatypeDefEntailmentSuccess0.025
testDomainRangeSuccess0.006
testChains1Success0.015
testChains2Success0.010
testChains3Success0.018
testChains4Success0.006
testAnonymousIndiviuals1Success0.018
testDateTimeSuccess0.006
testDataRangesSuccess0.005
testBottomDataPropertySuccess0.012
testChainsSuccess0.011
testHasKeysOnlyNamedSuccess0.006
testNegativeDataPropertyAssertionSuccess0.005
testKeysSuccess0.006
testKeysNegatedClassSuccess0.006
testNonUnaryKeysSuccess0.006
testNonUnaryKeys2Success0.007
testHierarchyPrinting1Success0.309
testHierarchyPrinting2Success0.029
testHierarchyPrinting3Success0.005
testObjectPropertyHierarchySuccess0.013
testSemanticObjectPropertyClassificationSuccess0.007
testDataPropertyHierarchySuccess0.013
testDataPropertySemanticsSuccess0.005
testSemanticDataPropertyClassificationSuccess0.009
testComplexConceptInstanceRetrievalSuccess0.086
testWidmann1Success0.008
testWidmann3Success0.219
testReflexivitySuccess0.005
testNegPropertiesSuccess0.006
testIrreflexivitySuccess0.004
testRoleDisjointness_1Success0.005
testRoleDisjointness_2Success0.005
testRoleDisjointness2Success0.005
testExistsSelf1Success0.004
testExistsSelf2Success0.005
testAsymmetrySuccess0.004
testSatisfiability1Success0.004
testSatisfiability2Success0.004
testSatisfiability3Success0.005
testSatisfiability4Success0.005
testChangesSuccess0.012
testSubsumption1Success0.005
testSubsumption2Success0.005
testSubsumption3Success0.005
testHeinsohnTBox1Success0.007
testHeinsohnTBox2Success0.007
testHeinsohnTBox3cSuccess0.007
testHeinsohnTBox3cIrhSuccess0.007
testHeinsohnTBox3Success0.018
testHeinsohnTBox3ModifiedSuccess0.007
testHeinsohnTBox4aSuccess0.006
testHeinsohnTBox4bSuccess0.006
testHeinsohnTBox7Success0.006
testIanT1aSuccess0.014
testIanT1bSuccess0.014
testIanT1cSuccess0.007
testIanT2Success0.018
testIanT3Success0.200
testIanT4Success0.026
testIanT5Success0.018
testIanT7aSuccess0.007
testIanT7bSuccess0.025
testIanT7cSuccess0.013
testIanT8aSuccess0.013
testIanT8Success0.005
testIanT10Success0.028
testIanT11Success0.006
testIanT12Success0.014
testIanT13Success0.038
testIanFact1Success0.006
testIanFact2Success0.012
testIanFact3Success0.014
testIanFact4Success0.016
testIanBug1bSuccess0.005
testIanBug3Success0.038
testIanBug4Success0.015
testIanBug5Success0.013
testIanBug6Success0.015
testIanBug7Success0.023
testIanBug8Success0.005
testIanMergeTest1Success0.019
testIanMergeTest2Success0.022
testIanQNRTestSuccess0.018
testIanRecursiveDefinitionTest1Success0.017
testIanRecursiveDefinitionTest2Success0.024
testIanRecursiveDefinitionTest3Success0.024
testIanBackjumping1Success0.017
testIanBackjumping2Success0.024
testIanBackjumping3Success0.025
testNominals1Success0.012
testNominals2Success0.041
testNominals3Success0.013
testNominals4Success0.015
testNominals5Success0.015
testNominals6Success0.021
testNovelNominalsSuccess0.005
testKeys1Success0.017
testKeys2Success0.006
testNominalMergingSuccess0.017
testNIRuleBlockingWithUnravelingSuccess0.027
testPunningSuccess0.011
testPunning2Success0.005
testPunning3Success0.012
testInverses2Success0.005
testMissingCBugSuccess0.019
testInversesSuccess0.005
testAnonymousIndiviuals2Success0.014
testAnonymousIndiviuals3Success0.009
testSatisfiabilityWithRIAs1Success0.015
testSatisfiabilityWithRIAs2Success0.014
testSatisfiabilityWithRIAs3Success0.023
testSatisfiabilityWithRIAs4Success0.005
testSatisfiabilityWithRIAs5Success0.013
testSatisfiabilityWithRIAs6Success0.012
testSatisfiabilityWithRIAs7Success0.005
testSatisfiabilityWithRIAs8Success0.016
testSatisfiabilityWithRIAs9Success0.013
testSatisfiabilityWithRIAs10Success0.013
testSatisfiabilityWithRIAs11Success0.013
testSatisfiabilityWithRIAs11bSuccess0.015
testSatisfiabilityWithRIAs12Success0.012
testSatisfiabilityWithRIAs13Success0.014
testSatisfiabilityWithRIAs14Success0.006
testConceptWithDatatypesSuccess0.007
testConceptWithDatatypes2Success0.005
testConceptWithNominalsSuccess0.006
testConceptWithNominals2Success0.006
testConceptWithNominals3Success0.005
testConceptWithNominals4Success0.005
testConceptWithNominals5Success0.006
testJustificationsSuccess0.006
testIntegerEntailmentSuccess0.008
testHasKeySuccess0.008
testBlankNodes1Success0.008
testInvalidBlankNodesSuccess0.010
testValidBlankNodesWithNominalsSuccess0.009
testValidBlankNodesInPremiseSuccess0.007
testValidBlankNodesSuccess0.007
testBlankWithDTsSuccess0.007
testBlankWithDTs2Success0.007
testBlankWithDTs3Success0.007
testInverseAndChainSuccess0.007
testRIARegularity0Success0.005
testRIARegularity1Success0.004
testRIARegularity2Success0.003
testRIARegularity3Success0.003
testRIARegularity4Success0.004
testRIARegularity5Success0.004
testRIARegularity6Success0.003
testRIARegularity7Success0.004
testRIARegularity8Success0.005
testRIARegularity9Success0.003
testSimpleRoles1Success0.004
testSimpleRoles2Success0.003
testSimpleRoles3Success0.004
testSimpleRoles4Success0.006
testSameAsSuccess0.025
testSameAsInBody1Success0.014
testSameAsInBody2Success0.012
testSameAsInBodyWithDataPropertiesSuccess0.015
testDataPropertiesInBodySuccess0.012
testIndividualsInRulesSuccess0.006
testRuleNonSimpleSuccess0.101
testRuleNotAxiomSuccess0.009
testSimpleRule2Success0.006
testSimpleRuleSuccess0.005
testRuleWithConstantsSuccess0.006
testRuleWithConstants2Success0.006
testRuleWithDatatypesSuccess0.007
testRuleWithDatatypes2Success0.009
testRuleWithFreshIndividualsSuccess0.005
testAddingFactsByRulesSuccess0.007
testLloydToporSuccess0.006
testDataRangeSafetySuccess0.003
testSeveralVarsSuccess0.012
testPositiveBodyDataRangeSuccess0.007
testNegativeBodyDataRangeSuccess0.006
testNegDRInHeadSuccess0.005
testDifferentFromSuccess0.005
testDiffrentFrom2Success0.006
testgetInverseObjectPropertyExpressionsSuccess0.008
testBottomObjectPropertySubsSuccess0.006
testTopObjectPropertySupersSuccess0.006
testIncrementalAdditionSuccess0.013
testIncrementalAddition2Success0.007
testGetDataPropertyValuesSuccess0.008
testEquivalenceClassesSuccess0.007
testNonEquivalenceClassesSuccess0.007
testBasicSuccess0.020
testEqualitySuccess0.019
testQueryWithIndividualsAndEqualitySuccess0.005
testQueryWithIndividualsSuccess0.019
testIndex1Success0.001
testIndex2Success1.416
testIndexSuccess0.001
testLotsOfDataSuccess0.160
testEvaluatorSuccess0.001
testDependencySet1Success0.000
testDependencySet2Success0.000
testDependencySet3Success0.001
testNIRuleDeterministicSuccess0.002
testNondeterministicEqualitySuccess0.001
testNIPrunesOneNodeSuccess0.001
testNIDoesNotPruneSuccess0.002
testRepeatedNIApplicationsSuccess0.001
testContentingNIsSuccess0.001
testNIAndPruningSuccess0.002
testDeterministicRuleApplicationSuccess0.001
testDisjunctionDerivationSuccess0.002
testDisjunctionsInTreePartSuccess0.002
testMergeAndBacktrackSuccess0.001
testGraphMergingSuccess0.021
testGraph1Success0.013
testGraph1Success0.018
testContradictionOnGraphSuccess0.015
testGraph2Success0.014
WebOnt-description-logic-033-inconsistencySuccess0.029
WebOnt-description-logic-643-inconsistencySuccess0.014
WebOnt-description-logic-040-inconsistencySuccess0.039
New-Feature-Keys-004-consistencySuccess0.006
New-Feature-Keys-004-nonentailmentSuccess0.012
New-Feature-SelfRestriction-002-consistencySuccess0.004
New-Feature-SelfRestriction-002-entailmentSuccess0.008
FS2RDF-different-individuals-2-ar-consistencySuccess0.005
WebOnt-description-logic-634-consistencySuccess0.009
New-Feature-ObjectPropertyChain-BJP-002-consistencySuccess0.005
New-Feature-ObjectPropertyChain-BJP-002-entailmentSuccess0.010
one=two-inconsistencySuccess0.608
WebOnt-equivalentClass-006-consistencySuccess0.011
WebOnt-equivalentClass-006-entailmentSuccess0.015
WebOnt-disjointWith-009-consistencySuccess0.013
WebOnt-I5.2-005-consistencySuccess0.014
WebOnt-description-logic-003-inconsistencySuccess0.014
WebOnt-description-logic-109-inconsistencySuccess0.014
WebOnt-description-logic-602-inconsistencySuccess0.013
string-integer-clash-inconsistencySuccess0.014
WebOnt-description-logic-626-inconsistencySuccess0.019
WebOnt-description-logic-001-inconsistencySuccess0.015
WebOnt-I5.8-011-consistencySuccess0.011
WebOnt-I5.8-011-entailmentSuccess0.012
WebOnt-allValuesFrom-001-consistencySuccess0.013
WebOnt-allValuesFrom-001-entailmentSuccess0.017
WebOnt-description-logic-027-inconsistencySuccess0.017
WebOnt-miscellaneous-103-consistencySuccess0.013
WebOnt-description-logic-611-inconsistencySuccess0.015
WebOnt-miscellaneous-204-inconsistencySuccess0.013
WebOnt-description-logic-615-inconsistencySuccess0.023
FS2RDF-same-individual-2-ar-consistencySuccess0.012
New-Feature-Keys-006-inconsistencySuccess0.014
WebOnt-Class-005-direct-consistencySuccess0.013
WebOnt-Class-005-direct-entailmentSuccess0.014
WebOnt-description-logic-022-inconsistencySuccess0.235
New-Feature-Keys-002-inconsistencySuccess0.016
WebOnt-description-logic-013-inconsistencySuccess0.014
Consistent Datatype restrictions with Different Types-consistencySuccess0.021
WebOnt-description-logic-105-inconsistencySuccess0.012
WebOnt-I5.8-009-consistencySuccess0.011
WebOnt-I5.8-009-entailmentSuccess0.014
WebOnt-equivalentClass-004-consistencySuccess0.013
WebOnt-equivalentClass-004-entailmentSuccess0.017
WebOnt-description-logic-902-consistencySuccess0.012
WebOnt-description-logic-902-nonentailmentSuccess0.025
WebOnt-description-logic-605-consistencySuccess0.017
WebOnt-unionOf-003-consistencySuccess0.013
WebOnt-unionOf-003-entailmentSuccess0.015
WebOnt-description-logic-107-inconsistencySuccess0.023
WebOnt-I4.5-001-consistencySuccess0.013
WebOnt-I4.5-001-entailmentSuccess0.016
WebOnt-AnnotationProperty-003-consistencySuccess0.011
WebOnt-Thing-004-consistencySuccess0.011
inconsistent_datatypes-inconsistencySuccess0.013
WebOnt-disjointWith-004-consistencySuccess0.012
Consistent owl:real range with DataOneOf-consistencySuccess0.014
New-Feature-AxiomAnnotations-001-consistencySuccess0.013
WebOnt-Nothing-001-inconsistencySuccess0.012
WebOnt-description-logic-020-consistencySuccess0.050
WebOnt-I5.26-004-consistencySuccess0.015
WebOnt-I5.2-006-consistencySuccess0.014
WebOnt-I5.2-006-entailmentSuccess0.026
Consistent-dateTime-consistencySuccess0.014
owl2-rl-rules-fp-differentFrom-consistencySuccess0.012
owl2-rl-rules-fp-differentFrom-entailmentSuccess0.016
Qualified-cardinality-restricted-int-consistencySuccess0.107
Qualified-cardinality-restricted-int-entailmentSuccess0.030
WebOnt-description-logic-503-consistencySuccess0.052
WebOnt-equivalentClass-009-consistencySuccess0.013
functionality-clash-inconsistencySuccess0.013
WebOnt-description-logic-502-inconsistencySuccess0.578
WebOnt-description-logic-209-consistencySuccess2.662
WebOnt-description-logic-209-nonentailmentSuccess2.822
WebOnt-description-logic-631-consistencySuccess0.014
WebOnt-I5.26-009-consistencySuccess0.003
WebOnt-I5.26-009-entailmentSuccess0.005
WebOnt-I4.6-004-consistencySuccess0.004
WebOnt-I4.6-004-nonentailmentSuccess0.005
WebOnt-description-logic-642-inconsistencySuccess0.007
New-Feature-NegativeDataPropertyAssertion-001-inconsistencySuccess0.005
New-Feature-DisjointDataProperties-001-inconsistencySuccess0.005
WebOnt-description-logic-624-consistencySuccess0.008
consistent-integer-filler-consistencySuccess0.006
WebOnt-miscellaneous-302-Direct-consistencySuccess0.004
WebOnt-miscellaneous-302-Direct-entailmentSuccess0.005
WebOnt-I5.21-002-consistencySuccess0.007
WebOnt-I5.21-002-entailmentSuccess0.036
New-Feature-ObjectQCR-002-consistencySuccess0.006
New-Feature-ObjectQCR-002-entailmentSuccess0.008
New-Feature-DataQCR-001-consistencySuccess0.004
New-Feature-DataQCR-001-entailmentSuccess0.009
New-Feature-Keys-001-consistencySuccess0.005
New-Feature-Keys-001-entailmentSuccess0.009
WebOnt-description-logic-207-consistencySuccess0.006
WebOnt-description-logic-207-entailmentSuccess0.008
WebOnt-cardinality-002-consistencySuccess0.004
WebOnt-cardinality-002-entailmentSuccess0.006
WebOnt-description-logic-612-inconsistencySuccess0.006
WebOnt-description-logic-024-consistencySuccess0.008
WebOnt-Restriction-001-inconsistencySuccess0.003
New-Feature-ObjectPropertyChain-BJP-003-consistencySuccess0.004
New-Feature-ObjectPropertyChain-BJP-003-entailmentSuccess0.005
Qualified-cardinality-boolean-consistencySuccess0.006
Qualified-cardinality-boolean-entailmentSuccess0.010
WebOnt-someValuesFrom-003-consistencySuccess0.004
WebOnt-someValuesFrom-003-entailmentSuccess0.007
WebOnt-oneOf-001-consistencySuccess0.004
WebOnt-I5.3-011-consistencySuccess0.003
WebOnt-description-logic-623-inconsistencySuccess0.010
WebOnt-description-logic-008-inconsistencySuccess0.006
New-Feature-AnnotationAnnotations-001-consistencySuccess0.005
WebOnt-I5.2-001-consistencySuccess0.004
WebOnt-I4.5-002-inconsistencySuccess0.005
New-Feature-DisjointObjectProperties-002-consistencySuccess0.005
New-Feature-DisjointObjectProperties-002-entailmentSuccess0.011
Contradicting datatype Restrictions-inconsistencySuccess0.006
WebOnt-description-logic-012-inconsistencySuccess0.005
WebOnt-description-logic-104-inconsistencySuccess0.005
New-Feature-Rational-002-inconsistencySuccess0.005
WebOnt-description-logic-017-inconsistencySuccess0.005
WebOnt-description-logic-661-consistencySuccess0.077
WebOnt-description-logic-661-entailmentSuccess0.100
Datatype-DataComplementOf-001-consistencySuccess0.014
WebOnt-description-logic-031-consistencySuccess0.030
WebOnt-I5.26-010-consistencySuccess0.014
WebOnt-I5.26-010-entailmentSuccess0.014
WebOnt-description-logic-004-inconsistencySuccess0.169
WebOnt-equivalentProperty-002-consistencySuccess0.004
WebOnt-equivalentProperty-002-entailmentSuccess0.006
WebOnt-description-logic-111-inconsistencySuccess0.005
WebOnt-description-logic-035-inconsistencySuccess0.007
WebOnt-description-logic-608-inconsistencySuccess0.011
WebOnt-equivalentClass-001-consistencySuccess0.004
WebOnt-equivalentClass-001-entailmentSuccess0.006
WebOnt-I5.8-006-consistencySuccess0.004
WebOnt-I5.8-006-entailmentSuccess0.006
WebOnt-disjointWith-001-consistencySuccess0.004
WebOnt-disjointWith-001-entailmentSuccess0.007
WebOnt-disjointWith-005-consistencySuccess0.004
WebOnt-unionOf-004-consistencySuccess0.004
WebOnt-unionOf-004-entailmentSuccess0.007
Minus Infinity is not in owl:real-inconsistencySuccess0.006
owl2-rl-valid-mincard-consistencySuccess0.004
WebOnt-allValuesFrom-002-consistencySuccess0.004
WebOnt-allValuesFrom-002-nonentailmentSuccess0.007
WebOnt-description-logic-010-inconsistencySuccess0.006
New-Feature-Keys-005-consistencySuccess0.005
owl2-rl-valid-oneof-consistencySuccess0.003
WebOnt-I5.3-006-consistencySuccess0.003
WebOnt-description-logic-628-consistencySuccess0.015
WebOnt-AnnotationProperty-004-consistencySuccess0.003
WebOnt-description-logic-108-inconsistencySuccess0.008
WebOnt-AnnotationProperty-002-consistencySuccess0.003
WebOnt-AnnotationProperty-002-entailmentSuccess0.004
DisjointClasses-002-inconsistencySuccess0.004
Plus and Minus Zero are Distinct-inconsistencySuccess0.005
WebOnt-I5.26-001-consistencySuccess0.004
WebOnt-description-logic-610-inconsistencySuccess0.007
WebOnt-I5.26-005-consistencySuccess0.003
New-Feature-BottomDataProperty-001-inconsistencySuccess0.005
WebOnt-equivalentClass-005-consistencySuccess0.005
WebOnt-equivalentClass-005-nonentailmentSuccess0.006
WebOnt-I5.2-003-consistencySuccess0.005
New-Feature-ReflexiveProperty-001-consistencySuccess0.005
New-Feature-ReflexiveProperty-001-entailmentSuccess0.008
WebOnt-description-logic-023-inconsistencySuccess0.009
WebOnt-description-logic-609-consistencySuccess0.007
owl2-rl-valid-rightside-allvaluesfrom-consistencySuccess0.003
WebOnt-miscellaneous-202-consistencySuccess0.005
inconsistent-integer-filler-inconsistencySuccess0.006
WebOnt-I5.5-005-consistencySuccess0.003
WebOnt-I5.5-005-entailmentSuccess0.004
New-Feature-Keys-003-consistencySuccess0.006
New-Feature-Keys-003-entailmentSuccess0.009
WebOnt-Thing-003-inconsistencySuccess0.003
owl2-rl-invalid-rightside-unionof-consistencySuccess0.003
DisjointClasses-001-consistencySuccess0.005
DisjointClasses-001-entailmentSuccess0.007
WebOnt-description-logic-101-inconsistencySuccess0.004
owl2-rl-invalid-rightside-somevaluesfrom-consistencySuccess0.003
WebOnt-cardinality-004-consistencySuccess0.004
WebOnt-cardinality-004-entailmentSuccess0.006
WebOnt-description-logic-009-consistencySuccess0.005
WebOnt-description-logic-007-inconsistencySuccess0.007
chain2trans1-consistencySuccess0.004
chain2trans1-entailmentSuccess0.005
New-Feature-ObjectQCR-001-consistencySuccess0.004
New-Feature-ObjectQCR-001-entailmentSuccess0.008
WebOnt-description-logic-633-inconsistencySuccess0.007
New-Feature-DisjointUnion-001-consistencySuccess0.007
New-Feature-DisjointUnion-001-entailmentSuccess0.009
Contradicting-dateTime-restrictions-inconsistencySuccess0.006
WebOnt-description-logic-504-inconsistencySuccess0.013
WebOnt-cardinality-003-consistencySuccess0.004
WebOnt-cardinality-003-entailmentSuccess0.007
WebOnt-Restriction-004-consistencySuccess0.004
WebOnt-miscellaneous-303-consistencySuccess0.003
WebOnt-description-logic-650-inconsistencySuccess0.007
WebOnt-oneOf-004-consistencySuccess0.006
WebOnt-oneOf-004-entailmentSuccess0.008
WebOnt-description-logic-021-consistencySuccess0.072
Inconsistent Disjoint Dataproperties-inconsistencySuccess0.006
WebOnt-Ontology-001-consistencySuccess0.004
WebOnt-Ontology-001-entailmentSuccess0.006
WebOnt-TransitiveProperty-002-consistencySuccess0.004
WebOnt-TransitiveProperty-002-entailmentSuccess0.007
WebOnt-description-logic-005-consistencySuccess0.006
WebOnt-description-logic-601-inconsistencySuccess0.010
WebOnt-description-logic-617-inconsistencySuccess0.006
New-Feature-DisjointObjectProperties-001-consistencySuccess0.005
New-Feature-DisjointObjectProperties-001-entailmentSuccess0.009
somevaluesfrom2bnode-consistencySuccess0.003
somevaluesfrom2bnode-entailmentSuccess0.005
Inconsistent String Pattern with Disjoint Dataproperties-inconsistencySuccess0.007
WebOnt-description-logic-908-consistencySuccess0.007
WebOnt-description-logic-019-inconsistencySuccess0.011
consistent-dataproperty-disjointness-consistencySuccess0.006
WebOnt-description-logic-627-inconsistencySuccess0.008
owl2-rl-anonymous-individual-consistencySuccess0.003
WebOnt-description-logic-015-inconsistencySuccess0.006
WebOnt-maxCardinality-001-inconsistencySuccess0.004
WebOnt-description-logic-613-inconsistencySuccess0.007
WebOnt-I5.8-008-consistencySuccess0.003
WebOnt-I5.8-008-entailmentSuccess0.005
WebOnt-description-logic-606-consistencySuccess0.014
WebOnt-equivalentProperty-004-consistencySuccess0.004
WebOnt-equivalentProperty-004-entailmentSuccess0.007
WebOnt-description-logic-103-inconsistencySuccess0.005
WebOnt-description-logic-014-inconsistencySuccess0.005
WebOnt-description-logic-028-consistencySuccess0.013
WebOnt-equivalentClass-002-consistencySuccess0.003
WebOnt-equivalentClass-002-entailmentSuccess0.005
WebOnt-description-logic-632-inconsistencySuccess0.011
WebOnt-SymmetricProperty-002-consistencySuccess0.004
WebOnt-SymmetricProperty-002-entailmentSuccess0.009
WebOnt-I5.26-003-consistencySuccess0.004
WebOnt-description-logic-026-inconsistencySuccess0.007
WebOnt-disjointWith-006-consistencySuccess0.004
WebOnt-description-logic-604-inconsistencySuccess0.007
WebOnt-Restriction-002-inconsistencySuccess0.004
WebOnt-description-logic-644-inconsistencySuccess0.006
WebOnt-miscellaneous-002-consistencySuccess0.530
WebOnt-I5.2-004-consistencySuccess0.025
WebOnt-I5.2-004-entailmentSuccess0.025
New-Feature-IrreflexiveProperty-001-inconsistencySuccess0.015
New-Feature-AsymmetricProperty-001-inconsistencySuccess0.014
FS2RDF-different-individuals-3-ar-consistencySuccess0.014
WebOnt-I5.8-010-consistencySuccess0.015
WebOnt-I5.8-010-entailmentSuccess0.020
Different types in Datatype Restrictions and Complement-inconsistencySuccess0.132
WebOnt-description-logic-030-inconsistencySuccess0.030
WebOnt-description-logic-625-consistencySuccess0.034
WebOnt-I5.24-003-consistencySuccess0.013
WebOnt-I5.24-003-entailmentSuccess0.017
WebOnt-backwardCompatibleWith-002-consistencySuccess0.014
WebOnt-disjointWith-008-consistencySuccess0.013
WebOnt-description-logic-205-consistencySuccess0.029
WebOnt-description-logic-205-entailmentSuccess0.048
WebOnt-sameAs-001-consistencySuccess0.014
WebOnt-sameAs-001-entailmentSuccess0.018
WebOnt-description-logic-614-inconsistencySuccess0.024
Datatype-Float-Discrete-001-inconsistencySuccess0.008
New-Feature-NegativeObjectPropertyAssertion-001-inconsistencySuccess0.008
New-Feature-DisjointDataProperties-002-consistencySuccess0.009
New-Feature-DisjointDataProperties-002-entailmentSuccess0.018
WebOnt-description-logic-501-consistencySuccess0.060
WebOnt-description-logic-667-consistencySuccess0.014
WebOnt-description-logic-667-entailmentSuccess0.021
owl2-rl-invalid-oneof-consistencySuccess0.006
WebOnt-description-logic-646-inconsistencySuccess0.019
Inconsistent Data Complement with the Restrictions-inconsistencySuccess0.024
New-Feature-Rational-003-consistencySuccess0.015
WebOnt-description-logic-630-inconsistencySuccess0.039
Inconsistent Byte Filler-inconsistencySuccess0.015
WebOnt-miscellaneous-102-consistencySuccess0.019
WebOnt-I5.3-010-consistencySuccess0.014
owl2-rl-invalid-leftside-maxcard-consistencySuccess0.014
New-Feature-Rational-001-consistencySuccess0.015
WebOnt-description-logic-665-consistencySuccess0.036
WebOnt-description-logic-665-entailmentSuccess0.044
WebOnt-cardinality-001-consistencySuccess0.013
WebOnt-cardinality-001-entailmentSuccess0.030
WebOnt-I5.26-002-consistencySuccess0.013
WebOnt-differentFrom-001-consistencySuccess0.013
WebOnt-differentFrom-001-entailmentSuccess0.018
WebOnt-description-logic-006-consistencySuccess0.031
owl2-rl-invalid-leftside-allvaluesfrom-consistencySuccess0.014
New-Feature-Keys-007-consistencySuccess0.016
New-Feature-Keys-007-nonentailmentSuccess0.035
WebOnt-description-logic-905-consistencySuccess0.668
New-Feature-TopObjectProperty-001-inconsistencySuccess0.010
WebOnt-equivalentProperty-001-consistencySuccess0.006
WebOnt-equivalentProperty-001-entailmentSuccess0.012
WebOnt-description-logic-018-consistencySuccess0.015
owl2-rl-invalid-unionof-consistencySuccess0.006
WebOnt-equivalentClass-003-consistencySuccess0.006
WebOnt-equivalentClass-003-entailmentSuccess0.009
WebOnt-equivalentProperty-003-consistencySuccess0.006
WebOnt-equivalentProperty-003-entailmentSuccess0.012
WebOnt-equivalentClass-008-Direct-consistencySuccess0.006
WebOnt-equivalentClass-008-Direct-entailmentSuccess0.010
WebOnt-description-logic-002-inconsistencySuccess0.007
WebOnt-miscellaneous-203-inconsistencySuccess0.008
WebOnt-I4.6-005-Direct-consistencySuccess0.006
WebOnt-I4.6-005-Direct-entailmentSuccess0.010
WebOnt-description-logic-901-consistencySuccess0.007
WebOnt-description-logic-901-entailmentSuccess0.015
New-Feature-BottomObjectProperty-001-inconsistencySuccess0.007
WebOnt-I5.8-007-consistencySuccess0.005
WebOnt-I5.8-007-nonentailmentSuccess0.010
WebOnt-description-logic-016-consistencySuccess0.010
WebOnt-description-logic-032-inconsistencySuccess0.022
DisjointClasses-003-consistencySuccess0.008
DisjointClasses-003-entailmentSuccess0.014
WebOnt-description-logic-629-inconsistencySuccess0.025
WebOnt-Restriction-003-consistencySuccess0.007
WebOnt-description-logic-603-inconsistencySuccess0.011
New-Feature-SelfRestriction-001-consistencySuccess0.008
New-Feature-SelfRestriction-001-entailmentSuccess0.014
datatype-restriction-min-max-inconsistency-inconsistencySuccess0.009
WebOnt-description-logic-011-inconsistencySuccess0.012
owl2-rl-invalid-owlreal-consistencySuccess0.005
owl2-rl-rules-ifp-differentFrom-consistencySuccess0.006
owl2-rl-rules-ifp-differentFrom-entailmentSuccess0.012
WebOnt-I5.2-002-consistencySuccess0.007
WebOnt-I5.2-002-entailmentSuccess0.010
WebOnt-I5.3-008-consistencySuccess0.005
WebOnt-description-logic-034-consistencySuccess0.009
WebOnt-disjointWith-003-consistencySuccess0.008
WebOnt-description-logic-025-consistencySuccess0.015
WebOnt-description-logic-029-inconsistencySuccess0.023
New-Feature-ObjectPropertyChain-001-consistencySuccess0.008
New-Feature-ObjectPropertyChain-001-entailmentSuccess0.017
WebOnt-description-logic-106-inconsistencySuccess0.008
WebOnt-imports-011-consistencySuccess0.011
WebOnt-imports-011-entailmentSuccess0.022
FS2RDF-no-builtin-prefixes-ar-consistencySuccess0.021
WebOnt-description-logic-616-consistencySuccess0.024
bnode2somevaluesfrom-consistencySuccess0.013
bnode2somevaluesfrom-entailmentSuccess0.011
WebOnt-disjointWith-007-consistencySuccess0.007
WebOnt-description-logic-208-consistencySuccess1.553
WebOnt-description-logic-208-entailmentSuccess2.402
WebOnt-Restriction-005-direct-consistencySuccess0.005
WebOnt-Restriction-005-direct-entailmentSuccess0.006
WebOnt-I5.24-004-consistencySuccess0.010
WebOnt-I5.24-004-entailmentSuccess0.005
WebOnt-description-logic-102-inconsistencySuccess0.005
Consistent-but-all-unsat-consistencySuccess0.009
Consistent-but-all-unsat-entailmentSuccess0.144
WebOnt-description-logic-110-inconsistencySuccess0.004
WebOnt-miscellaneous-001-consistencySuccess0.292
Plus and Minus Zero Integer-consistencySuccess0.005
WebOnt-description-logic-641-inconsistencySuccess0.006
New-Feature-ObjectPropertyChain-BJP-004-consistencySuccess0.004
New-Feature-ObjectPropertyChain-BJP-004-nonentailmentSuccess0.005
WebOnt-description-logic-201-consistencySuccess0.018
WebOnt-description-logic-201-entailmentSuccess0.024
testWineSuccess18.368
testGalenIansFullUndoctoredSuccess38.088
testPizzaSuccess0.345
testPropreoSuccess31.273
testGalenIansFullUndoctoredSuccess0.000
testDolceSuccess90.284
testWineSuccess56.195
testPizzaSuccess0.331
testPropreoSuccess0.546
testInversesSuccess3.882
testBobTestAandBSuccess1.654
testUpdatesBufferedSuccess0.009
testUpdatesNonBufferedSuccess0.008
testObjectPropertiesSuccess0.003
testSuccessiveCallsSuccess8.651
testBobTestCSuccess4.390
testDisjointPropertiesSuccess9.349
testDisjointClassesSuccess6.627
testBobTestsSuccess0.369
Properties »

Back to top