RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 16, 2013 18:30, Moscow, MSU, auditorium 16-04
 


On the length of conjunctive query rewritings for OWL 2 QL theories.

S. P. Kikot'

Number of views:
This page:50

Abstract: We establish a connection between circuit complexity and the problem of constructing short rewritings of conjunctive queries for OWL 2 QL (first-order theories of some special form) and its fragments, and exploit it for proving upper and lower bounds for the length of query rewritings.

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017