Keynote Speakers

  • Professor Hassan Aït-Kaci

Professor Hassan Ait-Kaci (known with HAK) is a famous French computer scientist. He has been a Senior Member of the technical staff at IBM Canada. From 2013 to 2015 he was the holder of an ANR Chair of Excellence at the University of Lyon 1, France, where he was leading the CEDAR project (Constraint Event-Driven Automated Reasoning). He has pioneered the use of constraints for representing and processing knowledge. His main interests and expertise are in automated reasoning, knowledge representation, language processing and machine learning. For more information please visit here.

Today's Semantic Web: What it amounts to;  Why it is ill-conceived; How it could be fixed

Abstract

My own interest in the Web has been from the perspective of AI, and more specifically knowledge representation and automated reasoning. The WWW Consortium (W3C) calls this the "Semantic Web" (SW) - or "web of meaning". Today, many are familiar with SW technology which essentially boils down to the Web Ontology Language OWL, which the W3C has adopted as an official recommendation. This technology is based on a logical formalism known as Description Logic. It has been provided de facto as an exclusive means for representing knowledge on the Internet and performing reasoning using this knowledge. However, it has a rather unfamiliar notation and logic. More problematically, its expressivity is incomprehensibly limited (it is a very restricted decidable propositional logic). Even more surprisingly, it departs from technology that could be used for the same purpose, which is much more mature, expressive, and powerful, such as Constraint Logic Programing (CLP), and which has been well honed over several decades of research with impressive performances. Why this has come to be is intriguing to say the least, especially when one realizes the poor expressivity of OWL and its drastic operational performance beyond toy examples. In this presentation, I will explain what OWL can and cannot do and why this makes it inadequate for a truly semantic Web. In view of that, I will describe an alternative formalism that can address many of its inherent limitations. This presentation will assume some familiarity with basic Formal Logic and some Logic Programming (Prolog, unification).

 

 


 

  • Professor Mohamad Saraee

Professor Mohamad Saree is a Senior Lecturer in Data Mining & Bioinformatics, & Programme Leader, MSc DWBS (Databases & Web-Based Systems) at the University of Salford, United Kingdom. For more information please visit here.

 

Data Science & Web Research: A Perfect Marriage

Abstract

Certainly, Data Science is the future because the world has trillions and trillions of unused yet very useful data, so world needs a lot of good data scientist to overcome this situation. Web development is forever as there will always be something called Face book, YouTube, Wikipedia, Google, etc may be with the same name as these or something new . There will always be a demand of good web developers. So let marry these together to get the best of the both world. We will present the integration of Data Science and Web development from every aspect and discuss how one can complement the other to help in development of web analytics. Real life examples using existing tools will be presented.