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.