Graql Formal Semantics


Hi I would like to know if the formal semantics of Graql is defined. Where does Graql Semantic falls in the realm of first order logic ? I saw that it has horn like rules. Is it some form of restricted combination of Description logic and rule logic ?