Conservative Extensions in Horn Description Logics with Inverse Roles

Open in new window