Dr Clemens Kupke

Senior Lecturer

Computer and Information Sciences

Publications

Size measures and alphabetic equivalence in the μ-calculus
Kupke Clemens, Marti Johannes, Venema Yde
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings - Symposium on Logic in Computer Science (2022)
https://doi.org/10.1145/3531130.3533339
Coalgebraic reasoning with global assumptions in arithmetic modal logics
Kupke Clemens, Pattinson Dirk, Schröder Lutz
ACM Transactions on Computational Logic Vol 23, pp. 1-34 (2022)
https://doi.org/10.1145/3501300
Infinite horizon extensive form games, coalgebraically
Capucci Matteo, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
Mathematics for Computation (2022) (2022)
Succinct graph representations of µ-calculus formulas
Kupke Clemens, Marti Johannes, Venema Yde
30th EACSL Annual Conference on Computer Science Logic, CSL 2022 30th EACSL Annual Conference on Computer Science Logic, CSL 2022 Leibniz International Proceedings in Informatics, LIPIcs Vol 216 (2022)
https://doi.org/10.4230/LIPIcs.CSL.2022.29
Stable model semantics for guarded existential rules and description logics : decidability and complexity
Gottlob Georg, Hernich André, Kupke Clemens, Lukasiewicz Thomas
Journal of the ACM Vol 68, pp. 1-87 (2021)
https://doi.org/10.1145/3447508
On the size of disjunctive formulas in the μ-calculus
Kupke Clemens, Marti Johannes, Venema Yde
(2021)
https://doi.org/10.4204/EPTCS.346.19

More publications

Professional activities

Scottish Programming Languages and Verification Summer School 2019
Organiser
5/8/2019

More professional activities

Projects

Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, Clemens (Principal Investigator) Nordvall Forsberg, Fredrik (Co-investigator) Watters, Sean (Research Co-investigator)
01-Jan-2021 - 01-Jan-2025
COVER: COalgebraic Foundations for Quantitative VERification
Kupke, Clemens (Principal Investigator)
01-Jan-2020 - 31-Jan-2023
Industrial Case Account - University of Strathclyde 2019 | Fontana, Enrico
Duncan, Ross (Principal Investigator) Kupke, Clemens (Principal Investigator) Atkey, Bob (Co-investigator) Weir, George (Co-investigator) Fontana, Enrico (Research Co-investigator)
01-Jan-2019 - 01-Jan-2024
KTP - Symphonic Software
Atkey, Bob (Principal Investigator) Kupke, Clemens (Co-investigator)
06-Jan-2017 - 05-Jan-2019
Coalgebraic Foundations of Semi-Structured Data (EPSRC First Grant)
Kupke, Clemens (Principal Investigator)
"Databases are irreplaceable in our modern information society. Classically, information has been stored in rigidly structured databases employing the relational data model and the query language SQL. This has led to highly optimised relational database management systems such as Oracle or Mircrosoft SQL that have large-scale industrial deployment. Underpinning much of the success of these systems has been their close connection with their mathematical foundations within relational algebra and mathematical logic. However, the internet has dramatically changed our understanding of data and databases: i) data on the Web is inherently hierarchical and arranged in a network/graph; and ii) the decentralised nature of the Web means that data comes from various heterogenous sources, is often incomplete or unreliable and has no uniform structure. Still, Web data retains some structure and, consequently, semi-structured data seeks to understand what structure persists and how it can be utilised. Examples of widespread, industrially-used data models are XML, JSON and RDF.

Mathematically, semi-structured data is usually represented as unranked labelled trees where nodes are accessed via the parent, child and sibling relations or labelled graphs where nodes are accessed via the edge relation. Data elements are stored at the nodes. Due to the special features of Web data mentioned above, query languages for semi-structured data face significantly greater challenges compared to those for data stored in a relational database: i) queries must navigate the path structure within a tree or graph and query the data elements found along such paths to explore important properties of the data; and ii) one must add a common vocabulary to the data - often via an ontology - that provides a logical layer for integrating semantically related data from heterogeneous sources. But as semi-structured data models have become increasingly sophisticated and expressive - e.g. in order to model the uncertainty attached to the data - the development of matching query and ontology languages have struggled to keep pace. Indeed, while there is a large body of work on specific semi-structured data models and their corresponding query languages there is currently no comprehensive theory that both accounts for existing semi-structured data formats and their query languages, and is able to guide their extension to the next generation of semi-structured data formats. For example, while the widely used query language XPath has been recently extended from XML to graph data, there is currently no agreed mechanism to further extend XPath to graph data with uncertainty.

Our central insight is that coalgebra provides the right level of abstraction to underpin a comprehensive theory of query and ontology languages for semi-structured data. This is because i) coalgebra generalises - via coalgebraic modal logic - the usual modal logics used for traversing trees and graphs; and ii) coalgebra generalises - via coalgebraic logic programming - standard rule-based ontology languages which are based upon logic programming."
01-Jan-2016 - 31-Jan-2018
CORCON (FP7 IRSES)
Ghani, Neil (Principal Investigator) Kupke, Clemens (Co-investigator) McBride, Conor (Co-investigator)
01-Jan-2014 - 31-Jan-2017

More projects

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map