Return to Article Details Conservative Extensions in Horn Description Logics with Inverse Roles Download Download PDF