I have a question regarding ordering of data in both model.write() and when rules fire.
I am writing statements to a file using model.write(). The statements look like they do below: <http://www.compscii.com/ontologies/0.1/AutoIE.owl##route1> < http://www.compscii.com/ontologies/0.1/AutoIE.owl##isTrackedBy> < http://www.compscii.com/ontologies/0.1/AutoIE.owl##point1> . <http://www.compscii.com/ontologies/0.1/AutoIE.owl##route1> < http://www.compscii.com/ontologies/0.1/AutoIE.owl##isTrackedBy> < http://www.compscii.com/ontologies/0.1/AutoIE.owl##point2> . <http://www.compscii.com/ontologies/0.1/AutoIE.owl##route1> < http://www.compscii.com/ontologies/0.1/AutoIE.owl##isTrackedBy> < http://www.compscii.com/ontologies/0.1/AutoIE.owl##point3> . However, when writing these statements to a file, they don't show up in the file in monotonically increasing order. I then have a rule: [Rule1 (?r ie:isTrackedBy ?p) ->DoSomething(?r ie:lineSegment ?l)] When I load the file later into an inference model and the rules fire, they seem to fire from the statements at the bottom of the file first towards the top. I need the rules to fire on the statements in monotically increasing order. Is there any way to ensure that when the model writes to a file it writes the statements in order? Can I trust that the rules will always fire from the statements at the bottom of the file first?
