أرسل هذا في رسالة قصيرة: Combining answer set programming with description logics for the semantic Web