dae16808_r___School_of_Computer_Science__Description
[Project] Extending Expressive Description Logics. [Type] Funded [Description] 
The project investigates different extensions of expressive description logics that are motivated by the use of Description Logics as the logical underpinning of ontology languages such as OWL, studies their computational complexity, and designs practical reasoning algorithms for them.
Areas and projects | The University of Manchester | School of Computer Science
Description