Title: Reasoning Web. Declarative Artificial Intelligence : Knowledge, Rules, Logic