HermiT JUnit Test Results

Designed for use with JUnit and Ant.

Summary

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

Packages

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.
NameTestsErrorsFailuresTime(s)Time StampHost
org.semanticweb.HermiT126900314.7842015-06-09T23:06:16clpc186.cs.ox.ac.uk

Package org.semanticweb.HermiT

NameTestsErrorsFailuresTime(s)Time StampHost
AllTests126900314.7842015-06-09T23:06:16clpc186.cs.ox.ac.uk
Back to top

TestCase AllTests

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

Back to top