Vadalog: A modern architecture for automated reasoning with large knowledge graphs
Luigi Bellomarini, Davide Benedetto, Georg Gottlob, Emanuel Sallinger
Topics & Concepts
DatalogComputer scienceKnowledge representation and reasoningArchitectureFocus (optics)Programming languageRecursion (computer science)GraphTree traversalTheoretical computer scienceArtificial intelligenceSoftware engineeringArtOpticsPhysicsVisual artsSemantic Web and OntologiesData Quality and ManagementAdvanced Database Systems and Queries