SR4LD2011

Tutorial on Stream Reasoning for Linked Data at ESWC 2011

Abstract

The goal of the Stream Reasoning for Linked Data tutorial is twofold:

  1. to introduce scalable reasoning and querying techniques to SW researchers as powerful tool to make use of linked data and large-scale ontologies, and
  2. to present interesting research problems for SW that arise in reasoning with highly dynamic data streams [1,7].

The tutorial consists of five parts. It will begin with an introduction of linked data, as well as the Semantic Web standard ontology language OWL 2 and its related reasoning services. The introduction will include examples of how to make use of OWL 2 ontologies in linked data and how to use reasoning services to exploit linked data. It will then start with semantic processing of data streams explained using C-SPARQL, a continuous extension of SPARQL for querying RDF streams and RDF graphs. The third part of the tutorial will present stream reasoning techniques for RDFS and OWL2-RL. The fourth part will introduce approximate stream reasoning techniques for OWL2-DL. The last part of the tutorial is a hands-on session on some tools and systems related to the first four parts.

Description

Who is the target audience?

The target audience of the proposed tutorial includes researchers as well as practitioners who are interested in the latest technological developments on applying ontological stream reasoning services in linked data.

What will the audience walk away with?

The material to be handed out to the attendees will be the tutorial slide set; we will also set up a separate web page that will contain all relevant information, additional material for download. Where possible, we will prepare online-interfaces for the presented tools that the users play around with

What makes the topic innovative?

The tutorial focus on innovative stream reasoning techniques while presenting state-of-the-arts scalable reasoning and querying for the new W3C standard ontology language OWL 2.

How long does it last?

The tutorial lasts for six hours (a full day tutorial).

What should I know?

Although no specific pre-knowledge is required to follow the tutorial, basic knowledge in Semantic Web may allow better following the tutorial — and for gaining more benefits from it.

Attending

In order to attend to this tutorial you have to register to ESWC 2011.

Content

9.00-10.30 — Introduction to Linked Data and OWL 2 (90m)

The first session gives an overview of linked data as well as the new W3C recommendation OWL 2 and its reasoning services, covering:

  • Linked data, Semantic Web and Ontology
  • Overview: from OWL 1 to OWL 2
  • Reasoning services in OWL 2

11.00-12.30 — C-SPARQL: A Continuous Extension of SPARQL (90m)

This session presents an overview of extensions of SPARQL for querying and reasoning on highly dynamic data streams and rich background knowledge, in particular it focus on Continuous-SPARQL (C-SPARQL) [2]. This session covers:

14.00-15.00 — Stream Reasoning techniques for RDFS and OWL2-RL (60m)

This third session presents our recent work on stream reasoning techniques for RDFS and OWL2-RL. This session covers:

  • [3.1] Incrementally maintaining materializations of ontologies stored in logic database
  • [3.2] Optimization techniques for incrementally maintaining materializations when changes are caused by streaming data [4]
  • [3.3] Practical examples of continuous social media analysis [3]

15.00 -16.30 — Approximate Reasoning and Approximate Stream Reasoning for OWL2-DL (60m including coffee break)

This fourth session present our recent work on faithful approximate reasoning for OWL2-DL, as well as its extensions for ontological stream reasoning in OLW2-DL. This session covers:

  • [4.1] Approximate reasoning for OWL2-DL [5,6]
  • [4.2] Approximate stream reasoning for OWL2-DL [7]

16.30 – 17.00 — Hands-on Session (60m)

Each of the previous sessions was accompanied with small practical examples. As a final part of the tutorial, the attendees will practice and combine their experiences from the different sessions with a larger test case. The session will be conducted dividing the audience in small groups which will be guided by one of the presenters through an integrated test scenario.

Distributed software:

The team of presenters

Jeff Z. Pan received his Ph.D. from University of Manchester in 2004 and joined the faculty in the Department of Computing Science at University of Aberdeen in 2005. His research focuses primarily on knowledge representation and reasoning, in particular scalable ontology reasoning and querying, and their applications (such as Semantic Web, Software Engineering and Multimedia). His research led to over 90 refereed publications. He is an Associate Editor of the Journal of Advances in Artificial Intelligence and on the Editorial Board of the Journal of Web Semantics (JoWS), the International Journal on Semantic Web and Information Systems (IJSWIS) and the Journal of Emerging Technologies in Web Intelligence (JETWI). He served/serves as Program Chair of the First International Conference on Web Reasoning and Rule System (RR2007, which is the first Semantic Web conference on Reasoning), of the Ontology and Reasoning Track in the Extended Semantic Web Conference (ESWC2010) and of the Doctoral Consortiums in the 9th International Semantic Web Conference (ISWC2010) and in the 8th Extended Semantic Web Conference (ESWC2011). He has given a number of invited talks, including a conference keynote, on ontology reasoning in general and scalable ontology query answering in particular. Related courses he teaches/taught include CS3019 (Knowledge-based Systems), CS4021 (Knowledge Technologies) and CS4029/CS5010 (Semantic Web Engineering). He has rich experience in giving tutorials at leading international conferences and summer schools. He gave a tutorial on OWL 2 as part of the Advanced SIKS2009 Course on the Semantic Web, a tutorial on OWL 2 at the CSWS2009 Summer School, and a tutorial on Semantic Web Rule Languages and OWL 2 at CSWS2009. He gave a tutorial on Scalable OWL Reasoning for Linked Data at ESWC2010. gave a tutorial on Large-Scale Ontology Reasoning and Querying at the AAAI2010 Tutorial Forum. He gave a tutorial on Efficient and Scalable DL Reasoning at the Reasoning Web Summer School 2010.

