Recent advances in theorem proving for description logics have made it possible to automate practical reasoning with large ontologies. However, while current ontology reasoners can handle classical reasoning problems such as subsumption, instance checking, and consistency checking, they are incapable of dealing with conflicts in meaningful ways. In this talk I will outline some recent work by our group on ways of managing inconsistent ontologies. This work is part of a larger project on ontology management and navigation, and I will also briefly discuss the main components of the project.