Reasoning web semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / [electronic resource] : Semantic technologies for information systems edited by Sergio Tessaris ... [et al.]. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - 356 pages : illustrations, digital. - Lecture notes in computer science, 5689 0302-9743 ; .

9783642037542


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.

025.0427