Emanuele Della Valle is a Assistant Professor of “Software Project Management ” at the Department of Electronics and Information of the Politecnico di Milano since July 2008. He started CEFRIEL ’s Semantic Web Activities in 2001 and he coordinated the Semantic Web group until June 2008. He was Aggregated Professor of Knowledge Engineerig at Università dell’Insubria from 2006 and 2010. He was Service Coordinator for Testbeds and Challenges of Semantic Technology Institute – International from 2007 to 2008. His activities include research, education and industrial projects.

His major research interest is in semantic technologies and in particular in translating them into business opportunities by performing research that is justified and guided by business needs. Following this strategy, he is leading the Business and technology Watch activities of the Search Computing project, the Urban Computing use case of the European project LarKC and the Stream Reasoning activities within LarKC. Between 2008 and 2009, he was Project and Scientific Manager of the European project Service-Finder which aimed at realizing Web Service Discovery at Web Scale exploiting Semantic and Web 2.0 technologies. Between 2006 and 2008, he was Technical Manager of the European Project SEEMP which aimed at prototyping a semantic interoperability middleware for e-employment services. Between 2006 and 2008, he also participated to the research activities of the research projects NeP4B and TripCom . Between 2004 and 2006, he was deputy Technical and Scientific Manager of the European Project COCOON. His work on Semantic Web Service was evaluated “the most complete solution presented at Phase-II of Semantic Web Service Challenge” and received the IBM Faculty Award in 2006.

His education activities include lecturing: Software Project Management at Politecnico di Milano; Knowledge Engineering at Università dell’Insubria; a tutorial about Realizing Semantic Web Applications at BIS 2008, ISWC 2008, and ICWE 2010; the LarKC Early Adopters Tutorial Series at ISWC 2009, and ESWC 2010; and several industrial short courses for CEFRIEL centered on future evolution of the Web. In 2008 he was author of the first Italian Semantic Web book. Between 2004 and 2007, he was lecturer of Advance Information Systems at Politecnico di Milano.

His industrial projects are focused on bring innovation in enterprises and public bodies. Between 2006 and 2008, he worked on a business opportunity for starting up a company centered on Squiggle (CEFRIEL’s Semantic Search Engine). The business idea of Squiggle was evaluated among the best 10 submitted to Obiettivo ICT in 2006, it received the second prize at StartCup Milano Lombardia in 2008 and it was nominated for Premio Nazionale Innovazione 2008. His consultancy activities include feasibility studies for Web portals, search engines and document management systems; support in developing portals and search engines that combines Semantic Technologies and Web 2.0; and support in information systems integration using SOA, Web 2.0 and Semantic Technologies.

References

[1] Emanuele Della Valle, Stefano Ceri, Frank van Harmelen, and Dieter Fensel. It’s a streaming world! reasoning upon rapidly changing information. IEEE Intelligent Systems, 24(6):83–89, 2009.

[2] Davide Francesco Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, Michael Grossniklaus: C-SPARQL: a Continuous Query Language for RDF Data Streams. Int. J. Semantic Computing 4(1): 3-25 (2010)

[3] Davide Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, Yi Huang, Volker Tresp, Achim Rettinger, and Hendrik Wermser. Deductive and inductive stream reasoning for semantic social media analytics. IEEE Intelligent Systems 25 (6): 32-41 (2010)

[4] Davide Francesco Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, and Michael Grossniklaus. Incremental reasoning on streams and rich background knowledge. In Lora Aroyo, Grigoris Antoniou, Eero Hyvo ?nen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, and Tania Tu- dorache, editors, ESWC (1), volume 6088 of Lecture Notes in Computer Science, pages 1–15. Springer, 2010.

[5] Jeff Z. Pan and Edward Thomas. Approximating OWL-DL Ontologies. In the Proc. of the 22nd AAAI Conference on Artificial Intelligence (AAAI- 07), pages 1434–1439, 2007.

[6] Yuan Ren, Jeff Z. Pan and Yuting Zhao. Soundness Preserving Approximation for TBox Reasoning. In Proc. of the 25th AAAI Conference Conference (AAAI2010). 2010.

[7] Yuan Ren, Jeff Z. Pan and Yuting Zhao. Towards Scalable Reasoning on Ontology Streams via Syntactic Approximation. In Proc. of the ISWC2010 Workshop on Ontology Dynamics (IWOD2010). 2010.