Wolfgang Pauli Institute (WPI) Vienna

Home WPI in a nutshell Practical Information Events People WPI Projects
Login Thematic Programs Pauli Fellows Talks Research Groups

"Reasoning Web 2012" Summer School (external website )

Location: University of Technology Vienna Mon, 3. Sep (Opening: 9:00) - Sat, 8. Sep 12
Topics:
Objectives

The Semantic Web is one of the major current endeavors of applied Computer Science. The Semantic Web aims at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced (so-called intelligent) capabilities, in particular with context-awareness and decision support. The advanced capabilities required in most Semantic Web application scenarios primarily call for reasoning. Reasoning capabilities are offered by Semantic Web languages that are currently being developed. Most of these languages, however, are developed mainly from functionality-centered perspectives (e.g. ontology reasoning or access validation) or application-centered perspectives (e.g. Web service retrieval and composition). A perspective centered on the reasoning techniques complementing the above-mentioned activities appears desirable for Semantic Web systems and applications. This Summer School series is devoted to this perspective.
Organisation(s)
TU Wien
WPI
Organiser(s)
Thomas Eiter (TU Wien)
Objectives

The Semantic Web is one of the major current endeavors of applied Computer Science. The Semantic Web aims at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced (so-called intelligent) capabilities, in particular with context-awareness and decision support.

The advanced capabilities required in most Semantic Web application scenarios primarily call for reasoning. Reasoning capabilities are offered by Semantic Web languages that are currently being developed. Most of these languages, however, are developed mainly from functionality-centered perspectives (e.g. ontology reasoning or access validation) or application-centered perspectives (e.g. Web service retrieval and composition). A perspective centered on the reasoning techniques complementing the above-mentioned activities appears desirable for Semantic Web systems and applications. This Summer School series is devoted to this perspective.

Talks in the framework of this event


Magdalena Ortiz, Mantas Šimkus TU Vienna, main building Mon, 3. Sep 12, 9:15
Reasoning and Query Answering in Description Logics I
Description Logics (DLs) play a central role as formalisms for representing ontologies and reasoning about them. They are the logical underpinning of the OWL languages for the Semantic Web, and are increasingly employed in many application areas. This lecture will introduce the basics of DLs. We will discuss the knowledge modeling capabilities of some of the most prominent DLs and present some classic DL reasoning services, like classification, consistency, and instance checking. In the second part of the lecture we will approach the use of DL ontologies for data access, and introduce the increasingly popular framework in which data repositories are queried through DL ontologies. We will discuss the main challenges that arise in this setting and describe some query answering techniques. The computational complexity of the latter will also be briefly discussed.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Magdalena Ortiz, Mantas Šimkus TU Vienna, main building Mon, 3. Sep 12, 11:00
Reasoning and Query Answering in Description Logics II
Description Logics (DLs) play a central role as formalisms for representing ontologies and reasoning about them. They are the logical underpinning of the OWL languages for the Semantic Web, and are increasingly employed in many application areas. This lecture will introduce the basics of DLs. We will discuss the knowledge modeling capabilities of some of the most prominent DLs and present some classic DL reasoning services, like classification, consistency, and instance checking. In the second part of the lecture we will approach the use of DL ontologies for data access, and introduce the increasingly popular framework in which data repositories are queried through DL ontologies. We will discuss the main challenges that arise in this setting and describe some query answering techniques. The computational complexity of the latter will also be briefly discussed.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Šimkus TU Vienna, main building Mon, 3. Sep 12, 14:30
Datalog and Its Extensions for Semantic Web Databases I
In this lecture we introduce Datalog, a powerful language for expressing complex queries over relational data and a means for declarative problem solving. To argue that Datalog is particularly appealing for the Semantic Web, we will identify some of the expressivity limitations of the traditional SQL-like query languages, and show how they can be overcome using Datalog. We will further discuss extensions of Datalog that allow to capture some of the ontology languages of the OWL family, and can thus be used to reason about ontologies.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Šimkus TU Vienna, main building Mon, 3. Sep 12, 16:30
Datalog and Its Extensions for Semantic Web Databases II
In this lecture we introduce Datalog, a powerful language for expressing complex queries over relational data and a means for declarative problem solving. To argue that Datalog is particularly appealing for the Semantic Web, we will identify some of the expressivity limitations of the traditional SQL-like query languages, and show how they can be overcome using Datalog. We will further discuss extensions of Datalog that allow to capture some of the ontology languages of the OWL family, and can thus be used to reason about ontologies.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

