HermiT JUnit Test Results

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
126900100.00%305.821
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.HermiT126900305.8212015-11-13T00:06:15clpc186.cs.ox.ac.uk

Package org.semanticweb.HermiT

NameTestsErrorsFailuresTime(s)Time StampHost
AllTests126900305.8212015-11-13T00:06:15clpc186.cs.ox.ac.uk
Back to top

TestCase AllTests

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

Back to top