Return to Article Details Towards Contingent World Descriptions in Description Logics Download Download PDF