Running time of consistency exceeded timeout of 60000

1 view

errorpelletreasoningtimeout

Skip to first unread message

charbe...@gmail.com

unread,

Apr 21, 2016, 10:16:04 AM4/21/16

to Stardog

Hello,

I am trying to understand the following error message,

I am using the reasoning while I query.

Is there an inconsistency in my ontology?

Thank you,

ERROR 2016-04-21 13:55:49,295 [SPEC-Server-1-7] com.complexible.stardog.protocols.server.SPECServerFunction:query(527): There was an error executing query: Select ?id ?location ?unit WHERE

{

?server a qt:Server.

?server qt:connectsTo ?em.

?em bldgs:hasPoint ?point.

?em qt:hasMonitoringLocation ?location.

?point qt:hasUnitType ?unit.

} group by ?id ?unit ?location limit 50 offset 0

org.openrdf.query.QueryEvaluationException: com.complexible.stardog.plan.eval.ExecutionException: java.lang.RuntimeException: Running time of consistency exceeded timeout of 60000

at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:226) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:209) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.protocols.server.SPECServerFunction.query(SPECServerFunction.java:503) [stardog-protocols-spec-server-4.0.2.jar:?]

at com.complexible.stardog.protocols.server.SPECServerFunction.handleMessage(SPECServerFunction.java:149) [stardog-protocols-spec-server-4.0.2.jar:?]

at com.complexible.common.protocols.server.rpc.ServerHandler.handleMessage(ServerHandler.java:324) [stardog-protocols-api-server-4.0.2.jar:?]

at com.complexible.common.protocols.server.rpc.ServerHandler.channelRead(ServerHandler.java:207) [stardog-protocols-api-server-4.0.2.jar:?]

at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) [netty-all-4.0.32.Final.jar:4.0.32.Final]

at io.netty.channel.AbstractChannelHandlerContext.access$600(AbstractChannelHandlerContext.java:32) [netty-all-4.0.32.Final.jar:4.0.32.Final]

at io.netty.channel.AbstractChannelHandlerContext$7.run(AbstractChannelHandlerContext.java:299) [netty-all-4.0.32.Final.jar:4.0.32.Final]

at io.netty.util.concurrent.DefaultEventExecutor.run(DefaultEventExecutor.java:36) [netty-all-4.0.32.Final.jar:4.0.32.Final]

at io.netty.util.concurrent.SingleThreadEventExecutor$2.run(SingleThreadEventExecutor.java:112) [netty-all-4.0.32.Final.jar:4.0.32.Final]

at io.netty.util.concurrent.DefaultThreadFactory$DefaultRunnableDecorator.run(DefaultThreadFactory.java:137) [netty-all-4.0.32.Final.jar:4.0.32.Final]

at java.lang.Thread.run(Thread.java:745) [?:1.8.0_45-internal]

Caused by: com.complexible.stardog.plan.eval.ExecutionException: java.lang.RuntimeException: Running time of consistency exceeded timeout of 60000

at com.complexible.stardog.plan.eval.ExecutablePlanFactory.createOptimized(ExecutablePlanFactory.java:121) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.QueryEngine.getExecutablePlan(QueryEngine.java:211) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.QueryEngine.executeSelect(QueryEngine.java:120) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:223) ~[stardog-4.0.2.jar:?]

... 12 more

Caused by: com.complexible.stardog.StardogException: java.lang.RuntimeException: Running time of consistency exceeded timeout of 60000

at com.complexible.stardog.reasoning.blackout.AbstractPlanRewriter.rewrite(AbstractPlanRewriter.java:66) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.complexible.stardog.reasoning.blackout.AbstractReasoningOptimizer.optimize(AbstractReasoningOptimizer.java:48) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.complexible.stardog.plan.optimizer.OptimizationPipeline.execute(OptimizationPipeline.java:136) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.ExecutablePlanFactory.createOptimized(ExecutablePlanFactory.java:107) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.QueryEngine.getExecutablePlan(QueryEngine.java:211) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.QueryEngine.executeSelect(QueryEngine.java:120) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:223) ~[stardog-4.0.2.jar:?]

... 12 more

Caused by: com.google.common.util.concurrent.UncheckedExecutionException: java.lang.RuntimeException: Running time of consistency exceeded timeout of 60000

at com.google.common.cache.LocalCache$Segment.get(LocalCache.java:2203) ~[guava-18.0.jar:?]

at com.google.common.cache.LocalCache.get(LocalCache.java:3937) ~[guava-18.0.jar:?]

at com.google.common.cache.LocalCache.getOrLoad(LocalCache.java:3941) ~[guava-18.0.jar:?]