François Bry, Sebastian Schaffert, Denny Vrandecic, Klara Weiand TU Vienna, main building Tue, 4. Sep 12, 9:00
Semantic Wikis: Approaches, Applications, and Perspectives I
Since about a decade Semantic Wikis have been proposed, systems have been conceived, developed and used for various purposes. This article aims first at a comprehensive state-of-the-art on the research on Semantic Wiki stressing the concepts and techniques making Semantic Wikis easy to use by a wide, and possibly unskilled, audience. The further describes applications, or application use cases, that have driven the research on Semantic Wikis. Finally, the article addresses software techniques and architectures that have been proposed for Semantic Wikis.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

François Bry, Sebastian Schaffert, Denny Vrandecic, Klara Weiand TU Vienna, main building Tue, 4. Sep 12, 11:00
Semantic Wikis: Approaches, Applications, and Perspectives II
Since about a decade Semantic Wikis have been proposed, systems have been conceived, developed and used for various purposes. This article aims first at a comprehensive state-of-the-art on the research on Semantic Wiki stressing the concepts and techniques making Semantic Wikis easy to use by a wide, and possibly unskilled, audience. The further describes applications, or application use cases, that have driven the research on Semantic Wikis. Finally, the article addresses software techniques and architectures that have been proposed for Semantic Wikis.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

François Bry, Sebastian Schaffert, Denny Vrandecic, Klara Weiand TU Vienna, main building Tue, 4. Sep 12, 14:30
Semantic Wikis: Approaches, Applications, and Perspectives III
Since about a decade Semantic Wikis have been proposed, systems have been conceived, developed and used for various purposes. This article aims first at a comprehensive state-of-the-art on the research on Semantic Wiki stressing the concepts and techniques making Semantic Wikis easy to use by a wide, and possibly unskilled, audience. The further describes applications, or application use cases, that have driven the research on Semantic Wikis. Finally, the article addresses software techniques and architectures that have been proposed for Semantic Wikis.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Marcelo Arenas, Jorge Pérez TU Vienna, main building Wed, 5. Sep 12, 9:00
Federation and Navigation in SPARQL 1.1 I
SPARQL is now widely used as the standard query language for RDF. Since the release of its first version in 2008, the W3C group in charge of the standard has been working on extensions of the language to be included in the new version, SPARQL 1.1. These extensions include several interesting and very useful features for querying RDF.

In this tutorial, we survey two key features of SPARQL 1.1: Federation and navigation capabilities. We focus on the formalization of these two features, in particular, of their syntax and semantics. We analyze some classical theoretical problems such as expressiveness and complexity, and discuss some algorithmic properties. Moreover, we present some important recently discovered issues regarding the normative semantics of federation and navigation in SPARQL 1.1, specifically, on the impossibility of answering some unbounded federated queries and the high computational complexity of the evaluation problem for queries including navigation functionalities. We argue that these issues may have a significant impact on the adoption of the new standard, and we discuss on possible alternatives and their implications.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Marcelo Arenas, Jorge Pérez TU Vienna, main building Wed, 5. Sep 12, 11:00
Federation and Navigation in SPARQL 1.1 II
SPARQL is now widely used as the standard query language for RDF. Since the release of its first version in 2008, the W3C group in charge of the standard has been working on extensions of the language to be included in the new version, SPARQL 1.1. These extensions include several interesting and very useful features for querying RDF.

