Skip to first unread message
Bernardo Gonçalves
Jun 29, 2016, 3:43:11 PM6/29/16
to sta...@clarkparsia.com
Hi everyone, I'm running a Stardog DB (free-trial dev edition) in guard mode for checking transactions against informed constraints. It seems that I only get an explanation for IC violation if the transaction (insert data) has up to 3 triples. Could you please confirm that for me? If so, is there some specific reason (say, proof trees don't scale well)? Thanks!
Complete examples (please compare the transactions; the first one has just one additional triple):
FIRST TRANSACTION (no explanation)
./stardog query companydb "insert data { :John a :Employee . :John a :Manager . :John :SSN '123456' . :NRDept a :Department }"
ICV validation failed, one or more constraints have been violated.
SECOND TRANSACTION
./stardog query companydb "insert data { :John a :Employee . :John a :Manager . :John :SSN '123456' }"
ICV validation failed, one or more constraints have been violated.
VIOLATED :Employee rdfs:subClassOf ((:manages some :Department) or (:works_on some :Project))
1.1) INFERRED :John a :Employee
ASSERTED :SSN rdfs:domain :Employee
ASSERTED :John :SSN "123456"
1.2) ASSERTED :John a :Employee
1.3) INFERRED :John a :Employee
ASSERTED :Manager rdfs:subClassOf :Employee
ASSERTED :John a :Manager
NOT_INFERRED :John :manages <tag:stardog:api:variable:x0>
:John :works_on <tag:stardog:api:variable:x0>
<tag:stardog:api:variable:x0> a :Project
<tag:stardog:api:variable:x0> a :Department
VIOLATED :Manager rdfs:subClassOf (:manages exactly 1 :Department)
ASSERTED :John a :Manager
INFERRED
INFERRED :John :manages <tag:stardog:api:variable:x0>
INFERRED <tag:stardog:api:variable:x0> a :Department
NOT_INFERRED :John :manages <tag:stardog:api:variable:x0>
<tag:stardog:api:variable:x0> a :Department
Zachary Whitley
Jun 29, 2016, 3:47:41 PM6/29/16
to Stardog
Can you share your constraints?
Is there anything in stardog.log?--
-- --
You received this message because you are subscribed to the C&P "Stardog" group.
To post to this group, send email to sta...@clarkparsia.com
To unsubscribe from this group, send email to
stardog+u...@clarkparsia.com
For more options, visit this group at
http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en
---
You received this message because you are subscribed to the Google Groups "Stardog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to stardog+u...@clarkparsia.com.
Bernardo Gonçalves
Jun 29, 2016, 4:02:01 PM6/29/16
to sta...@clarkparsia.com
Oh yes, thanks a lot! There is a huge exception trace in stardog.log apparently related to one or more invalid constraints --- I've been editing constraints from the company.owl example, yet I'm sure the OWL file given to Stardog as constraints is valid OWL. I'll give an update here as I get a better picture.
Bernardo Gonçalves
Jun 29, 2016, 4:25:14 PM6/29/16
to sta...@clarkparsia.com
It looks like a bug, doesn't it? (my version is 4.1 free-trial dev edition). I double checked by using the original company.owl file and passing it as constraints. Whenever the 'insert data' transaction has more than 3 triples an exception is raised and no proof-tree explanation is given. Here's an example of stack trace:
WARN 2016-06-29 17:08:06,014 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:receives_funds_from,or(company:Department, company:Project))
WARN 2016-06-29 17:08:06,015 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:DOB,or(company:Dependent, company:Employee))
WARN 2016-06-29 17:08:06,016 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:name,or(company:Department, company:Dependent, company:Employee, company:Project))
WARN 2016-06-29 17:08:06,016 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:number,or(company:Department, company:Project))
WARN 2016-06-29 17:08:06,016 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:sex,or(company:Dependent, company:Employee))
WARN 2016-06-29 17:08:06,031 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Department,cardinality(inv(company:manages),1,company:Manager))
WARN 2016-06-29 17:08:06,032 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Department,min(inv(company:works_in),2,company:Employee))
WARN 2016-06-29 17:08:06,034 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project,cardinality(inv(company:is_responsible_for),1,company:Project_Leader))
WARN 2016-06-29 17:08:06,034 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project,cardinality(inv(company:handles),1,company:Department))
WARN 2016-06-29 17:08:06,034 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project,min(inv(company:works_on),2,company:Employee))
WARN 2016-06-29 17:08:06,035 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Dependent,cardinality(inv(company:has_dependent),1,company:Employee))
WARN 2016-06-29 17:08:06,036 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Employee,or(some(company:manages,company:Department), some(company:supervises,and(company:Employee, some(company:works_on,company:Project))), some(company:works_on,company:Project)))
WARN 2016-06-29 17:08:06,037 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Employee,max(company:works_on,3,company:Project))
WARN 2016-06-29 17:08:06,037 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project_Leader,max(company:is_responsible_for,3,company:Project))
WARN 2016-06-29 17:08:06,038 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Manager,cardinality(company:manages,1,company:Department))
WARN 2016-06-29 17:08:06,039 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Supervisor,max(company:supervises,10,company:Employee))
ERROR 2016-06-29 17:08:06,232 [Stardog.Executor-3] com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDataRange:applyConstrainingFacet(141): Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('100000.0')
WARN 2016-06-29 17:08:06,233 [Stardog.Executor-3] com.complexible.stardog.reasoning.blackout.BlackoutReasoner:call(436): Error classifying schema, falling back to RDFS reasoning
java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('100000.0')
at com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDataRange.applyConstrainingFacet(RestrictedRealDataRange.java:142) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl$2.visit(DatatypeReasonerImpl.java:426) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl$2.visit(DatatypeReasonerImpl.java:361) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.api.term.impl.entity.RestrictedDatatypeImpl.accept(RestrictedDatatypeImpl.java:40) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.getDataRange(DatatypeReasonerImpl.java:361) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.normalizeVarRanges(DatatypeReasonerImpl.java:1023) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:705) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:648) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:613) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.LitNode.checkClash(LitNode.java:302) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.LitNode.addType(LitNode.java:219) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.AbstractCompletionStrategy.addType(AbstractCompletionStrategy.java:444) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.rule.SomeValuesRule.applySomeValuesRule(SomeValuesRule.java:177) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.rule.SomeValuesRule.apply(SomeValuesRule.java:65) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.expand(EmptySRIQStrategy.java:277) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.doComplete(EmptySRIQStrategy.java:142) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.AbstractCompletionStrategy.complete(AbstractCompletionStrategy.java:387) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.DefaultABox.checkInconsistent(DefaultABox.java:1109) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.DefaultABox.isConsistent(DefaultABox.java:1056) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.DefaultTableauKB.isSatisfiable(DefaultTableauKB.java:796) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.checkSatisfiability(TableauClassifier.java:264) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.classify(TableauClassifier.java:306) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.classify(TableauClassifier.java:186) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.classify(TableauClassifier.java:150) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.DefaultTableauKB.classify(DefaultTableauKB.java:724) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.DefaultTableauKB.perform(DefaultTableauKB.java:966) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutReasoner$ClassificationTask.call(BlackoutReasoner.java:427) [stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutReasoner$ClassificationTask.call(BlackoutReasoner.java:410) [stardog-reasoning-core-4.1.jar:?]
at java.util.concurrent.FutureTask.run(FutureTask.java:266) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) [?:1.8.0_73]
at java.lang.Thread.run(Thread.java:745) [?:1.8.0_73]
WARN 2016-06-29 17:08:06,240 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project,some(company:receives_funds_from,company:Funding_Body))
WARN 2016-06-29 17:08:06,241 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Department,some(company:number,xsd:integer))
WARN 2016-06-29 17:08:06,241 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Employee,some(company:SSN,xsd:string))
WARN 2016-06-29 17:08:06,241 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:DOB)
WARN 2016-06-29 17:08:06,241 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:name)
WARN 2016-06-29 17:08:06,241 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: DisjointClasses(company:Department, company:Employee)
WARN 2016-06-29 17:08:06,241 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Supervisor,some(company:supervises,company:Employee))
WARN 2016-06-29 17:08:06,242 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:number)
WARN 2016-06-29 17:08:06,242 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Department,some(company:handles,company:Project))
WARN 2016-06-29 17:08:06,242 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project_Leader,some(company:salary,xsd:decimal[>"50000.0"^^xsd:double]))
WARN 2016-06-29 17:08:06,242 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:relationship)
WARN 2016-06-29 17:08:06,242 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project,some(company:number,xsd:integer[<"5000"^^xsd:integer, >"0"^^xsd:integer]))
WARN 2016-06-29 17:08:06,242 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Dependent,some(company:name,xsd:string))
WARN 2016-06-29 17:08:06,242 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Manager,some(company:salary,xsd:decimal[>"150000.0"^^xsd:double, <"300000.0"^^xsd:double]))
WARN 2016-06-29 17:08:06,243 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubPropertyOf(ObjectPropertyChain(company:manages, inv(company:works_in)),company:is_superior_of)
WARN 2016-06-29 17:08:06,243 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: DisjointProperties(company:handles, company:has_dependent)
WARN 2016-06-29 17:08:06,243 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubPropertyOf(ObjectPropertyChain(company:is_superior_of, company:is_superior_of),company:is_superior_of)
WARN 2016-06-29 17:08:06,243 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(and(company:Project, some(company:receives_funds_from,company:Government_Agency)),all(inv(company:works_on),and(company:Employee, value(company:nationality,"american"))))
WARN 2016-06-29 17:08:06,243 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project_Leader,some(company:is_responsible_for,company:Project))
WARN 2016-06-29 17:08:06,243 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Employee,max(inv(company:supervises),1,company:Supervisor))
WARN 2016-06-29 17:08:06,244 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:sex)
WARN 2016-06-29 17:08:06,244 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Supervisor,some(company:salary,xsd:decimal[>"100000.0"^^xsd:double]))
WARN 2016-06-29 17:08:06,244 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:salary)
WARN 2016-06-29 17:08:06,244 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:address)
WARN 2016-06-29 17:08:06,244 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:SSN)
WARN 2016-06-29 17:08:06,244 [Stardog.Executor-3] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubPropertyOf(ObjectPropertyChain(company:works_on, inv(company:handles)),company:works_in)
WARN 2016-06-29 17:08:06,623 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:receives_funds_from,or(company:Department, company:Project))
WARN 2016-06-29 17:08:06,623 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:DOB,or(company:Dependent, company:Employee))
WARN 2016-06-29 17:08:06,624 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:name,or(company:Department, company:Dependent, company:Employee, company:Project))
WARN 2016-06-29 17:08:06,624 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:number,or(company:Department, company:Project))
WARN 2016-06-29 17:08:06,625 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: Domain(company:sex,or(company:Dependent, company:Employee))
WARN 2016-06-29 17:08:06,626 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Department,cardinality(inv(company:manages),1,company:Manager))
WARN 2016-06-29 17:08:06,627 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Department,min(inv(company:works_in),2,company:Employee))
WARN 2016-06-29 17:08:06,628 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project,cardinality(inv(company:is_responsible_for),1,company:Project_Leader))
WARN 2016-06-29 17:08:06,628 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project,cardinality(inv(company:handles),1,company:Department))
WARN 2016-06-29 17:08:06,628 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project,min(inv(company:works_on),2,company:Employee))
WARN 2016-06-29 17:08:06,628 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Dependent,cardinality(inv(company:has_dependent),1,company:Employee))
WARN 2016-06-29 17:08:06,629 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Employee,or(some(company:manages,company:Department), some(company:supervises,and(company:Employee, some(company:works_on,company:Project))), some(company:works_on,company:Project)))
WARN 2016-06-29 17:08:06,629 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Employee,max(company:works_on,3,company:Project))
WARN 2016-06-29 17:08:06,630 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Project_Leader,max(company:is_responsible_for,3,company:Project))
WARN 2016-06-29 17:08:06,631 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Manager,cardinality(company:manages,1,company:Department))
WARN 2016-06-29 17:08:06,632 [Stardog.Executor-2] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: SubClassOf(company:Supervisor,max(company:supervises,10,company:Employee))
ERROR 2016-06-29 17:08:06,668 [Stardog.Executor-5] com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDataRange:applyConstrainingFacet(141): Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('100000.0')
WARN 2016-06-29 17:08:06,669 [Stardog.Executor-5] com.complexible.stardog.reasoning.blackout.BlackoutReasoner:call(436): Error classifying schema, falling back to RDFS reasoning
java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('100000.0')
at com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDataRange.applyConstrainingFacet(RestrictedRealDataRange.java:142) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl$2.visit(DatatypeReasonerImpl.java:426) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl$2.visit(DatatypeReasonerImpl.java:361) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.api.term.impl.entity.RestrictedDatatypeImpl.accept(RestrictedDatatypeImpl.java:40) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.getDataRange(DatatypeReasonerImpl.java:361) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.normalizeVarRanges(DatatypeReasonerImpl.java:1023) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:705) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:648) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:613) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.LitNode.checkClash(LitNode.java:302) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.LitNode.addType(LitNode.java:219) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.AbstractCompletionStrategy.addType(AbstractCompletionStrategy.java:444) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.rule.SomeValuesRule.applySomeValuesRule(SomeValuesRule.java:177) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.rule.SomeValuesRule.apply(SomeValuesRule.java:65) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.expand(EmptySRIQStrategy.java:277) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.doComplete(EmptySRIQStrategy.java:142) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.AbstractCompletionStrategy.complete(AbstractCompletionStrategy.java:387) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.DefaultABox.checkInconsistent(DefaultABox.java:1109) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.DefaultABox.isConsistent(DefaultABox.java:1056) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.DefaultTableauKB.isSatisfiable(DefaultTableauKB.java:796) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.checkSatisfiability(TableauClassifier.java:264) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.classify(TableauClassifier.java:306) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.classify(TableauClassifier.java:186) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.classifier.impl.TableauClassifier.classify(TableauClassifier.java:150) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.DefaultTableauKB.classify(DefaultTableauKB.java:724) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.DefaultTableauKB.perform(DefaultTableauKB.java:966) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutReasoner$ClassificationTask.call(BlackoutReasoner.java:427) [stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutReasoner$ClassificationTask.call(BlackoutReasoner.java:410) [stardog-reasoning-core-4.1.jar:?]
at java.util.concurrent.FutureTask.run(FutureTask.java:266) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) [?:1.8.0_73]
at java.lang.Thread.run(Thread.java:745) [?:1.8.0_73]
WARN 2016-06-29 17:08:06,670 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project,some(company:receives_funds_from,company:Funding_Body))
WARN 2016-06-29 17:08:06,670 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Department,some(company:number,xsd:integer))
WARN 2016-06-29 17:08:06,671 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Employee,some(company:SSN,xsd:string))
WARN 2016-06-29 17:08:06,671 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:DOB)
WARN 2016-06-29 17:08:06,671 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:name)
WARN 2016-06-29 17:08:06,672 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: DisjointClasses(company:Department, company:Employee)
WARN 2016-06-29 17:08:06,672 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Supervisor,some(company:supervises,company:Employee))
WARN 2016-06-29 17:08:06,672 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:number)
WARN 2016-06-29 17:08:06,672 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Department,some(company:handles,company:Project))
WARN 2016-06-29 17:08:06,672 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project_Leader,some(company:salary,xsd:decimal[>"50000.0"^^xsd:double]))
WARN 2016-06-29 17:08:06,672 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:relationship)
WARN 2016-06-29 17:08:06,673 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project,some(company:number,xsd:integer[<"5000"^^xsd:integer, >"0"^^xsd:integer]))
WARN 2016-06-29 17:08:06,673 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Dependent,some(company:name,xsd:string))
WARN 2016-06-29 17:08:06,673 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Manager,some(company:salary,xsd:decimal[>"150000.0"^^xsd:double, <"300000.0"^^xsd:double]))
WARN 2016-06-29 17:08:06,673 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubPropertyOf(ObjectPropertyChain(company:manages, inv(company:works_in)),company:is_superior_of)
WARN 2016-06-29 17:08:06,674 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: DisjointProperties(company:handles, company:has_dependent)
WARN 2016-06-29 17:08:06,674 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubPropertyOf(ObjectPropertyChain(company:is_superior_of, company:is_superior_of),company:is_superior_of)
WARN 2016-06-29 17:08:06,674 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(and(company:Project, some(company:receives_funds_from,company:Government_Agency)),all(inv(company:works_on),and(company:Employee, value(company:nationality,"american"))))
WARN 2016-06-29 17:08:06,674 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Project_Leader,some(company:is_responsible_for,company:Project))
WARN 2016-06-29 17:08:06,675 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Employee,max(inv(company:supervises),1,company:Supervisor))
WARN 2016-06-29 17:08:06,675 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:sex)
WARN 2016-06-29 17:08:06,676 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubClassOf(company:Supervisor,some(company:salary,xsd:decimal[>"100000.0"^^xsd:double]))
WARN 2016-06-29 17:08:06,676 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:salary)
WARN 2016-06-29 17:08:06,676 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:address)
WARN 2016-06-29 17:08:06,676 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: Functional(company:SSN)
WARN 2016-06-29 17:08:06,676 [Stardog.Executor-5] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid RDFS axiom: SubPropertyOf(ObjectPropertyChain(company:works_on, inv(company:handles)),company:works_in)
ERROR 2016-06-29 17:08:07,297 [Stardog.Executor-2] com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDataRange:applyConstrainingFacet(141): Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('150000.0')
WARN 2016-06-29 17:08:07,298 [Stardog.Executor-2] com.complexible.stardog.icv.ICV:prepare(435): Error generating explanations for constraint violation
java.lang.RuntimeException: org.openrdf.query.QueryEvaluationException: com.complexible.stardog.plan.eval.ExecutionException: java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('150000.0')
at com.complexible.stardog.icv.ICValidatorIndex.lambda$violationFunction$4(ICValidatorIndex.java:224) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.common.collect.Iterators2$TransformIterator.next(Iterators2.java:142) ~[stardog-utils-common-4.1.jar:?]
at com.google.common.collect.Iterators$7.computeNext(Iterators.java:651) ~[guava-18.0.jar:?]
at com.google.common.collect.AbstractIterator.tryToComputeNext(AbstractIterator.java:143) ~[guava-18.0.jar:?]
at com.google.common.collect.AbstractIterator.hasNext(AbstractIterator.java:138) ~[guava-18.0.jar:?]
at com.complexible.common.base.CloseableIterator$5.computeNext(CloseableIterator.java:207) ~[stardog-utils-common-4.1.jar:?]
at com.google.common.collect.AbstractIterator.tryToComputeNext(AbstractIterator.java:143) ~[guava-18.0.jar:?]
at com.google.common.collect.AbstractIterator.hasNext(AbstractIterator.java:138) ~[guava-18.0.jar:?]
at com.complexible.stardog.icv.ICV.getProofs(ICV.java:270) ~[stardog-icv-api-4.1.jar:?]
at com.complexible.stardog.icv.ConnectableICVConnectionImpl$ICVResourceTransaction.explainAxiomViolations(ConnectableICVConnectionImpl.java:484) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.stardog.icv.ConnectableICVConnectionImpl$ICVResourceTransaction.explainViolations(ConnectableICVConnectionImpl.java:470) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.stardog.icv.ConnectableICVConnectionImpl$ICVResourceTransaction.prepare(ConnectableICVConnectionImpl.java:432) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.tx.api.BaseResourceTransaction.prepare(BaseResourceTransaction.java:187) ~[stardog-4.1.jar:?]
at com.complexible.tx.api.impl.DefaultTransaction.computePrepareResult(DefaultTransaction.java:473) ~[stardog-4.1.jar:?]
at com.complexible.tx.api.impl.DefaultTransaction.runPreparePhase(DefaultTransaction.java:439) ~[stardog-4.1.jar:?]
at com.complexible.tx.api.impl.DefaultTransaction.commit(DefaultTransaction.java:330) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseConnectionImpl.commit(DatabaseConnectionImpl.java:405) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DelegatingTransactionalConnectableConnection.commit(DelegatingTransactionalConnectableConnection.java:68) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:89) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:29) ~[stardog-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.tryToComputeNext(AbstractSkippingIterator.java:143) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.hasNext(AbstractSkippingIterator.java:130) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.util.AutoCloseOperator.computeNext(AutoCloseOperator.java:84) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.util.AutoCloseOperator.computeNext(AutoCloseOperator.java:25) ~[stardog-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.tryToComputeNext(AbstractSkippingIterator.java:143) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.hasNext(AbstractSkippingIterator.java:130) ~[stardog-utils-common-4.1.jar:?]
at com.google.common.collect.Iterators.size(Iterators.java:191) ~[guava-18.0.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.executeUpdate(QueryEngine.java:165) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$UpdateQueryImpl.execute(DefaultQueryFactory.java:263) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$UpdateQueryImpl.execute(DefaultQueryFactory.java:242) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DelegatingUpdateQuery.execute(DelegatingUpdateQuery.java:139) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseImpl$TimerPauseUpdate.execute(DatabaseImpl.java:1561) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseImpl$TimerPauseUpdate.execute(DatabaseImpl.java:1549) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DelegatingUpdateQuery.execute(DelegatingUpdateQuery.java:139) ~[stardog-4.1.jar:?]
at com.complexible.stardog.StardogKernel$SecuredUpdateQuery.execute(StardogKernel.java:3713) ~[stardog-4.1.jar:?]
at com.complexible.stardog.StardogKernel$SecuredUpdateQuery.execute(StardogKernel.java:3700) ~[stardog-4.1.jar:?]
at com.complexible.stardog.protocols.server.SPECServerFunction.query(SPECServerFunction.java:510) ~[stardog-protocols-spec-server-4.1.jar:?]
at com.complexible.stardog.protocols.server.SPECServerFunction.handleMessage(SPECServerFunction.java:149) ~[stardog-protocols-spec-server-4.1.jar:?]
at com.complexible.common.protocols.server.rpc.ServerHandler.lambda$handleMessage$1(ServerHandler.java:339) ~[stardog-protocols-api-server-4.1.jar:?]
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511) [?:1.8.0_73]
at java.util.concurrent.FutureTask.run(FutureTask.java:266) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) [?:1.8.0_73]
at java.lang.Thread.run(Thread.java:745) [?:1.8.0_73]
Caused by: org.openrdf.query.QueryEvaluationException: com.complexible.stardog.plan.eval.ExecutionException: java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('150000.0')
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:179) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:162) ~[stardog-4.1.jar:?]
at com.complexible.stardog.icv.TupleResultConstraintViolation.<init>(TupleResultConstraintViolation.java:43) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.stardog.icv.ICValidatorIndex.lambda$violationFunction$4(ICValidatorIndex.java:221) ~[stardog-icv-core-4.1.jar:?]
... 43 more
Caused by: com.complexible.stardog.plan.eval.ExecutionException: java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('150000.0')
at com.complexible.stardog.plan.eval.ExecutablePlanFactory.createOptimized(ExecutablePlanFactory.java:139) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.getExecutablePlan(QueryEngine.java:239) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.executeSelect(QueryEngine.java:126) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:176) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:162) ~[stardog-4.1.jar:?]
at com.complexible.stardog.icv.TupleResultConstraintViolation.<init>(TupleResultConstraintViolation.java:43) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.stardog.icv.ICValidatorIndex.lambda$violationFunction$4(ICValidatorIndex.java:221) ~[stardog-icv-core-4.1.jar:?]
... 43 more
Caused by: com.complexible.stardog.StardogException: java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('150000.0')
at com.complexible.stardog.reasoning.blackout.RewriteVisitor.rewrite(RewriteVisitor.java:66) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutRewriter.optimize(BlackoutRewriter.java:91) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.plan.optimizer.OptimizationPipeline.execute(OptimizationPipeline.java:129) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.ExecutablePlanFactory.optimizePlan(ExecutablePlanFactory.java:166) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.ExecutablePlanFactory.createOptimized(ExecutablePlanFactory.java:123) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.getExecutablePlan(QueryEngine.java:239) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.executeSelect(QueryEngine.java:126) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:176) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:162) ~[stardog-4.1.jar:?]
at com.complexible.stardog.icv.TupleResultConstraintViolation.<init>(TupleResultConstraintViolation.java:43) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.stardog.icv.ICValidatorIndex.lambda$violationFunction$4(ICValidatorIndex.java:221) ~[stardog-icv-core-4.1.jar:?]
... 43 more
Caused by: com.google.common.util.concurrent.UncheckedExecutionException: java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('150000.0')
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.1.jar:?]
at com.clarkparsia.blackout.Blackout.rewrite(Blackout.java:147) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutRewriter$1.rewriteScans(BlackoutRewriter.java:136) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.RewriteVisitor.transform(RewriteVisitor.java:277) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:698) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.ScopeNodeImpl.accept(ScopeNodeImpl.java:122) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryVisit(TransformingPlanNodeVisitor.java:536) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryTransform(TransformingPlanNodeVisitor.java:79) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:306) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:754) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.ProjectionPlanNodeImpl.accept(ProjectionPlanNodeImpl.java:104) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryVisit(TransformingPlanNodeVisitor.java:536) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryTransform(TransformingPlanNodeVisitor.java:79) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:274) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:730) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.DistinctPlanNodeImpl.accept(DistinctPlanNodeImpl.java:66) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:64) ~[stardog-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.RewriteVisitor.rewrite(RewriteVisitor.java:62) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutRewriter.optimize(BlackoutRewriter.java:91) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.plan.optimizer.OptimizationPipeline.execute(OptimizationPipeline.java:129) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.ExecutablePlanFactory.optimizePlan(ExecutablePlanFactory.java:166) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.ExecutablePlanFactory.createOptimized(ExecutablePlanFactory.java:123) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.getExecutablePlan(QueryEngine.java:239) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.executeSelect(QueryEngine.java:126) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:176) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:162) ~[stardog-4.1.jar:?]
at com.complexible.stardog.icv.TupleResultConstraintViolation.<init>(TupleResultConstraintViolation.java:43) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.stardog.icv.ICValidatorIndex.lambda$violationFunction$4(ICValidatorIndex.java:221) ~[stardog-icv-core-4.1.jar:?]
... 43 more
Caused by: java.lang.IllegalArgumentException: Attempt to constrain datatype (com.clarkparsia.pellet.datatypes.types.real.XSDDecimal@4700907d) using constraining facet ('minExclusive') with an unsupported value ('150000.0')
at com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDataRange.applyConstrainingFacet(RestrictedRealDataRange.java:142) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl$2.visit(DatatypeReasonerImpl.java:426) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl$2.visit(DatatypeReasonerImpl.java:361) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.api.term.impl.entity.RestrictedDatatypeImpl.accept(RestrictedDatatypeImpl.java:40) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.getDataRange(DatatypeReasonerImpl.java:361) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.normalizeVarRanges(DatatypeReasonerImpl.java:1023) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:705) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:648) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl.isSatisfiable(DatatypeReasonerImpl.java:613) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.LitNode.checkClash(LitNode.java:302) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.LitNode.addType(LitNode.java:219) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.AbstractCompletionStrategy.addType(AbstractCompletionStrategy.java:444) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.rule.SomeValuesRule.applySomeValuesRule(SomeValuesRule.java:177) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.rule.SomeValuesRule.apply(SomeValuesRule.java:65) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.expand(EmptySRIQStrategy.java:277) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.EmptySRIQStrategy.doComplete(EmptySRIQStrategy.java:142) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.completion.AbstractCompletionStrategy.complete(AbstractCompletionStrategy.java:387) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.DefaultABox.checkInconsistent(DefaultABox.java:1109) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.abox.DefaultABox.isConsistent(DefaultABox.java:1056) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.unsat(TableauEntailmentChecker.java:258) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.unsat(TableauEntailmentChecker.java:245) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.unsat(TableauEntailmentChecker.java:175) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.isSubClassOf(TableauEntailmentChecker.java:235) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.visit(TableauEntailmentChecker.java:1142) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.visit(TableauEntailmentChecker.java:124) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.api.term.impl.axiom.SubClassOfImpl.accept(SubClassOfImpl.java:22) ~[stardog-reasoning-shared-4.1.jar:?]
at com.clarkparsia.pellet.tableau.TableauEntailmentChecker.ask(TableauEntailmentChecker.java:142) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.pellet.tableau.DefaultTableauKB.ask(DefaultTableauKB.java:913) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.Optimizer.isCovered(Optimizer.java:630) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.Optimizer.isCovered(Optimizer.java:610) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.Optimizer.pruneRedundantAtoms(Optimizer.java:541) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.Saturator.saturate(Saturator.java:88) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.Saturator.unfoldGreedily(Saturator.java:146) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.ClauseRewriterPipeline$UnfoldingClauseRewriter.rewrite(ClauseRewriterPipeline.java:150) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.ClauseRewriterPipeline$UnfoldingClauseRewriter.rewrite(ClauseRewriterPipeline.java:147) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.ClauseRewriterPipeline.rewrite(ClauseRewriterPipeline.java:72) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.Blackout$2.load(Blackout.java:63) ~[stardog-reasoning-core-4.1.jar:?]
at com.clarkparsia.blackout.Blackout$2.load(Blackout.java:60) ~[stardog-reasoning-core-4.1.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:?]
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.1.jar:?]
at com.clarkparsia.blackout.Blackout.rewrite(Blackout.java:147) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutRewriter$1.rewriteScans(BlackoutRewriter.java:136) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.RewriteVisitor.transform(RewriteVisitor.java:277) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:698) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.ScopeNodeImpl.accept(ScopeNodeImpl.java:122) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryVisit(TransformingPlanNodeVisitor.java:536) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryTransform(TransformingPlanNodeVisitor.java:79) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:306) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:754) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.ProjectionPlanNodeImpl.accept(ProjectionPlanNodeImpl.java:104) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryVisit(TransformingPlanNodeVisitor.java:536) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.unaryTransform(TransformingPlanNodeVisitor.java:79) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:274) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.visit(TransformingPlanNodeVisitor.java:730) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.DistinctPlanNodeImpl.accept(DistinctPlanNodeImpl.java:66) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.TransformingPlanNodeVisitor.transform(TransformingPlanNodeVisitor.java:64) ~[stardog-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.RewriteVisitor.rewrite(RewriteVisitor.java:62) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.reasoning.blackout.BlackoutRewriter.optimize(BlackoutRewriter.java:91) ~[stardog-reasoning-core-4.1.jar:?]
at com.complexible.stardog.plan.optimizer.OptimizationPipeline.execute(OptimizationPipeline.java:129) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.ExecutablePlanFactory.optimizePlan(ExecutablePlanFactory.java:166) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.ExecutablePlanFactory.createOptimized(ExecutablePlanFactory.java:123) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.getExecutablePlan(QueryEngine.java:239) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.executeSelect(QueryEngine.java:126) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:176) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$TupleQuery.execute(DefaultQueryFactory.java:162) ~[stardog-4.1.jar:?]
at com.complexible.stardog.icv.TupleResultConstraintViolation.<init>(TupleResultConstraintViolation.java:43) ~[stardog-icv-core-4.1.jar:?]
at com.complexible.stardog.icv.ICValidatorIndex.lambda$violationFunction$4(ICValidatorIndex.java:221) ~[stardog-icv-core-4.1.jar:?]
... 43 more
ERROR 2016-06-29 17:08:07,312 [Stardog.Executor-2] com.complexible.stardog.db.DatabaseConnectionImpl:commit(414): There was an error committing the transaction, all changes were rolled back successfully
com.complexible.tx.api.HeuristicRollbackException: ICV validation failed, one or more constraints have been violated.
at com.complexible.tx.api.impl.DefaultTransaction.runPreparePhase(DefaultTransaction.java:444) ~[stardog-4.1.jar:?]
at com.complexible.tx.api.impl.DefaultTransaction.commit(DefaultTransaction.java:330) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseConnectionImpl.commit(DatabaseConnectionImpl.java:405) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DelegatingTransactionalConnectableConnection.commit(DelegatingTransactionalConnectableConnection.java:68) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:89) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:29) ~[stardog-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.tryToComputeNext(AbstractSkippingIterator.java:143) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.hasNext(AbstractSkippingIterator.java:130) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.util.AutoCloseOperator.computeNext(AutoCloseOperator.java:84) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.util.AutoCloseOperator.computeNext(AutoCloseOperator.java:25) ~[stardog-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.tryToComputeNext(AbstractSkippingIterator.java:143) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.hasNext(AbstractSkippingIterator.java:130) ~[stardog-utils-common-4.1.jar:?]
at com.google.common.collect.Iterators.size(Iterators.java:191) ~[guava-18.0.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.executeUpdate(QueryEngine.java:165) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$UpdateQueryImpl.execute(DefaultQueryFactory.java:263) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$UpdateQueryImpl.execute(DefaultQueryFactory.java:242) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DelegatingUpdateQuery.execute(DelegatingUpdateQuery.java:139) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseImpl$TimerPauseUpdate.execute(DatabaseImpl.java:1561) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseImpl$TimerPauseUpdate.execute(DatabaseImpl.java:1549) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DelegatingUpdateQuery.execute(DelegatingUpdateQuery.java:139) ~[stardog-4.1.jar:?]
at com.complexible.stardog.StardogKernel$SecuredUpdateQuery.execute(StardogKernel.java:3713) ~[stardog-4.1.jar:?]
at com.complexible.stardog.StardogKernel$SecuredUpdateQuery.execute(StardogKernel.java:3700) ~[stardog-4.1.jar:?]
at com.complexible.stardog.protocols.server.SPECServerFunction.query(SPECServerFunction.java:510) ~[stardog-protocols-spec-server-4.1.jar:?]
at com.complexible.stardog.protocols.server.SPECServerFunction.handleMessage(SPECServerFunction.java:149) ~[stardog-protocols-spec-server-4.1.jar:?]
at com.complexible.common.protocols.server.rpc.ServerHandler.lambda$handleMessage$1(ServerHandler.java:339) ~[stardog-protocols-api-server-4.1.jar:?]
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511) [?:1.8.0_73]
at java.util.concurrent.FutureTask.run(FutureTask.java:266) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) [?:1.8.0_73]
at java.lang.Thread.run(Thread.java:745) [?:1.8.0_73]
ERROR 2016-06-29 17:08:07,313 [Stardog.Executor-2] com.complexible.stardog.protocols.server.SPECServerFunction:query(520): There was an error executing query: insert data { :John a :Employee . :John a :Manager . :John :SSN '123456' . :NRDept a :Department }
com.complexible.stardog.plan.eval.operator.OperatorException: ICV validation failed, one or more constraints have been violated.
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:106) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:29) ~[stardog-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.tryToComputeNext(AbstractSkippingIterator.java:143) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.hasNext(AbstractSkippingIterator.java:130) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.util.AutoCloseOperator.computeNext(AutoCloseOperator.java:84) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.util.AutoCloseOperator.computeNext(AutoCloseOperator.java:25) ~[stardog-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.tryToComputeNext(AbstractSkippingIterator.java:143) ~[stardog-utils-common-4.1.jar:?]
at com.complexible.common.collect.AbstractSkippingIterator.hasNext(AbstractSkippingIterator.java:130) ~[stardog-utils-common-4.1.jar:?]
at com.google.common.collect.Iterators.size(Iterators.java:191) ~[guava-18.0.jar:?]
at com.complexible.stardog.plan.eval.QueryEngine.executeUpdate(QueryEngine.java:165) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$UpdateQueryImpl.execute(DefaultQueryFactory.java:263) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DefaultQueryFactory$UpdateQueryImpl.execute(DefaultQueryFactory.java:242) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DelegatingUpdateQuery.execute(DelegatingUpdateQuery.java:139) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseImpl$TimerPauseUpdate.execute(DatabaseImpl.java:1561) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseImpl$TimerPauseUpdate.execute(DatabaseImpl.java:1549) ~[stardog-4.1.jar:?]
at com.complexible.stardog.query.DelegatingUpdateQuery.execute(DelegatingUpdateQuery.java:139) ~[stardog-4.1.jar:?]
at com.complexible.stardog.StardogKernel$SecuredUpdateQuery.execute(StardogKernel.java:3713) ~[stardog-4.1.jar:?]
at com.complexible.stardog.StardogKernel$SecuredUpdateQuery.execute(StardogKernel.java:3700) ~[stardog-4.1.jar:?]
at com.complexible.stardog.protocols.server.SPECServerFunction.query(SPECServerFunction.java:510) ~[stardog-protocols-spec-server-4.1.jar:?]
at com.complexible.stardog.protocols.server.SPECServerFunction.handleMessage(SPECServerFunction.java:149) ~[stardog-protocols-spec-server-4.1.jar:?]
at com.complexible.common.protocols.server.rpc.ServerHandler.lambda$handleMessage$1(ServerHandler.java:339) ~[stardog-protocols-api-server-4.1.jar:?]
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511) [?:1.8.0_73]
at java.util.concurrent.FutureTask.run(FutureTask.java:266) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) [?:1.8.0_73]
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) [?:1.8.0_73]
at java.lang.Thread.run(Thread.java:745) [?:1.8.0_73]
Caused by: com.complexible.stardog.db.DatabaseException: ICV validation failed, one or more constraints have been violated.
at com.complexible.stardog.db.DatabaseConnectionImpl.commit(DatabaseConnectionImpl.java:415) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DelegatingTransactionalConnectableConnection.commit(DelegatingTransactionalConnectableConnection.java:68) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:89) ~[stardog-4.1.jar:?]
... 25 more
Caused by: com.complexible.tx.api.HeuristicRollbackException: ICV validation failed, one or more constraints have been violated.
at com.complexible.tx.api.impl.DefaultTransaction.runPreparePhase(DefaultTransaction.java:444) ~[stardog-4.1.jar:?]
at com.complexible.tx.api.impl.DefaultTransaction.commit(DefaultTransaction.java:330) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DatabaseConnectionImpl.commit(DatabaseConnectionImpl.java:405) ~[stardog-4.1.jar:?]
at com.complexible.stardog.db.DelegatingTransactionalConnectableConnection.commit(DelegatingTransactionalConnectableConnection.java:68) ~[stardog-4.1.jar:?]
at com.complexible.stardog.plan.eval.operator.impl.UpdateSequenceOperatorImpl.computeNext(UpdateSequenceOperatorImpl.java:89) ~[stardog-4.1.jar:?]
... 25 more
Bernardo Gonçalves
Jun 29, 2016, 6:19:44 PM6/29/16
to sta...@clarkparsia.com
Well, it seems that my database got into some unstable state. Once I dropped the whole DB and re-created from scratch it's is working fine --- I confirm being able to to run 'insert data' transactions having #triples > 3 and receiving IC violation explanations successfully. Thanks again, Zach!
...
Reply all
Reply to author
Forward
0 new messages