WG 12.1 - Knowledge Representation and Reasoning in Cognitive and Neuro-Symbolic AI (NSAI)
- Details
- Category: Knowledge Representation and Reasoning
- Published: 15 July 2013
The working group 12.1 maintains the webpage KRportal which is a community platform for research on knowledge representation and reasoning.
Officers
Chair
This email address is being protected from spambots. You need JavaScript enabled to view it., BRGM and Lecturer at Université Évry Paris-Saclay France
Vice-Chair
Dr. Sanju Tiwari, Senior Researcher at TIB – Leibniz Information Centre for Science and Technology, Hannover, Germany, and Professor at Sharda University
Secretary
Dr. Amna Dridi, Senior Lecturer in Data Science, Birmingham City University
Background and Context
Knowledge Representation and Reasoning (KRR) is a foundational area of Artificial Intelligence concerned with the formal representation of knowledge and the computational mechanisms required to reason over it [1]. By explicitly representing entities, concepts, relations, constraints, and rules, KRR enables intelligent systems to derive knowledge beyond what is directly observed or stated.
The rapid development of machine learning and deep learning has substantially expanded the capabilities of AI systems to learn representations and patterns from data. In parallel, symbolic approaches provide explicit semantics, domain knowledge, constraints, and reasoning mechanisms. These paradigms address complementary aspects of intelligence: learning from data and reasoning with structured knowledge.
Knowledge Graphs (KGs) have become an important paradigm at the intersection of KRR, data management, and AI. Combined with ontologies, rules, and constraints, they support explicit knowledge representation and deductive reasoning, while recent approaches based on embeddings, graph neural networks, rule learning, and other inductive methods enable knowledge completion, prediction, and pattern discovery [2].
These developments have strengthened the interaction between symbolic and neural AI. Neuro-Symbolic AI (NSAI) investigates this interaction by combining machine learning with symbolic knowledge representation and reasoning [3]. Key research questions include how symbolic knowledge can guide learning, how neural methods can support knowledge acquisition and refinement, and how neural and symbolic reasoning mechanisms can be effectively integrated. These questions are closely related to relational reasoning, constraints, interpretability, and explainability [4].
This convergence is particularly relevant to Cognitive AI, where intelligent systems are expected to integrate perception, learning, knowledge representation, and reasoning. KRR can provide the explicit knowledge structures required to organize and exploit information acquired from data and perception, while learning mechanisms can support the acquisition, completion, and evolution of such knowledge.
Research at this intersection therefore raises challenges across several complementary levels: representation, including symbolic, neural, and hybrid representations; reasoning, including symbolic, neural, commonsense, and hybrid reasoning; the learning–reasoning interface, including knowledge acquisition, refinement, rule learning, and representation learning; and the system level, including cognitive agents and cognitive digital twins.
Within IFIP Technical Committee 12 on Artificial Intelligence, WG12.1 “Knowledge Representation and Reasoning in Cognitive and Neuro-Symbolic AI” provides a scientific forum for bringing together researchers from KRR, Semantic Web and Knowledge Graphs, machine learning, cognitive AI, and neuro-symbolic AI.
The Working Group focuses on the interaction between knowledge representation, learning, perception, and reasoning, covering symbolic, neural, and hybrid approaches. Knowledge Graphs constitute an important component of this scope, but the WG is not restricted to Knowledge Graph technologies. Its broader objective is to investigate how explicit and learned knowledge representations, together with reasoning mechanisms, can contribute to cognitive and neuro-symbolic AI.
Scientific Positioning
WG12.1 is positioned at the intersection of four complementary research dimensions:
- Knowledge Representation: ontologies, Knowledge Graphs, rules, axioms, and symbolic, neural, and hybrid representations;
- Reasoning: symbolic, Knowledge Graph, neural, commonsense, and hybrid reasoning mechanisms;
- Neuro-Symbolic AI: integration of neural learning with symbolic knowledge representation and reasoning;
- Cognitive AI: integration of perception, learning, knowledge, and reasoning within intelligent systems, including cognitive agents and cognitive digital twins.
The central scientific question of the WG is therefore:
How can knowledge representation and reasoning be integrated with learning and perception to support the development of cognitive and neuro-symbolic AI systems?
Aims
The aim of this WG is to extend the previous activity focused on Knowledge Representation and reasoning with modern AI techniques for better efficacity with less environmental impacts. The main objective of WG12.1 is to bring together researchers and practitioners working on Knowledge Representation and Reasoning, Knowledge Graphs, Cognitive AI, and Neuro-Symbolic AI, fostering international collaboration across symbolic, neural, and hybrid approaches.
The WG aims to advance the theoretical foundations, methods, and techniques for representing, acquiring, refining, and reasoning with knowledge, and to investigate their integration with learning and perception in cognitive and neuro-symbolic AI systems. Several activities may be included : scientific meetings, workshops, special tracks, panels, and other scientific events addressing the topics covered by the Working Group.
Scope
The scope of the Working Group’s activities includes (but is not restricted to) the following:
- • Knowledge representation and reasoning;
- • Ontologies, knowledge graphs, rules, and axioms;
- • Symbolic, neural, and hybrid knowledge representations;
- • Symbolic, neural, and neuro-symbolic reasoning;
- • Knowledge graph reasoning and representation learning;
- • Rule learning and neuro-symbolic rules;
- • Commonsense and relational reasoning;
- • Knowledge acquisition, evolution, and refinement;
- • Integration of perception, learning, knowledge, and reasoning;
- • Interpretability and explainability;
- • Cognitive ai architectures and systems;
- • Cognitive and knowledge-driven agents;
- • Knowledge-driven and explainable storytelling;
- • Cognitive digital twins.
Future Plans
Workshop on “Knowledge Representation and Reasoning for Cognitive and Neuro-Symbolic AI” at IJCAI 2027
Workshop on “Semantic Foundations for Cognitive Digital Twins” at ESWC 2027
Edited Book on “Semantic Foundations and neuro-symbolique IA for Cognitive Digital Twins” with Springer
Apply for:
-
COST Action on “Semantic and Neuro-Symbolic Foundations for Cognitive Digital Twins” (SemCognDT) Funding Documents & Guidelines | COST deadline 26 october 2026
- Scientific Partnership with the International Knowledge Graph and Semantic Web Conference (KGSWC)
- MSCA Doctoral Network on “Multimodal Knowledge Graph Construction from Heterogeneous Information Sources” deadline 24 novembre 2027
Members
| Pietro Baroni | Universià degli Studi di Brescia | Italy | 09.09.15 |
| Christoph Beierle | FernUniversität in Hagen | Germany | 30.09.15 |
| Salem Benferhat | Université d'Artois | France | 10.09.15 |
| Stefano Bistarelli | University of Perugia | Italy | 10.09.15 |
| Elizabeth Black | King's College London | UK | 10.09.15 |
| Richard Booth | Cardiff University | UK | 09.09.15 |
| Federico Cerutti | Cardiff University | UK | 09.09.15 |
| Claudia D'Amato | Università degli Studi di Bari | Italy | 14.09.15 |
| James Delgrande | Simon Fraser University | Canada | 02.10.15 |
| Sylvie Doutre | University of Toulouse 1 | France | 16.09.15 |
| Stefan Ellmauthaler | TU Dresden | Germany | 11.09.15 |
| Sarah A. Gaggl | University of Dresden | Germany | 09.09.15 |
| Massimiliano Giacomin | Università degli Studi di Brescia | Italy | 12.09.15 |
| Thomas Gordon | Fraunhofer FOKUS Berlin | Germany | 09.09.15 |
| Davide Grossi | University of Liverpool | UK | 09.09.15 |
| Andreas Herzig | Université Paul Sabatier | France | 10.09.15 |
| Anthony Hunter | University College London | UK | 09.09.15 |
| Souhila Kaci | University of Montpellier 2 | France | 10.09.15 |
| Gabriele Kern-Isberner | TU Dortmund | Germany | 11.09.15 |
| Patrick Krümpelmann | TU Dortmund | Germany | 14.09.15 |
| Mario Lezoche | Universite de Lorraine | France | 29.06.20 |
| Beishui Liao | Zhejiang University | China | 09.09.15 |
| Thomas Linsbichler | TU Vienna | Austria | 11.09.15 |
| Sheila McIlraith | University of Toronto | Canada | 01.10.15 |
| Thomas Meyer | University of Cape Town | South Africa | 09.09.15 |
| Sanjay Modgil | King's College London | UK | 09.09.15 |
| Nir Oren | University of Aberdeen | UK | 10.09.15 |
| Sylwia Polberg | University College London | UK | 18.09.15 |
| Nico Potyka | FernUniversität in Hagen | Germany | 10.09.15 |
| Henry Prakken | Utrecht University | The Netherlands | 16.09.15 |
| Chris Reed | University of Dundee | UK | 09.09.15 |
| Odinaldo Rodrigues | King's College London | UK | 22.09.15 |
| Guillermo R. Simari | Universidad Nacional del Sur | Argentina | 09.09.15 |
| Gerardo I. Simari | Universidad Nacional del Sur | Argentina | 10.09.15 |
| Andrea Tettamanzi | University Nice Sophia Antipolis | France | 09.09.15 |
| Matthias Thimm | Universität Koblenz-Landau | Germany | 28.10.13 |
| Mauro Vallati | University of Huddersfield | UK | 09.09.15 |
| Bas van Gijzel | University of Nottingham | UK | 13.10.15 |
| Marc van Zee | University of Luxembourg | Luxembourg | 09.09.15 |
| Srdjan Vesic | CRIL Lens | France | 09.09.15 |
| Serena Villata | Signaux et Systèmes de Sophia-Antipolis | France | 12.10.15 |
| Stefan Woltran | TU Vienna | Austria | 10.09.15 |