DocumentCode
229321
Title
Efficiency proof of Sirread algorithm
Author
Kashirin, Igor Yu ; Kurdyukov, Nikolay S.
fYear
2014
fDate
June 30 2014-July 4 2014
Firstpage
71
Lastpage
71
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCTPEA.2014.6893284
Filename
6893284
Link To Document