Syntax of OWL QL

Hi all. I would like to clarify the syntax of OWL QL, which might be relevant for oblig 6. It is not clear which Description Logic exactly catches the full syntax of OWL QL. What we know so far is that, as we mentioned on the slides, OWL QL is based on DL-Lite_R. Note that it means that DL-Lite_R is a subset of OWL QL, which means that OWL QL is more expressive than  DL-Lite_R. The syntax on slide 42 in lecture 11 is just for DL-Lite_R, not for the OWL QL. 

To be more specified, OWL QL covers DL-Lite_R with functional roles, datatype property, and possibly other extensions. The full expressivity is written here: https://www.w3.org/TR/owl2-profiles/#OWL_2_QL. 

It is unfortunate that the syntax of OWL QL is not written in a clear mathematical way. So it is not that easy to figure out exactly what operators are supported by OWL QL. One has to go through all texts in that section.