-- Implementing prioritized logic programming -- Extending description logics with