OWL: Experiences and Directions – Reasoner Evaluation

OWL: Experiences and Directions – Reasoner Evaluation
Author: Mauro Dragoni
Publisher: Springer
Total Pages: 164
Release: 2017-02-23
Genre: Computers
ISBN: 3319546279

This book constitutes the thoroughly refereed conference proceedings of the 13International Workshop on OWL: Experiences and Directions, OWLED 2016, and the 5th International Workshop on OWL: Reasoner Evaluation, ORE 2016, held in Bologna, Italy in November 20, 2016. The Workshops were co-located with the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016. The 11 revised full papers, 3 short paper and one invited talk presented were carefully reviewed and selected from 27 initial submissions. The papers are trying to bridge the gap between ontology engineering practices and software engineering with the aim of describing reuse methods employed throughout the ontology development cycle; modeling/terminological decisions, alignment and comparison between ontologies, how ontologies are stored, versioned, distributed and consumed over the Web. Chapter “Use Cases and Suitability Metrics for Unit Ontologies” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Knowledge Discovery, Knowledge Engineering and Knowledge Management
Author: Ana Fred
Publisher: Springer
Total Pages: 546
Release: 2017-01-21
Genre: Computers
ISBN: 3319527584

This book constitutes the thoroughly refereed proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2015, held in Lisbon, Portugal, in November 2015. The 25 full papers presented together with 2 invited papers were carefully reviewed and selected from 280 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; knowledge engineering and ontology development; and knowledge management and information sharing.

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering
Author: Jeff Z. Pan
Publisher: Springer
Total Pages: 271
Release: 2017-02-28
Genre: Computers
ISBN: 3319494937

This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016. In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction and Query Answering”. The notion of knowledge graph has become popular since Google started to use it to improve its search engine in 2012. Inspired by the success of Google, knowledge graphs are gaining momentum in the World Wide Web arena. Recent years have witnessed increasing industrial take-ups by other Internet giants, including Facebook's Open Graph and Microsoft's Satori. The aim of the lecture note is to provide a logical foundation for constructing and querying knowledge graphs. Our journey starts from the introduction of Knowledge Graph as well as its history, and the construction of knowledge graphs by considering both explicit and implicit author intentions. The book will then cover various topics, including how to revise and reuse ontologies (schema of knowledge graphs) in a safe way, how to combine navigational queries with basic pattern matching queries for knowledge graph, how to setup a environment to do experiments on knowledge graphs, how to deal with inconsistencies and fuzziness in ontologies and knowledge graphs, and how to combine machine learning and machine reasoning for knowledge graphs.

The Semantic Web

The Semantic Web
Author: Pascal Hitzler
Publisher: Springer
Total Pages: 648
Release: 2019-05-24
Genre: Computers
ISBN: 303021348X

This book constitutes the refereed proceedings of the 16th International Semantic Web Conference, ESWC 2019, held in Portorož, Slovenia. The 39 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in three tracks: research track, resources track, and in-use track and deal with the following topical areas: distribution and decentralisation, velocity on the Web, research of research, ontologies and reasoning, linked data, natural language processing and information retrieval, semantic data management and data infrastructures, social and human aspects of the Semantic Web, and, machine learning.

Innovations, Developments, and Applications of Semantic Web and Information Systems

Innovations, Developments, and Applications of Semantic Web and Information Systems
Author: Lytras, Miltiadis D.
Publisher: IGI Global
Total Pages: 493
Release: 2018-01-19
Genre: Computers
ISBN: 1522550437

In the last few years, there has been an increased advancement and evolution in semantic web and information systems in a variety of fields. The integration of these approaches to ontology engineering, sophisticated methods and algorithms for open linked data extraction, and advanced decision-making creates new opportunities for a bright future. Innovations, Developments, and Applications of Semantic Web and Information Systems is a critical scholarly resource that discusses integrated methods of research and analytics in information technology. Featuring coverage on a broad range of topics, such as cognitive computing, artificial intelligence, machine learning, data analysis, and algorithms, this book is geared towards researchers, academicians, and professionals seeking current information on semantic web and information systems.

Ontology Engineering with Ontology Design Patterns: Foundations and Applications

Ontology Engineering with Ontology Design Patterns: Foundations and Applications
Author: P. Hitzler
Publisher: IOS Press
Total Pages: 388
Release: 2016-09-16
Genre: Computers
ISBN: 1614996768

