Integrating Rules and Description Logics by Circumscription

Open in new window