Acyclicity Conditions and their Application to Query Answering in Description Logics

Open in new window