In this tutorial, we survey two key features of SPARQL 1.1: Federation and navigation capabilities. We focus on the formalization of these two features, in particular, of their syntax and semantics. We analyze some classical theoretical problems such as expressiveness and complexity, and discuss some algorithmic properties. Moreover, we present some important recently discovered issues regarding the normative semantics of federation and navigation in SPARQL 1.1, specifically, on the impossibility of answering some unbounded federated queries and the high computational complexity of the evaluation problem for queries including navigation functionalities. We argue that these issues may have a significant impact on the adoption of the new standard, and we discuss on possible alternatives and their implications.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Guilin Qi, Jianfeng Du TU Vienna, main building Wed, 5. Sep 12, 14:30
Reasoning with Uncertain and Inconsistent Ontologies on the Semantic Web I
Ontologies play an important role for the success of the Semantic Web. Due to the dynamic nature of the Web, one can hardly expect to rely on ontologies with precise definitions and without any error. Thus, reasoning with uncertainty and dealing with inconsistency are two important issues in ontology engineering. In this tutorial, we will first introduce probabilistic description logics and possibilistic description logics, two important formalisms to represent and reasoning with uncertain and inconsistent ontologies. We discuss the relationship and difference betwen these two formalisms. We will then consider the dynamics of ontologies and focus on the problem of revising one ontology with another ontology. This problem is closely related to the problem of belief revision, which has been widely discussed in the literature. We give an overview of approaches to revising ontologies when inconsistencies occur.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Guilin Qi, Jianfeng Du TU Vienna, main building Wed, 5. Sep 12, 16:30
Reasoning with Uncertain and Inconsistent Ontologies on the Semantic Web II
Ontologies play an important role for the success of the Semantic Web. Due to the dynamic nature of the Web, one can hardly expect to rely on ontologies with precise definitions and without any error. Thus, reasoning with uncertainty and dealing with inconsistency are two important issues in ontology engineering. In this tutorial, we will first introduce probabilistic description logics and possibilistic description logics, two important formalisms to represent and reasoning with uncertain and inconsistent ontologies. We discuss the relationship and difference betwen these two formalisms. We will then consider the dynamics of ontologies and focus on the problem of revising one ontology with another ontology. This problem is closely related to the problem of belief revision, which has been widely discussed in the literature. We give an overview of approaches to revising ontologies when inconsistencies occur.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Manfred Hauswirth, Danh Le Phuoc, Josiane Xavier Parreira TU Vienna, main building Thu, 6. Sep 12, 9:00
Linked Data Stream Processing I
The RDF data which arrives in multiple, continuous, rapid and time-varying data streams has become more popular in real-time data sources like sensor data, social network. This time-dependent linked data, called Linked Stream Data, motivated several work in proposing data models associated with processing engines. This paper gives an overview about Linked Data Stream and the state of the art of processing models and techniques. In addition, by giving a survey on relevant work and technologies, the paper explores new issues and challenges in new requirements, query languages and query processing.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Manfred Hauswirth, Danh Le Phuoc, Josiane Xavier Parreira TU Vienna, main building Thu, 6. Sep 12, 11:00
Linked Data Stream Processing II
The RDF data which arrives in multiple, continuous, rapid and time-varying data streams has become more popular in real-time data sources like sensor data, social network. This time-dependent linked data, called Linked Stream Data, motivated several work in proposing data models associated with processing engines. This paper gives an overview about Linked Data Stream and the state of the art of processing models and techniques. In addition, by giving a survey on relevant work and technologies, the paper explores new issues and challenges in new requirements, query languages and query processing.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Babis Nikolaou, Michael Sioutis TU Vienna, main building Thu, 6. Sep 12, 14:30
Data Models and Query Languages for Linked Geospatial Data I
The recent availability of geospatial information as linked open data has generated new interest in geospatial query processing and reasoning, a topic with a long tradition of research in the areas of databases and artificial intelligence. In this paper we survey recent advances in this important research topic concentrating on issues of data modeling and querying.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Babis Nikolaou, Michael Sioutis TU Vienna, main building Thu, 6. Sep 12, 16:30
Data Models and Query Languages for Linked Geospatial Data II
The recent availability of geospatial information as linked open data has generated new interest in geospatial query processing and reasoning, a topic with a long tradition of research in the areas of databases and artificial intelligence. In this paper we survey recent advances in this important research topic concentrating on issues of data modeling and querying.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Sergio Flesca, Tim Furche, Ermelinda Oro TU Vienna, main building Fri, 7. Sep 12, 9:00
Reasoning and Ontologies in Data Extraction I
The web has become a pig sty—everyone dumps information at random places and in random shapes. Try to find the cheapest apartment in Oxford considering rent, travel, tax and heating costs; or a cheap, reasonable reviewed 11" laptop with an SSD drive.

