Syntax of OWL QL_澳门皇冠体育,皇冠足球比分

jieyingc
2022-04-21T15:00:32.719Z
type:structured-message
www.uio.no

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.