Paul Groth

Abraham Bernstein

Natasha Noy

Chris Welty

Peter Mika

Krzysztof Janowicz

Craig Knoblock

Denny Vrandečić

Carole Goble

The two-volume set LNCS 8796 and 8797 constitutes the refereed proceedings of the 13th International Semantic Web Conference, ISWC 2014, held in Riva del Garda, in October 2014. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discussed, and where the future of this vision is being developed. It brings together specialists in fields such as artificial intelligence, databases, social networks, distributed computing, Web engineering, information systems, human-computer interaction, natural language processing, and the social sciences. Part 1 (LNCS 8796) contains a total of 38 papers which were presented in the research track. They were carefully reviewed and selected from 180 submissions. Part 2 (LNCS 8797) contains 15 papers from the 'semantic Web in use' track which were accepted from 46 submissions. In addition, it presents 16 contributions of the RBDS track and 6 papers of the doctoral consortium.

13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings

The Semantic Web – ISWC 2014

Generating Abstraction Hierarchies presents a completely automated approach to generating abstractions for problem solving. The abstractions are generated using a tractable, domain-independent algorithm whose only inputs are the definition of a problem space and the problem to be solved and whose output is an abstraction hierarchy that is tailored to the particular problem. The algorithm generates abstraction hierarchies that satisfy the `ordered monotonicity' property, which guarantees that the structure of an abstract solution is not changed in the process of refining it. An abstraction hierarchy with this property allows a problem to be decomposed such that the solution in an abstract space can be held invariant while the remaining parts of a problem are solved. The algorithm for generating abstractions is implemented in a system called ALPINE, which generates abstractions for a hierarchical version of the PRODIGY problem solver. Generating Abstraction Hierarchies formally defines this hierarchical problem solving method, shows that under certain assumptions this method can reduce the size of a search space from exponential to linear in the solution size, and describes the implementation of this method in PRODIGY. The abstractions generated by ALPINE are tested in multiple domains on large problem sets and are shown to produce shorter solutions with significantly less search than problem solving without using abstraction. Generating Abstraction Hierarchies will be of interest to researchers in machine learning, planning and problem reformation.

An Automated Approach to Reducing Search in Planning

Generating Abstraction Hierarchies

13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II

Tania Tudorache

Craig Knoblock

Books

Your next favorite book is out there