Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

Open in new window