سخنرانان کلیدی

    - پروفسور Hassan Aït-Kaci

   

پروفسور Hassan Ait Kaci که به اختصار نام خود را HAK انتخاب کرده است یکی از بزرگترین دانشمندان کامپیوتر فرانسه محسوب می شود. وی تجربیات زیادی بعنوان عضو ارشد IBM در کانادا دارد و در سوابق وی می توان مدیریت پروژه های بزرگی در سطح اتحادیه اروپا و فرانسه را دید. تخصص ویژه ایشان در حوزه خودکار سازی استدلالی، نمایش دانش و پردازش زبان است.

جهت کسب اطلاعات بیشتر به صفحه شخصی ایشان  مراجعه نمایید.

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

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).

(download slid click here)

 


 

    - پروفسور Mohamad Saraee

   

پروفسور Mohamad Saree دانشیار دانشکده کامپیوتر دانشگاه سالفورد انگلستان است.  وی یک مدرس ارشد در حوزه داده کاوی است و هدایت بخش سیستم های مبتنی بر وب در دانشگاه سالفورد را بعهده دارد.  جهت کسب اطلاعات اینجا کلیک نمایید.

 

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.(download slid click here)