Efficiency proof of Sirread algorithm
I. Yu. Kashirin, Nikolay S. Kurdyukov · 2014
The conference participants talks about an efficiency of SIRRead algorithm of interaction within dynamic systems. The DL-LiteR descriptive logic and complexity for the most popular reasoning aims of SOA-systems is shown. Results of testing showed that performance of SIR algorithm demands rather small amount of processor time.