{"action":"created","issue":{"url":"https://api.github.com/repos/Galigator/openllet/issues/35","repository_url":"https://api.github.com/repos/Galigator/openllet","labels_url":"https://api.github.com/repos/Galigator/openllet/issues/35/labels{/name}","comments_url":"https://api.github.com/repos/Galigator/openllet/issues/35/comments","events_url":"https://api.github.com/repos/Galigator/openllet/issues/35/events","html_url":"https://github.com/Galigator/openllet/issues/35","id":328747247,"node_id":"MDU6SXNzdWUzMjg3NDcyNDc=","number":35,"title":"Get \"java.util.NoSuchElementException\" while reasoning","user":{"login":"greeny277","id":6786006,"node_id":"MDQ6VXNlcjY3ODYwMDY=","avatar_url":"https://avatars2.githubusercontent.com/u/6786006?v=4","gravatar_id":"","url":"https://api.github.com/users/greeny277","html_url":"https://github.com/greeny277","followers_url":"https://api.github.com/users/greeny277/followers","following_url":"https://api.github.com/users/greeny277/following{/other_user}","gists_url":"https://api.github.com/users/greeny277/gists{/gist_id}","starred_url":"https://api.github.com/users/greeny277/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/greeny277/subscriptions","organizations_url":"https://api.github.com/users/greeny277/orgs","repos_url":"https://api.github.com/users/greeny277/repos","events_url":"https://api.github.com/users/greeny277/events{/privacy}","received_events_url":"https://api.github.com/users/greeny277/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-06-02T14:11:05Z","updated_at":"2018-06-02T15:05:38Z","closed_at":null,"author_association":"NONE","body":"Hey.\r\n\r\nI get a `NoSuchElementException` while reasoning. It appeared after I changed the datatype of a property from `xsd:decimal` to `xsd:float`. It could be, that I made something wrong. Either way, I don't think that the reasoner should throw this exception and at least use a `try{...}catch(Exception e){...}` construct.\r\n\r\nBest regards,\r\n\r\nChristian\r\n\r\n```\r\nClassifying:  20% complete in 00:01Exception in thread \"main\" java.util.NoSuchElementException\r\n        at openllet.core.datatypes.EmptyIterator.next(EmptyIterator.java:35)\r\n        at openllet.core.boxes.abox.Literal.checkClash(Literal.java:403)\r\n        at openllet.core.boxes.abox.Literal.addType(Literal.java:284)\r\n        at openllet.core.tableau.completion.CompletionStrategy.addType(CompletionStrategy.java:420)\r\n        at openllet.core.rules.ContinuousRulesStrategy.addType(ContinuousRulesStrategy.java:96)\r\n        at openllet.core.tableau.completion.rule.AllValuesRule.applyAllValues(AllValuesRule.java:181)\r\n        at openllet.core.tableau.completion.rule.AllValuesRule.applyAllValues(AllValuesRule.java:118)\r\n        at openllet.core.tableau.completion.CompletionStrategy.addType(CompletionStrategy.java:452)\r\n        at openllet.core.rules.ContinuousRulesStrategy.addType(ContinuousRulesStrategy.java:96)\r\n        at openllet.core.tableau.branch.DisjunctionBranch.tryBranch(DisjunctionBranch.java:215)\r\n        at openllet.core.tableau.branch.Branch.tryNext(Branch.java:130)\r\n        at openllet.core.tableau.completion.rule.DisjunctionRule.applyDisjunctionRule(DisjunctionRule.java:101)\r\n        at openllet.core.tableau.completion.rule.DisjunctionRule.apply(DisjunctionRule.java:58)\r\n        at openllet.core.tableau.completion.rule.AbstractTableauRule.apply(AbstractTableauRule.java:106)\r\n        at openllet.core.rules.ContinuousRulesStrategy.complete(ContinuousRulesStrategy.java:251)\r\n        at openllet.core.boxes.abox.ABoxImpl.lambda$isConsistent$12(ABoxImpl.java:1417)\r\n        at openllet.core.utils.Timers.execute(Timers.java:118)\r\n        at openllet.core.boxes.abox.ABoxImpl.isConsistent(ABoxImpl.java:1417)\r\n        at openllet.core.boxes.abox.ABoxImpl.isSatisfiable(ABoxImpl.java:621)\r\n        at openllet.core.boxes.abox.ABoxImpl.isSubClassOf(ABoxImpl.java:566)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.subsumes(CDOptimizedTaxonomyBuilder.java:1163)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.subCheckWithCache(CDOptimizedTaxonomyBuilder.java:1121)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.nodeSubsumes(CDOptimizedTaxonomyBuilder.java:1130)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.search(CDOptimizedTaxonomyBuilder.java:1045)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.doTopSearch(CDOptimizedTaxonomyBuilder.java:964)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:830)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:266)\r\n        at openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:212)\r\n        at openllet.core.KnowledgeBaseImpl.classify(KnowledgeBaseImpl.java:1919)\r\n        at openllet.core.KnowledgeBaseImpl.realize(KnowledgeBaseImpl.java:1938)\r\n        at openllet.core.knowledge.InstancesBase.getTypes(InstancesBase.java:366)\r\n        at openllet.query.sparqldl.engine.CombinedQueryEngine.exec(CombinedQueryEngine.java:356)\r\n        at openllet.query.sparqldl.engine.CombinedQueryEngine.exec(CombinedQueryEngine.java:304)\r\n        at openllet.query.sparqldl.engine.CombinedQueryEngine.exec(CombinedQueryEngine.java:249)\r\n        at openllet.query.sparqldl.engine.QueryEngine.execSingleQuery(QueryEngine.java:313)\r\n        at openllet.query.sparqldl.engine.QueryEngine.exec(QueryEngine.java:124)\r\n        at openllet.query.sparqldl.jena.SparqlDLExecution.exec(SparqlDLExecution.java:240)\r\n        at openllet.query.sparqldl.jena.SparqlDLExecution.execSelect(SparqlDLExecution.java:203)\r\n....\r\n```"},"comment":{"url":"https://api.github.com/repos/Galigator/openllet/issues/comments/394093793","html_url":"https://github.com/Galigator/openllet/issues/35#issuecomment-394093793","issue_url":"https://api.github.com/repos/Galigator/openllet/issues/35","id":394093793,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NDA5Mzc5Mw==","user":{"login":"greeny277","id":6786006,"node_id":"MDQ6VXNlcjY3ODYwMDY=","avatar_url":"https://avatars2.githubusercontent.com/u/6786006?v=4","gravatar_id":"","url":"https://api.github.com/users/greeny277","html_url":"https://github.com/greeny277","followers_url":"https://api.github.com/users/greeny277/followers","following_url":"https://api.github.com/users/greeny277/following{/other_user}","gists_url":"https://api.github.com/users/greeny277/gists{/gist_id}","starred_url":"https://api.github.com/users/greeny277/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/greeny277/subscriptions","organizations_url":"https://api.github.com/users/greeny277/orgs","repos_url":"https://api.github.com/users/greeny277/repos","events_url":"https://api.github.com/users/greeny277/events{/privacy}","received_events_url":"https://api.github.com/users/greeny277/received_events","type":"User","site_admin":false},"created_at":"2018-06-02T15:05:38Z","updated_at":"2018-06-02T15:05:38Z","author_association":"NONE","body":"I'm using version 2.6.4-SNAPSHOT. But the Pellet reasoner has this bug too. \r\n"}}
{"actor":{"display_login":"greeny277"}}