Return to Article Details Towards World Identification in Description Logics Download Download PDF