Marie-Laure Mugnier

Michel Chein

This book provides a de?nition and study of a knowledge representation and r- soning formalism stemming from conceptual graphs, while focusing on the com- tational properties of this formalism. Knowledge can be symbolically represented in many ways. The knowledge representation and reasoning formalism presented here is a graph formalism – knowledge is represented by labeled graphs, in the graph theory sense, and r- soning mechanisms are based on graph operations, with graph homomorphism at the core. This formalism can thus be considered as related to semantic networks. Since their conception, semantic networks have faded out several times, but have always returned to the limelight. They faded mainly due to a lack of formal semantics and the limited reasoning tools proposed. They have, however, always rebounded - cause labeled graphs, schemas and drawings provide an intuitive and easily und- standable support to represent knowledge. This formalism has the visual qualities of any graphic model, and it is logically founded. This is a key feature because logics has been the foundation for knowledge representation and reasoning for millennia. The authors also focus substantially on computational facets of the presented formalism as they are interested in knowledge representation and reasoning formalisms upon which knowledge-based systems can be built to solve real problems. Since object structures are graphs, naturally graph homomorphism is the key underlying notion and, from a computational viewpoint, this moors calculus to combinatorics and to computer science domains in which the algorithmicqualitiesofgraphshavelongbeenstudied,asindatabasesandconstraint networks.

Computational Foundations of Conceptual Graphs

Graph-based Knowledge Representation

Roman Kontchakov

This book constitutes the refereed proceedings of the 8th International Conference on Web Reasoning and Rule Systems, RR 2014, held in Athens, Greece in September 2014. The 9 full papers, 9 technical communications and 5 poster presentations presented together with 3 invited talks, 3 doctoral consortial papers were carefully reviewed and selected from 33 submissions. The conference covers a wide range of the following: semantic Web, rule and ontology languages, and related logics, reasoning, querying, searching and optimization, incompleteness, inconsistency and uncertainty, non-monotonic, common sense, and closed-world reasoning for the web, dynamic information, stream reasoning and complex event processing, decision making, planning, and intelligent agents, machine learning, knowledge extraction and information retrieval, data management, data integration and reasoning on the web of data, ontology-based data access, system descriptions, applications and experiences.

8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

Web Reasoning and Rule Systems

Gerd Stumme

Frithjof Dau

This book constitutes the refereed proceedings of the 13th International Conference on Conceptual Structures, ICCS 2005, held in Kassel, Germany, in July 2005. The 23 revised full papers presented together with 9 invited papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on theoretical foundations, knowledge engineering and tools, and knowledge acquisition and ontologies.

Marie-Laure Mugnier

Books

Your next favorite book is out there