Posts Tagged ‘automated reasoning’ Reasoning Web 2012 – Lecture 12.18.2012, Comments Off on Reasoning Web 2012 – Lecture, Lectures, by BigBear. Talk about Datalog and its extensions for the Semantic Web at the 8th Reasoning Web Summer School held in Wien. Tags: automated reasoning | datalog | ontologies