Data extraction flushes structured information out of this sty: It turns mostly unstructured web pages into highly structured knowledge. In this chapter, we give a gentle introduction to data extraction including pointers to existing systems. We start with an overview and classification of data extraction systems along two primary dimensions, the level of supervision and the considered scale. The rest of the chapter is the organized along the first of these dimensions: In the first part, we discuss supervised data extraction, where a human user identifies for each site examples of the relevant data and the system generalizes these examples into extraction programs. We focus particularly on declarative and rule-based paradigms. In the second part, we turn to fully automated (or unsupervised) approaches where the system by itself identifies the relevant data and fully automatically extracts data from many websites. Ontologies or schemata have proven invaluable to guide unsupervised data extraction and we will present an overview of the existing approaches and the different way in which they are using Ontologies.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Sergio Flesca, Tim Furche, Ermelinda Oro TU Vienna, main building Fri, 7. Sep 12, 11:00
Reasoning and Ontologies in Data Extraction II
The web has become a pig sty—everyone dumps information at random places and in random shapes. Try to find the cheapest apartment in Oxford considering rent, travel, tax and heating costs; or a cheap, reasonable reviewed 11" laptop with an SSD drive.

Data extraction flushes structured information out of this sty: It turns mostly unstructured web pages into highly structured knowledge. In this chapter, we give a gentle introduction to data extraction including pointers to existing systems. We start with an overview and classification of data extraction systems along two primary dimensions, the level of supervision and the considered scale. The rest of the chapter is the organized along the first of these dimensions: In the first part, we discuss supervised data extraction, where a human user identifies for each site examples of the relevant data and the system generalizes these examples into extraction programs. We focus particularly on declarative and rule-based paradigms. In the second part, we turn to fully automated (or unsupervised) approaches where the system by itself identifies the relevant data and fully automatically extracts data from many websites. Ontologies or schemata have proven invaluable to guide unsupervised data extraction and we will present an overview of the existing approaches and the different way in which they are using Ontologies.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Markus Krötzsch TU Vienna, main building Fri, 7. Sep 12, 14:30
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages I
This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL, and OWL RL of the Web Ontology Language OWL. Those three ontology language standards are sublanguages of OWL DL that are restricted in ways that significantly simplify ontological reasoning. Compared to OWL DL as a whole, reasoning algorithms for the OWL profiles show higher performance, are easier to implement, and can scale to larger amounts of data. Since ontological reasoning is of great importance for designing and deploying OWL ontologies, the profiles are highly attractive for many applications. These advantages come at a price: various modelling features of OWL are not available in all or some of the OWL profiles. Moreover, the profiles are mutually incomparable in the sense that each of them offers a combination of features that is available in none of the others. This chapter provides an overview of these differences and explains why some of them are essential to retain the desired properties. To this end, we recall the relationship between OWL and description logics (DLs), and show how each of the profiles is typically treated in reasoning algorithms.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Markus Krötzsch TU Vienna, main building Fri, 7. Sep 12, 16:30
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages II
This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL, and OWL RL of the Web Ontology Language OWL. Those three ontology language standards are sublanguages of OWL DL that are restricted in ways that significantly simplify ontological reasoning. Compared to OWL DL as a whole, reasoning algorithms for the OWL profiles show higher performance, are easier to implement, and can scale to larger amounts of data. Since ontological reasoning is of great importance for designing and deploying OWL ontologies, the profiles are highly attractive for many applications. These advantages come at a price: various modelling features of OWL are not available in all or some of the OWL profiles. Moreover, the profiles are mutually incomparable in the sense that each of them offers a combination of features that is available in none of the others. This chapter provides an overview of these differences and explains why some of them are essential to retain the desired properties. To this end, we recall the relationship between OWL and description logics (DLs), and show how each of the profiles is typically treated in reasoning algorithms.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Francesca Toni TU Vienna, main building Sat, 8. Sep 12, 9:00
Argumentation and the Web I
I will provide an overview of computational argumentation, focusing on abstract argumentation and assumption-based argumentation, as well as uses of these forms of argumentation in Web contexts, and in particular Semantic Web as well as Social Networks contexts. I will outline achievements to date as well as open issues and challenges.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Francesca Toni TU Vienna, main building Sat, 8. Sep 12, 11:00
Argumentation and the Web II
I will provide an overview of computational argumentation, focusing on abstract argumentation and assumption-based argumentation, as well as uses of these forms of argumentation in Web contexts, and in particular Semantic Web as well as Social Networks contexts. I will outline achievements to date as well as open issues and challenges.
  • Thematic program: Logic based reasoning and data mining on the web (2012)
  • Event: "Reasoning Web 2012" Summer School (2012)

Impressum webmaster [Printable version]