Open amarbanerjee23 opened 4 years ago
Wow! That's a long stack trace. The error suggests that there are "other knowledge structures'. Do you have equations in you model? A minimal use case would be useful. Your title suggests that you are expecting the ontology to be translated to Prolog. SWI Prolog uses RDF files directly to load the ontology. Only the rules would be translated to Prolog.
Thanks again for your reply. Yes, I do have equations and rules in my model and I want to generate Prolog files for them. Is there a way to do it. Please find a small example of a SADL file below:-
Actor is a class described by rating with values of type string.
{John, James, Susan} are instances of Actor.
John has rating "good".
Equation average( integer h, integer k) returns decimal: (h+k)/2 .
Rule HowGood:
if average(2,4) > 6 then rating is "okok".
The error is
com.ge.research.sadl.jena.translator.JenaTranslatorPlugin does not currently translate equations
I guess as you answered in the other issue, this might have been addressed in the next release. But if I have equations in the rules, then how does that generate the Prolog files. Any suggestions on this?
Thanks & Cheers, Amar
If you want to generate Prolog, you will need to use the SWI-Prolog-Reasoner/SWI-Prolog-Translator. Whether the Prolog reasoner/translator or the Jena-based ones, average is already defined and you don't need to redefine it. For the Jena choice, the defined functions are in SadlBuiltinFunctions.sadl. @agabaldon , can you address off the top of your head the Prolog instance?
Thanks Andrew,
But I was wondering how to use the SWI-Prolog-Reasoner/SWI-Prolog-Translator ? Is there a hook in the SADL or we need to manually change the default translator in the code ?
Cheers, Amar
Look under project properties, SADL.
Thanks a lot !! Can I please ask for another favour. Could you please suggest, if both of them could be used together ? Or the language restricts the usage of only one reasoner ?
Thanks for your help.
Cheers, Amar
They have been used together and yes, it is possible. How to do so isn't well documented. It would take a bit of time to make documentation available. Doing so generally involves some extension code that controls what each reasoner is responsible to do. Why would you want to use them together? Rules can be converted to Prolog and processed by the Prolog reasoner.
Thanks Andrew.
I wanted to map the strengths of SADL to check what all is possible. I am interested to see, if the OWL ontologies and the prolog rules can be simultaneously used. But as you say, it is possible, I would like to try it out with your help. Can you please give some pointers towards this ??
Cheers, Amar
Update.
I tried using the Prolog reasoner and the Prolog translator.
The SADL spec is:-
Rule FM2_RC2 :
if
(average(HK_2D1016, HK_2D1017)
-average(avg_over_last_5_mins(HK_2D1016),avg_over_last_5_mins(HK_2D1017)) < 5)
or
(average(HK_2D0299, HK_2D0299)
-average(avg_over_last_5_mins(HK_2D0299),avg_over_last_5_mins(HK_2D0299)) < 5)
and
(average(HK_2T0007, avg_over_last_5_mins(HK_2T0007)
and
average(HK_2T0008, avg_over_last_5_mins(HK_2T0008)))>5
)
and
( HK_2D0153 - avg_over_last_5_mins(HK_2D0153)>10
or
HK_2D0180 - avg_over_last_5_mins(HK_2D0180)>10
)
com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6361)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6055)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8156)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7985)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4195)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5037)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4638)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4176)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4057)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1358)
at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1285)
at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75)
at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71)
at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91)
at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55)
at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77)
at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57)
at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92)
at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1)
at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27)
at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58)
at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27)
at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70)
at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525)
at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497)
at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136)
at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50)
at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87)
at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
I was interested to generate the Prolog file for Rules and OWL ontologies for the rest of the description. Hence, I wanted to use the OWL Translator and Prolog Translator Together. As OWL generator does not handle Rules and Equations, hence Prolog could have been useful for generating files for Equations and Rules. Could this be done? Please let me know. Also could you please point towards the source code for the new release?
Thanks for your help and guidance.
Cheers, Amar
The SWI-Prolog-Translator generates OWL models for the ontology. There is no need to use a separate reasoner/translator pair. Since Jena Rules do not support disjunction, I'm guessing that the error you are reporting is an oversight. I suggest for the moment you write two rules to implement your disjunction. I'll look at this error as soon as I get a chance.
@amarbanerjee23 , the SWI-Prolog reasoner and translator have been significantly improved. See http://semanticapplicationdesignlanguage.github.io/sadl/SWI-PrologReasonerPlugin.html for documentation. If it is still of interest, please give it a try and let me know if there are any issues. If so maybe I can address them and we can get this issue closed. Thanks!
I am trying to find a way to generate the Prolog files for a given ontology. Did not find any hooks for that.
When I directly use the Prolog Translator API
translator = new SWIPrologTranslatorPlugin(); translator.setConfigurationManager(getConfigMgr(resource, _repoType)); List<ModelError> plresults = translator.translateAndSaveModel(getTheJenaModel(), getRules(), modelFolderPathname, getModelName(), getImportsInOrderOfAppearance(), owlFN); if(plresults!=null) { results.addAll(plresults); }
I get the following exception stack.
com.ge.research.sadl.reasoner.TranslationException: This translator (com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin) does not translate other knowledge structures. at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateAndSaveModelWithOtherStructure(SWIPrologTranslatorPlugin.java:224) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.translateAndSaveModel(JenaBasedSadlModelProcessor.java:776) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onGenerate(JenaBasedSadlModelProcessor.java:697) at com.ge.research.sadl.generator.ProcessorProviderBasedGenerator.doGenerate(ProcessorProviderBasedGenerator.java:36) at org.eclipse.xtext.generator.GeneratorDelegate.doGenerate(GeneratorDelegate.java:44) at org.eclipse.xtext.generator.GeneratorDelegate.generate(GeneratorDelegate.java:35) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:597) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:578) at org.eclipse.xtext.builder.BuilderParticipant.doGenerate(BuilderParticipant.java:563) at org.eclipse.xtext.builder.BuilderParticipant.doBuild(BuilderParticipant.java:303) at org.eclipse.xtext.builder.BuilderParticipant.build(BuilderParticipant.java:265) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant$DeferredBuilderParticipant.build(RegistryBuilderParticipant.java:162) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant.build(RegistryBuilderParticipant.java:70) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:392) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: This translator (com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin) does not translate other knowledge structures. at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateAndSaveModelWithOtherStructure(SWIPrologTranslatorPlugin.java:224) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.translateAndSaveModel(JenaBasedSadlModelProcessor.java:776) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onGenerate(JenaBasedSadlModelProcessor.java:697) at com.ge.research.sadl.generator.ProcessorProviderBasedGenerator.doGenerate(ProcessorProviderBasedGenerator.java:36) at org.eclipse.xtext.generator.GeneratorDelegate.doGenerate(GeneratorDelegate.java:44) at org.eclipse.xtext.generator.GeneratorDelegate.generate(GeneratorDelegate.java:35) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:597) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:578) at org.eclipse.xtext.builder.BuilderParticipant.doGenerate(BuilderParticipant.java:563) at org.eclipse.xtext.builder.BuilderParticipant.doBuild(BuilderParticipant.java:303) at org.eclipse.xtext.builder.BuilderParticipant.build(BuilderParticipant.java:265) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant$DeferredBuilderParticipant.build(RegistryBuilderParticipant.java:162) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant.build(RegistryBuilderParticipant.java:70) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:392) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) Encountered unhandled OR in rule 'FM2_RC2' Encountered unhandled OR in rule 'FM2_RC2' com.ge.research.sadl.reasoner.TranslationException: Unexpected junction lhs type: class com.ge.research.sadl.model.gp.ProxyNode at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementToPrologRuleString(SWIPrologTranslatorPlugin.java:1004) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementsToPrologRuleString(SWIPrologTranslatorPlugin.java:837) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateRule(SWIPrologTranslatorPlugin.java:256) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateAndSaveModel(SWIPrologTranslatorPlugin.java:186) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.translateAndSaveModel(JenaBasedSadlModelProcessor.java:765) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onGenerate(JenaBasedSadlModelProcessor.java:697) at com.ge.research.sadl.generator.ProcessorProviderBasedGenerator.doGenerate(ProcessorProviderBasedGenerator.java:36) at org.eclipse.xtext.generator.GeneratorDelegate.doGenerate(GeneratorDelegate.java:44) at org.eclipse.xtext.generator.GeneratorDelegate.generate(GeneratorDelegate.java:35) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:597) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:578) at org.eclipse.xtext.builder.BuilderParticipant.doGenerate(BuilderParticipant.java:563) at org.eclipse.xtext.builder.BuilderParticipant.doBuild(BuilderParticipant.java:303) at org.eclipse.xtext.builder.BuilderParticipant.build(BuilderParticipant.java:265) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant$DeferredBuilderParticipant.build(RegistryBuilderParticipant.java:162) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant.build(RegistryBuilderParticipant.java:70) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:392) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) Encountered unhandled OR in rule 'FM2_RC2' Encountered unhandled OR in rule 'FM2_RC2' com.ge.research.sadl.reasoner.TranslationException: Unexpected junction lhs type: class com.ge.research.sadl.model.gp.ProxyNode at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementToPrologRuleString(SWIPrologTranslatorPlugin.java:1004) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementsToPrologRuleString(SWIPrologTranslatorPlugin.java:837) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateRule(SWIPrologTranslatorPlugin.java:256) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateAndSaveModel(SWIPrologTranslatorPlugin.java:186) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.translateAndSaveModel(JenaBasedSadlModelProcessor.java:765) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onGenerate(JenaBasedSadlModelProcessor.java:697) at com.ge.research.sadl.generator.ProcessorProviderBasedGenerator.doGenerate(ProcessorProviderBasedGenerator.java:36) at org.eclipse.xtext.generator.GeneratorDelegate.doGenerate(GeneratorDelegate.java:44) at org.eclipse.xtext.generator.GeneratorDelegate.generate(GeneratorDelegate.java:35) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:597) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:578) at org.eclipse.xtext.builder.BuilderParticipant.doGenerate(BuilderParticipant.java:563) at org.eclipse.xtext.builder.BuilderParticipant.doBuild(BuilderParticipant.java:303) at org.eclipse.xtext.builder.BuilderParticipant.build(BuilderParticipant.java:265) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant$DeferredBuilderParticipant.build(RegistryBuilderParticipant.java:162) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant.build(RegistryBuilderParticipant.java:70) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:392) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) Encountered unhandled OR in rule 'FM2_RC2' Encountered unhandled OR in rule 'FM2_RC2' com.ge.research.sadl.reasoner.TranslationException: Unexpected junction lhs type: class com.ge.research.sadl.model.gp.ProxyNode at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementToPrologRuleString(SWIPrologTranslatorPlugin.java:1004) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementsToPrologRuleString(SWIPrologTranslatorPlugin.java:837) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateRule(SWIPrologTranslatorPlugin.java:256) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateAndSaveModel(SWIPrologTranslatorPlugin.java:186) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.translateAndSaveModel(JenaBasedSadlModelProcessor.java:765) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onGenerate(JenaBasedSadlModelProcessor.java:697) at com.ge.research.sadl.generator.ProcessorProviderBasedGenerator.doGenerate(ProcessorProviderBasedGenerator.java:36) at org.eclipse.xtext.generator.GeneratorDelegate.doGenerate(GeneratorDelegate.java:44) at org.eclipse.xtext.generator.GeneratorDelegate.generate(GeneratorDelegate.java:35) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:597) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:578) at org.eclipse.xtext.builder.BuilderParticipant.doGenerate(BuilderParticipant.java:563) at org.eclipse.xtext.builder.BuilderParticipant.doBuild(BuilderParticipant.java:303) at org.eclipse.xtext.builder.BuilderParticipant.build(BuilderParticipant.java:265) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant$DeferredBuilderParticipant.build(RegistryBuilderParticipant.java:162) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant.build(RegistryBuilderParticipant.java:70) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:392) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) Encountered unhandled OR in rule 'FM2_RC2' Encountered unhandled OR in rule 'FM2_RC2' com.ge.research.sadl.reasoner.TranslationException: Unexpected junction lhs type: class com.ge.research.sadl.model.gp.ProxyNode at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementToPrologRuleString(SWIPrologTranslatorPlugin.java:1004) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementsToPrologRuleString(SWIPrologTranslatorPlugin.java:837) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateRule(SWIPrologTranslatorPlugin.java:256) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateAndSaveModel(SWIPrologTranslatorPlugin.java:186) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.translateAndSaveModel(JenaBasedSadlModelProcessor.java:765) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onGenerate(JenaBasedSadlModelProcessor.java:697) at com.ge.research.sadl.generator.ProcessorProviderBasedGenerator.doGenerate(ProcessorProviderBasedGenerator.java:36) at org.eclipse.xtext.generator.GeneratorDelegate.doGenerate(GeneratorDelegate.java:44) at org.eclipse.xtext.generator.GeneratorDelegate.generate(GeneratorDelegate.java:35) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:597) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:578) at org.eclipse.xtext.builder.BuilderParticipant.doGenerate(BuilderParticipant.java:563) at org.eclipse.xtext.builder.BuilderParticipant.doBuild(BuilderParticipant.java:303) at org.eclipse.xtext.builder.BuilderParticipant.build(BuilderParticipant.java:265) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant$DeferredBuilderParticipant.build(RegistryBuilderParticipant.java:162) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant.build(RegistryBuilderParticipant.java:70) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:392) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:92) at org.eclipse.xtext.ui.editor.validation.ValidationJob$1.exec(ValidationJob.java:1) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.util.concurrent.WrappingCancelableUnitOfWork.exec(WrappingCancelableUnitOfWork.java:58) at org.eclipse.xtext.util.concurrent.CancelableUnitOfWork.exec(CancelableUnitOfWork.java:27) at org.eclipse.xtext.resource.OutdatedStateManager.exec(OutdatedStateManager.java:70) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.internalReadOnly(XtextDocument.java:525) at org.eclipse.xtext.ui.editor.model.XtextDocument$XtextDocumentLocker.readOnly(XtextDocument.java:497) at org.eclipse.xtext.ui.editor.model.XtextDocument.readOnly(XtextDocument.java:136) at org.eclipse.xtext.util.concurrent.IReadAccess.tryReadOnly(IReadAccess.java:50) at org.eclipse.xtext.ui.editor.validation.ValidationJob.createIssues(ValidationJob.java:87) at org.eclipse.xtext.ui.editor.validation.ValidationJob.run(ValidationJob.java:68) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) com.ge.research.sadl.reasoner.TranslationException: Unexpected error: the object of the triple is not a node of known type ('com.ge.research.sadl.model.gp.JunctionNode) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.checkTripleRange(JenaBasedSadlModelProcessor.java:6360) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.validateTripleTypes(JenaBasedSadlModelProcessor.java:6054) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processSubjHasProp(JenaBasedSadlModelProcessor.java:8155) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:7984) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4194) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processBinaryExpressionByParts(JenaBasedSadlModelProcessor.java:5036) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4637) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processExpression(JenaBasedSadlModelProcessor.java:4175) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processStatement(JenaBasedSadlModelProcessor.java:4056) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.processModelElement(JenaBasedSadlModelProcessor.java:1357) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onValidate(JenaBasedSadlModelProcessor.java:1284) at com.ge.research.sadl.validation.ResourceValidator.doValidate(ResourceValidator.java:75) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:71) at org.eclipse.xtext.validation.ResourceValidatorImpl.validate(ResourceValidatorImpl.java:91) at com.ge.research.sadl.validation.ResourceValidator.lambda$0(ResourceValidator.java:55) at org.eclipse.xtext.util.OnChangeEvictingCache.get(OnChangeEvictingCache.java:77) at com.ge.research.sadl.validation.ResourceValidator.validate(ResourceValidator.java:57) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.addMarkers(DefaultResourceUIValidatorExtension.java:61) at org.eclipse.xtext.ui.validation.DefaultResourceUIValidatorExtension.updateValidationMarkers(DefaultResourceUIValidatorExtension.java:47) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.processDelta(MarkerUpdaterImpl.java:94) at org.eclipse.xtext.builder.builderState.MarkerUpdaterImpl.updateMarkers(MarkerUpdaterImpl.java:64) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.updateMarkers(AbstractBuilderState.java:119) at org.eclipse.xtext.builder.clustering.ClusteringBuilderState.doUpdate(ClusteringBuilderState.java:285) at org.eclipse.xtext.builder.builderState.AbstractBuilderState.update(AbstractBuilderState.java:153) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:388) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) Encountered unhandled OR in rule 'FM2_RC2' Encountered unhandled OR in rule 'FM2_RC2' com.ge.research.sadl.reasoner.TranslationException: Unexpected junction lhs type: class com.ge.research.sadl.model.gp.ProxyNode at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementToPrologRuleString(SWIPrologTranslatorPlugin.java:1004) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.graphPatternElementsToPrologRuleString(SWIPrologTranslatorPlugin.java:837) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateRule(SWIPrologTranslatorPlugin.java:256) at com.ge.research.sadl.swi_prolog.translator.SWIPrologTranslatorPlugin.translateAndSaveModel(SWIPrologTranslatorPlugin.java:186) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.translateAndSaveModel(JenaBasedSadlModelProcessor.java:765) at com.ge.research.sadl.jena.JenaBasedSadlModelProcessor.onGenerate(JenaBasedSadlModelProcessor.java:697) at com.ge.research.sadl.generator.ProcessorProviderBasedGenerator.doGenerate(ProcessorProviderBasedGenerator.java:36) at org.eclipse.xtext.generator.GeneratorDelegate.doGenerate(GeneratorDelegate.java:44) at org.eclipse.xtext.generator.GeneratorDelegate.generate(GeneratorDelegate.java:35) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:597) at org.eclipse.xtext.builder.BuilderParticipant.handleChangedContents(BuilderParticipant.java:578) at org.eclipse.xtext.builder.BuilderParticipant.doGenerate(BuilderParticipant.java:563) at org.eclipse.xtext.builder.BuilderParticipant.doBuild(BuilderParticipant.java:303) at org.eclipse.xtext.builder.BuilderParticipant.build(BuilderParticipant.java:265) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant$DeferredBuilderParticipant.build(RegistryBuilderParticipant.java:162) at org.eclipse.xtext.builder.impl.RegistryBuilderParticipant.build(RegistryBuilderParticipant.java:70) at org.eclipse.xtext.builder.impl.XtextBuilder.doBuild(XtextBuilder.java:392) at org.eclipse.xtext.builder.impl.XtextBuilder.addInfosFromTaskAndBuild(XtextBuilder.java:322) at org.eclipse.xtext.builder.impl.XtextBuilder.incrementalBuild(XtextBuilder.java:303) at org.eclipse.xtext.builder.impl.XtextBuilder.build(XtextBuilder.java:208) at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:833) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263) at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316) at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45) at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319) at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371) at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392) at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154) at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
Can anyone help me or please point me towards a suitable direction ?
Cheers, Amar