The use of ontologies for data and knowledge organization has become ubiquitous in many data-intensive and knowledge-driven application areas, in science, industry, and the humanities. At the same time, ontology engineering best practices continue to evolve. In particular, modular ontology modeling based on ontology design patterns is establishing itself as an approach for creating versatile and extendable ontologies for data management and integration. This book is the very first comprehensive treatment of Ontology Engineering with Ontology Design Patterns. It contains both advanced and introductory material accessible for readers with only a minimal background in ontology modeling. Some introductory material is written in the style of tutorials, and specific chapters are devoted to examples and to applications. Other chapters convey the state of the art in research regarding ontology design patterns. The editors and the contributing authors include the leading contributors to the development of ontology-design-pattern-driven ontology engineering.

The Semantic Web – ISWC 2017

The Semantic Web – ISWC 2017
Author: Claudia d'Amato
Publisher: Springer
Total Pages: 806
Release: 2017-10-11
Genre: Computers
ISBN: 3319682881

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. ISWC 2017 is the premier international forum, for the Semantic Web / Linked Data Community. The total of 55 full and 21 short papers presented in this volume were carefully reviewed and selected from 300 submissions. They are organized according to the tracks that were held: Research Track; Resource Track; and In-Use Track.

The Semantic Web - ISWC 2015

The Semantic Web - ISWC 2015
Author: Marcelo Arenas
Publisher: Springer
Total Pages: 685
Release: 2015-10-13
Genre: Computers
ISBN: 3319250078

The two-volume set LNCS 9366 and 9367 constitutes the refereed proceedings of the 14th International Semantic Web Conference, ISWC 2015, held in Bethlehem, PA, USA, in October 2015. 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. The papers cover topics such as querying with SPARQL; querying linked data; linked data; ontology-based data access; ontology alignment; reasoning; instance matching, entity resolution and topic generation; RDF data dynamics; ontology extraction and generation; knowledge graphs and scientific data publication; ontology instance alignment; knowledge graphs; data processing, IoT, sensors; archiving and publishing scientific data; I oT and sensors; experiments; evaluation; and empirical studies. Part 1 (LNCS 9366) contains a total of 38 papers which were presented in the research track. They were carefully reviewed and selected from 172 submissions. Part 2 (LNCS 9367) contains 14 papers from the in-use and software track, 8 papers from the datasets and ontologies track, and 7 papers from the empirical studies and experiments track, selected, respectively, from 33, 35, and 23 submissions.

Completion of Ontologies and Ontology Networks

Completion of Ontologies and Ontology Networks
Author: Zlatan Dragisic
Publisher: Linköping University Electronic Press
Total Pages: 88
Release: 2017-08-22
Genre: Computers
ISBN: 9176855228

The World Wide Web contains large amounts of data, and in most cases this data has no explicit structure. The lack of structure makes it difficult for automated agents to understand and use such data. A step towards a more structured World Wide Web is the Semantic Web, which aims at introducing semantics to data on the World Wide Web. One of the key technologies in this endeavour are ontologies, which provide a means for modeling a domain of interest and are used for search and integration of data. In recent years many ontologies have been developed. To be able to use multiple ontologies it is necessary to align them, i.e., find inter-ontology relationships. However, developing and aligning ontologies is not an easy task and it is often the case that ontologies and their alignments are incorrect and incomplete. This can be a problem for semantically-enabled applications. Incorrect and incomplete ontologies and alignments directly influence the quality of the results of such applications, as wrong results can be returned and correct results can be missed. This thesis focuses on the problem of completing ontologies and ontology networks. The contributions of the thesis are threefold. First, we address the issue of completing the is-a structure and alignment in ontologies and ontology networks. We have formalized the problem of completing the is-a structure in ontologies as an abductive reasoning problem and developed algorithms as well as systems for dealing with the problem. With respect to the completion of alignments, we have studied system performance in the Ontology Alignment Evaluation Initiative, a yearly evaluation campaign for ontology alignment systems. We have also addressed the scalability of ontology matching, which is one of the current challenges, by developing an approach for reducing the search space when generating the alignment.Second, high quality completion requires user involvement. As users' time and effort are a limited resource we address the issue of limiting and facilitating user interaction in the completion process. We have conducted a broad study of state-of-the-art ontology alignment systems and identified different issues related to the process. We have also conducted experiments to assess the impact of user errors in the completion process. While the completion of ontologies and ontology networks can be done at any point in the life-cycle of ontologies and ontology networks, some of the issues can be addressed already in the development phase. The third contribution of the thesis addresses this by introducing ontology completion and ontology alignment into an existing ontology development methodology.

Automated Deduction – CADE 26

Automated Deduction – CADE 26
Author: Leonardo de Moura
Publisher: Springer
Total Pages: 593
Release: 2017-07-09
Genre: Computers
ISBN: 3319630466

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.