Reasoning Web 2013 Papers

機械学習技術 人工知能技術 自然言語処理技術 セマンティックウェブ技術 オントロジー技術 デジタルトランスフォーメーション技術   AI学会論文    知識情報処理技術   AI学会論文を集めて     推論技術

In the previous article, we discussed Reasoning Web 2012. In this issue, we describe the 9th Reasoning Web Summer School 2013, held in Mannheim, Germany, from July 30 to August 2, 2013.

The Reasoning Web Summer School series has long been the premier educational event in the active field of reasoning methods for the Web, attracting young and experienced researchers alike. Previous editions have been held in Malta (2005), Lisbon (2006), Dresden (2007, 2010), Venice (2008), Bressanon-Brixen (2009), Galway (2011), and Vienna (2012).

The 2013 edition was hosted by the Data and Web Science Research Group of the University of Mannheim (http://dws.informatik.uni-mannheim.de), co-chaired by Heiner Stuckenschmidt and Chris Bizer, which currently has four professors, five postdoctoral fellows, and 15 doctoral students. The group, which covers the entire Web data lifecycle, including information extraction and integration, data management, inference and mining, and data exchange with users, is the perfect place to host this summer school. The group is also known for related community activities such as DBpedia and ontology alignment evaluation, and has a strong background in Web reasoning, working primarily on non-standard reasoning for information integration and information retrieval, scalable reasoning through parallelization, and combining logical and probabilistic reasoning.

This summer school was held in conjunction with the Web Reasoning and Rule Systems (RR) International Conference. In addition, the two events were immediately preceded by the 2nd OWL Reasoner Evaluation Workshop (ORE 2013) on July 22 and the 26th International Workshop on Description Logic (DL 2013) from July 23 to 26 in Ulm, Germany.

The 2013 summer school covered various aspects of web reasoning, from extensible and lightweight formats such as RDF to more expressive logic languages based on description logic. It also covered basic reasoning techniques used in answer-set programming and ontology-based data access, as well as emerging topics such as geospatial information handling and inference-driven information extraction and integration.

The slides accompanying the lectures and all tutorial materials are available on the summer school website (http://reasoningweb.org/2013/).

The details are described below.

With Linked Data, a very pragmatic approach towards achieving the vision of the Semantic Web has gained some traction in the last years. The term Linked Data refers to a set of best practices for publishing and interlinking structured data on the Web. While many standards, methods and technologies developed within by the Semantic Web community are applicable for Linked Data, there are also a number of specific characteristics of Linked Data, which have to be considered. In this article we introduce the main concepts of Linked Data. We present an overview of the Linked Data lifecycle and discuss individual approaches as well as the state-of-the-art with regard to extraction, authoring, link- ing, enrichment as well as quality of Linked Data. We conclude the chapter with a discussion of issues, limitations and further research and development challenges of Linked Data. This article is an updated version of a similar lecture given at Reasoning Web Summer School 2011.

Linked Data promises that a large portion of Web Data will be usable as one big interlinked RDF database against which structured queries can be answered. In this lecture we will show how reasoning – using RDF Schema (RDFS) and the Web Ontology Language (OWL) – can help to obtain more complete answers for such queries over Linked Data. We first look at the extent to which RDFS and OWL features are being adopted on the Web. We then introduce two high-level architectures for query answering over Linked Data and outline how these can be enriched by (lightweight) RDFS and OWL reasoning, enumerating the main challenges faced and discussing reasoning methods that make practical and theoretical trade-offs to address these challenges. In the end, we also ask whether or not RDFS and OWL are enough and discuss numeric reasoning methods that are beyond the scope of these standards but that are often important when integrating Linked Data from several, heterogeneous sources.

Description Logics (DLs) are the logical formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for many powerful reasoning services. This paper provides an overview of basic topics in the field of Description Logics by surveying the introductory literature and course material with a focus on DL reasoning services. The resulting compilation also gives a historical perspective on DLs as a research area.

Answer Set Programming (ASP) evolved from various fields such as Logic Programming, Deductive Databases, Knowledge Representation, and Non- monotonic Reasoning, and serves as a flexible language for declarative problem solving. There are two main tasks in problem solving, representation and reasoning, which are clearly separated in the declarative paradigm. In ASP, representation is done using a rule-based language, while reasoning is performed using implementations of general-purpose algorithms, referred to as ASP solvers. Rules in ASP are interpreted according to common sense principles, including a variant of the closed-world-assumption (CWA) and the unique-name-assumption (UNA). Collections of ASP rules are referred to as ASP programs, which represent the modelled knowledge. To each ASP program a collection of answer sets, or intended models, is associated, which stand for the solutions to the modelled problem; this collection can also be empty, meaning that the modelled problem does not admit a solution. Several reasoning tasks exist: the classical ASP task is enumerating all answer sets or determining whether an answer set exists, but ASP also allows for query answering in brave or cautious modes. This article pro- vides an introduction to the field, starting with historical perspectives, followed by a definition of the core language, a guideline to knowledge representation, an overview of existing ASP solvers, and a panorama of current research topics in the field.

Ontology-based data access (OBDA) is regarded as a key ingredient of the new generation of information systems. In the OBDA paradigm, an ontology defines a high-level global schema of (already existing) data sources and provides a vocabulary for user queries. An OBDA system rewrites such queries and ontologies into the vocabulary of the data sources and then delegates the actual query evaluation to a suitable query answering system such as a relational database management system or a datalog engine. In this chapter, we mainly focus on OBDA with the ontology language OWL 2 QL, one of the three profiles of the W3C standard Web Ontology Language OWL2, and relational databases, although other possible languages will also be discussed. We consider different types of conjunctive query rewriting and their succinct- ness, different architectures of OBDA systems, and give an overview of the OBDA system Ontop.

Geospatial semantics as a research field studies how to publish, retrieve, reuse, and integrate geo-data, how to describe geo-data by conceptual models, and how to develop formal specifications on top of data structures to reduce the risk of incompatibilities. Geo-data is highly heterogeneous and ranges from qualitative interviews and thematic maps to satellite imagery and complex simulations. This makes ontologies, se- mantic annotations, and reasoning support essential ingredients towards a Geospatial Semantic Web. In this paper, we present an overview of major research questions, recent findings, and core literature.

These lecture notes provide a brief overview of some state of the art large scale information extraction projects. Consequently, these projects are related to current research activities in the semantic web community. The majority of the learning algorithms developed for these information extraction projects are based on the lexical and syntactical processing of Wikipedia and large web corpora. Due to the size of the processed data and the resulting intractability of the associated inference problems existing knowledge representation formalism are often inadequate for the task. We will present recent advances in combining tractable logical and probabilistic models that bring statistical language process- ing and rule-based approaches closer together. With these lecture notes we hope to convince the attendees that there are numerous synergies and research agendas that can arise when uncertainty-based data-driven research meets rule-based schema-driven research. We also describe cer- tain theoretical and practical advances in making probabilistic inference scale to very large problems.

In the next article, we will discuss Reasoning Web 2014.

コメント

Exit mobile version
タイトルとURLをコピーしました