HermiT JUnit Test Results

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
126900100.00%312.250
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.HermiT126900312.2502015-09-26T23:06:15clpc186.cs.ox.ac.uk

Package org.semanticweb.HermiT

NameTestsErrorsFailuresTime(s)Time StampHost
AllTests126900312.2502015-09-26T23:06:15clpc186.cs.ox.ac.uk
Back to top

TestCase AllTests

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

Back to top