**Meet the editor**

Muhammad Tanvir Afzal, PhD., is an Assistant Professor in the department of Computer Science at Mohammad Ali Jinnah University, Islamabad, Pakistan, adjunct professor at Graz University of Technology, Graz, Austria, editor-in-chief of a reputed journal such as: Journal of Universal Computer Science, and group leader of an active research group: Centre for Distributed and Se-

mantic Computing. He earned his PhD with distinction from Graz University of Technology, Austria and secured Gold Medal in his Masters from Quaid-i-Azam University, Islamabad, Pakistan. He has published over 50 research articles in reputed journals and conferences. His research activities encompass the area of Semantic Web, Social Web, Sentiment Analysis, Digital Libraries, eLearning, and Information Integration. He is editor/reviewer/session chair of many journals and conferences. He is supervising/ co-supervising number of PhD students in Austria, Pakistan, and Malaysia, and is involved in number of international research projects.

Contents

**Preface IX** 

Emanuel Diamant

Zining Cao

Savina Raynaud

Chapter 4 **Semantic Cache Reasoners 81** 

and Muhammad Tanvir Afzal

**Section 3 Algorithms and Logic Programming 97** 

Chapter 1 **Let Us First Agree on what the Term "Semantics"** 

Chapter 2 **Probabilistic Belief Logics for Uncertain Agents 17** 

Chapter 3 **Queries and Predicate – Argument Relationship 45** 

Chapter 5 **A Common Mathematical Framework for Asymptotic** 

**Debugging of Wrong and Missing Answers in Declarative Constraint Programming 121**  Rafael del Vado Vírseda and Fernando Pérez Morente

Salvador Romaguera and Oscar Valero

Chapter 6 **A Semantic Framework for the Declarative** 

**Section 4 Semantic Web and Interfaces 149** 

Chapter 7 **Spatialization of the Semantic Web 151** 

Muhammad Azeem Abbas, Muhammad Abdul Qadir

**Complexity Analysis and Denotational Semantics** 

Ashish Karmacharya, Christophe Cruz and Frank Boochs

**for Recursive Programs Based on Complexity Spaces 99** 

**Section 2 Queries, Predicates, and Semantic Cache 43** 

**Means: An Unorthodox Approach to an Age-Old Debate 3** 

**Section 1 Background 1** 
