This language, called the language of tree-shaped conjunctive queries, is a minimal query language that is shared by most knowledge representation languages and is supported by Description Logic reasoners.
the Query Tool formal framework (Guagliardo 2009) defines a tree-shaped conjunctive query as a labeled tree whose edges are labeled with relations and whose nodes are labeled with a variable and a non-empty set of concept names.