HermiT JUnit Test Results

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
126900100.00%299.531
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.HermiT126900299.5312015-03-29T00:06:13clpc186.cs.ox.ac.uk

Package org.semanticweb.HermiT

NameTestsErrorsFailuresTime(s)Time StampHost
AllTests126900299.5312015-03-29T00:06:13clpc186.cs.ox.ac.uk
Back to top

TestCase AllTests

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

Back to top