at com.google.common.cache.LocalCache$LocalLoadingCache.get(LocalCache.java:4824) ~[guava-18.0.jar:?]

at com.clarkparsia.blackout.Blackout.rewrite(Blackout.java:177) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.Blackout.rewrite(Blackout.java:147) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.complexible.stardog.reasoning.blackout.PlanRewriter$1.rewriteScans(PlanRewriter.java:119) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.complexible.stardog.reasoning.blackout.AbstractPlanRewriter.transform(AbstractPlanRewriter.java:228) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:680) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.ScopeNodeImpl.accept(ScopeNodeImpl.java:122) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryVisit(TransformingPlanNodeVisitor.java:528) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryTransform(TransformingPlanNodeVisitor.java:78) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:325) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:752) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.GroupPlanNodeImpl.accept(GroupPlanNodeImpl.java:104) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryVisit(TransformingPlanNodeVisitor.java:528) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryTransform(TransformingPlanNodeVisitor.java:78) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:305) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:736) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.ProjectionPlanNodeImpl.accept(ProjectionPlanNodeImpl.java:107) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryVisit(TransformingPlanNodeVisitor.java:528) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryTransform(TransformingPlanNodeVisitor.java:78) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:315) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:728) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.SlicePlanNodeImpl.accept(SlicePlanNodeImpl.java:103) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:63) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.reasoning.blackout.AbstractPlanRewriter.rewrite(AbstractPlanRewriter.java:62) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.complexible.stardog.reasoning.blackout.AbstractReasoningOptimizer.optimize(AbstractReasoningOptimizer.java:48) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.complexible.stardog.plan.optimizer.OptimizationPipeline.execute(OptimizationPipeline.java:136) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.ExecutablePlanFactory.createOptimized(ExecutablePlanFactory.java:107) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.QueryEngine.getExecutablePlan(QueryEngine.java:211) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.plan.eval.QueryEngine.executeSelect(QueryEngine.java:120) ~[stardog-4.0.2.jar:?]

at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:223) ~[stardog-4.0.2.jar:?]

... 12 more

Caused by: java.lang.RuntimeException: Running time of consistency exceeded timeout of 60000

at com.complexible.common.timer.Timer.check(Timer.java:207) ~[cp-common-utils-5.0.jar:?]

at com.clarkparsia.pellet.tableau.completion.AbstractCompletionStrategy.checkTimer(AbstractCompletionStrategy.java:182) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.expand(EmptySRIQStrategy.java:229) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.complete(EmptySRIQStrategy.java:142) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.abox.DefaultABox.checkInconsistent(DefaultABox.java:1119) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.abox.DefaultABox.isConsistent(DefaultABox.java:1063) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.unsat(TableauEntailmentChecker.java:270) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.unsat(TableauEntailmentChecker.java:257) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.unsat(TableauEntailmentChecker.java:175) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.isSubClassOf(TableauEntailmentChecker.java:244) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.visit(TableauEntailmentChecker.java:1154) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.visit(TableauEntailmentChecker.java:124) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.api.term.impl.axiom.SubClassOfImpl.accept(SubClassOfImpl.java:22) ~[stardog-reasoning-shared-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.ask(TableauEntailmentChecker.java:142) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.pellet.tableau.DefaultTableauKB.ask(DefaultTableauKB.java:910) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.Optimizer.isCovered(Optimizer.java:647) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.Optimizer.isCovered(Optimizer.java:627) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.Optimizer.pruneRedundantAtoms(Optimizer.java:558) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.Optimizer.pruneRedundantAtoms(Optimizer.java:529) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.ClauseRewriterPipeline$RedundantAtomPruner.rewrite(ClauseRewriterPipeline.java:119) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.ClauseRewriterPipeline.rewrite(ClauseRewriterPipeline.java:69) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.Blackout$2.load(Blackout.java:63) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.clarkparsia.blackout.Blackout$2.load(Blackout.java:60) ~[stardog-reasoning-core-4.0.2.jar:?]

at com.google.common.cache.LocalCache$LoadingValueReference.loadFuture(LocalCache.java:3527) ~[guava-18.0.jar:?]

at com.google.common.cache.LocalCache$Segment.loadSync(LocalCache.java:2319) ~[guava-18.0.jar:?]

at com.google.common.cache.LocalCache$Segment.lockedGetOrLoad(LocalCache.java:2282) ~[guava-18.0.jar:?]

at com.google.common.cache.LocalCache$Segment.get(LocalCache.java:2197) ~[guava-18.0.jar:?]