Description Logic Based Ontology Languages Ian Horrocks Information Systems Group Oxford University Computing Laboratory.
Description Logic: A Formal Foundation for Languages and Tools
Description Logic Based Ontology Languages
Description Logic Reasoning