PT

Description Logic Queries

Section 9.1