HermiT JUnit Test Results

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
126900100.00%306.726
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.HermiT126900306.7262015-09-29T23:06:13clpc186.cs.ox.ac.uk

Package org.semanticweb.HermiT

NameTestsErrorsFailuresTime(s)Time StampHost
AllTests126900306.7262015-09-29T23:06:13clpc186.cs.ox.ac.uk
Back to top

TestCase AllTests

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

Back to top