OWL research at the University of Manchester

Joint research by members of the Information Management Group and the Bio-Health Informatics Group.

Supporting material: Declutter Your Justifications (submitted to WoDOOM12)

Technical report with complete proofs.