Reasoning web semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures - Summer School on Reasoning Web 2009 : Bressanone, Italy); Tessaris, Sergio; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Query languages (Computer science) -- Congresses; Semantic Web -- Congresses; Ontology -- Congresses; Knowledge representation (Information theory) -- Congresses; Mathematical Logic and Formal Languages; Mathematics of Computing; Logics and Meanings of Programs; Information Systems Applications (incl.Internet); Algorithm Analysis and Problem Complexity; Symbolic and Algebraic Manipulation