Reasoning with Inconsistent Ontologies