Esta es otra notación muy utilizada por algunos sistemas de lógicas de descripción.