ERC Consolidator Grant · 2017
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
Logic-based knowledge representation (KR) constitutes a vital area of IT. The field inspires and guides scientific and technological developments enabling intelligent management of large and complex knowledge resources. Elaborate languages for specifying knowledge (so-called ontology languages) and querying it have been defined and standardized. Algorithms for automated reasoning and intelligent querying over knowledge resources are being developed, implemented and practically deployed on a wide scale. Thereby, decidability investigations play a pivotal role to characterize what reasoning or querying tasks are at all computationally solvable. Past decades have seen a proliferation of new…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.