Download Description Logic: A Formal Foundation for Ontology Languages