Dr. Panos Alexopoulos, K-Drive fellow from iSOCO, continues his secondment in University of Aberdeen. In this two weeks’ secondment, his work will be focusing on D7.2: Interactive UI design. As usual, Dr. Alexopoulos will give seminars in departmental level and/or some guest lectures to Level-4 students. Relevant events will be announced later.
Dr. Jeff Z. Pan gave a tutorial in JIST2014 conference on Constructing and Understanding Knowledge Graph.
Abstract: The benefits and potentials of Linked Data (LD) have been utilised and demonstrated by numerous applications from academic, industry and public sectors. This explains the recent vast increase of LD not only in data volume but also in number of datasets and related domains. However, consuming a linked dataset requires technical background of Semantic Web (SW) techniques and the knowledge of the dataset. Direct use of such valuable knowledge space is very time consuming and is still a privilege of SW “geeks”. In this tutorial, we propose the vision of converting LD into knowledge graphs which are not only capable to enhance accessibilities in LD consumption but also enable LD directly usable to end users. Specifically, this tutorial consists of two parts. The first part will introduce the overview, applications and research challenges to create knowledge graphs on top of LD. The second part will focus on specific techniques for knowledge graph, including knowledge graph construction and knowledge graph understanding.
Yuan Ren, a fellow of K-Drive project, successfully defended his PhD thesis on 5th of Nov. 2014. Yuan’s external examiner is Prof Franz Baader. Congratulations to Yuan! One important achievement of K-Drive!
Speaker: Franz Baader
Abstract: Our understanding of the notion “dynamic system” is a rather broad one: such a system has states, which can change over time. Ontologies are used to describe the states of the system, possibly in an incomplete way. Monitoring is then concerned with deciding whether some run of the system or all of its runs satisfy a certain property, which can be expressed by a formula of an appropriate temporal logic. We consider different instances of this broad framework, which can roughly be classified into two cases. In one instance, the system is assumed to be a black box, whose inner working is not known, but whose states can be (partially) observed during a run of the system. In the second instance, one has (partial) knowledge about the inner working of the system, which provides information on which runs of the syste are possible. In this talk, we will review some of our recent research that investigates different instances of this general framework of ontology-based monitoring of dynamic systems.
Bio: Franz Baader is full professor for Theoretical Computer Science at TU Dresden, Germany, since 2002. He has obtained his PhD in Computer Science at the University of Erlangen, Germany, in 1989. He was senior researcher at the German Research Institute for Artificial Intelligence (DFKI) for four years, and associate professor at RWTH Aachen for eight years. His main research area is Logic in Computer Science, in particular knowledge representation (description logics, modal logics, nonmonotonic logics) and automated deduction (term rewriting, unification theory, combination of decision procedures). Franz Baader is an ECCAI Fellow since 2004 and a member of the Academia Europea since 2011.
Venue: Meston 6 (aka Meston 55)
Speaker: Prof Thomas Eiter (TU Wien)
Title: Towards a Logic-based Framework for Analyzing Stream Reasoning
2-3pm, 29th Oct. 2014
Abstract: The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing / reasoning engines were proposed in different communities. However, due to a lack of theoretical foundations, the expressivity and semantics of diverse approaches was given only informally. Towards clear specifications and means for analytic study, a formal framework is desired that allows to characterize their semantics in precise terms. Inspired by this, we present ideas on a logic-based such framework, which features rules and window operators that provide a flexible mechanism to represent views on streaming data. We briefly discuss some complexity issues and relationships to stream query / reasoning languages, in particular capturing of the Continuous Query Language (CQL). This work is part of an ongoing project funded by the Austrian Science Fund.
Bio: Thomas Eiter is a professor at TU Wien since 1998, where he heads the Knowledge Base Systems Group (KBS) and the Institute of Information Systems. Among his current research interests are knowledge representation and reasoning, computational logic, and declarative problem solving. He co-chaired various meetings, most recently KR 2014 and the Vienna Summer of Logic, the largest event in the history of logic. Eiter is an ECCAI Fellow and Corresponding Member of the Austrian Academy of Sciences, and current president of KR, Inc.
In ISWC2014 conference, Jeff Z. Pan gave a tutorial on Large Scale Reasoning Over Semantic Data.
Abstract: The tutorial aims to provide an overview of the approaches used for large scale reasoning over semantic data, the systems developed as well as the lessons learned while developing them. We will discuss some applications which require scalable reasoning solutions. Questions such as what makes distributed/parallel reasoning hard would also be covered during the tutorial. Directions for future research work would be discussed.
Dr. Jeff Z. Pan gave a talk to K-Drive colleagues in IBM Italy. The topic is “Towards ontology based hypothesis generation and validation”, which is related to WP8 and WP9 in K-Drive project.
K-Drive coordinator, Dr. Jeff Z. Pan from University of Aberdeen, is doing his secondment in IBM Italy (started from 10th Oct. 2014). The secondment will include topics related to D5.3 and D6.2 beside project managements.
In last week’s two-day K-Drive workshop, our Marie Curie Fellow, Alessandro Faraotti from IBM Italy, gave a talk about Watson Technology including DeepQA and evidence-based decision making. The detail information of this talk is as follows.
Title: An introduction to Cognitive Computing and Watson
Abstract: The presentation introduces the notion of Cognitive Computing, by specifying what Cognitive Computing is and why it is a step forward in computer science. In particular, it presents the Watson experience in playing the Jeopardy game, the underling Watson architecture and details of all key components.