HermiT JUnit Test Results

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
126900100.00%303.757
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.HermiT126900303.7572015-09-30T23:06:14clpc186.cs.ox.ac.uk

Package org.semanticweb.HermiT

NameTestsErrorsFailuresTime(s)Time StampHost
AllTests126900303.7572015-09-30T23:06:14clpc186.cs.ox.ac.uk
Back to top

TestCase AllTests

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

Back to top