Title :
Efficiency proof of Sirread algorithm
Author :
Kashirin, Igor Yu ; Kurdyukov, Nikolay S.
fDate :
June 30 2014-July 4 2014
Abstract :
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.
Keywords :
Web services; description logic; service-oriented architecture; theorem proving; DL-LiteR descriptive logic; SIR algorithm; SIRRead algorithm; SOA-systems; dynamic systems; efficiency proof; Algorithm design and analysis; Cognition; Complexity theory; Electronic mail; Heuristic algorithms; Knowledge based systems; Ontologies;
Conference_Titel :
Computer Technologies in Physical and Engineering Applications (ICCTPEA), 2014 International Conference on
Conference_Location :
St. Petersburg
Print_ISBN :
978-1-4799-5315-8
DOI :
10.1109/ICCTPEA.2014.6893284
