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. Share this:Click to share on Facebook (Opens in new window)Click to share on Twitter (Opens in new window)Click to share on Google+ (Opens in new window)Click to email this to a friend (Opens in new window)Click to share on LinkedIn (Opens in new window)Click to share on Reddit (Opens in new window)Click to share on Pinterest (Opens in new window)Click to share on Tumblr (Opens in new window)Click to share on Pocket (Opens in new window)Click to print (Opens in new window)Like this:Like Loading... Tags: automated reasoning | datalog | ontologies