[图书][B] Introduction to description logic

F Baader, I Horrocks, C Lutz, U Sattler - 2017 - books.google.com
Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …

Foundations of JSON schema

F Pezoa, JL Reutter, F Suarez, M Ugarte… - Proceedings of the 25th …, 2016 - dl.acm.org
JSON--the most popular data format for sending API requests and responses--is still lacking
a standardized schema or meta-data definition that allows the developers to specify the …

Datalog and recursive query processing

TJ Green, SS Huang, BT Loo… - Foundations and Trends …, 2013 - nowpublishers.com
In recent years, we have witnessed a revival of the use of recursive queries in a variety of
emerging application domains such as data integration and exchange, information …

[图书][B] Fundamentals of parameterized complexity

RG Downey, MR Fellows - 2013 - Springer
Parameterized complexity/multivariate complexity algorithmics is an exciting field of modern
algorithm design and analysis, with a broad range of theoretical and practical aspects that …

XPath leashed

M Benedikt, C Koch - ACM Computing Surveys (CSUR), 2009 - dl.acm.org
This survey gives an overview of formal results on the XML query language XPath. We
identify several important fragments of XPath, focusing on subsets of XPath 1.0. We then …

[图书][B] Probabilistic databases

D Suciu, D Olteanu, C Ré, C Koch - 2022 - books.google.com
Probabilistic databases are databases where the value of some attributes or the presence of
some records are uncertain and known only with some probability. Applications in many …

Texts in Theoretical Computer Science An EATCS Series

ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
Classical complexity theory analyzes and classifies problems by the amount of a resource,
usually time or space, that is required by algorithms solving them. It was a fundamental idea …

The logic of graph neural networks

M Grohe - 2021 36th Annual ACM/IEEE Symposium on Logic …, 2021 - ieeexplore.ieee.org
Graph neural networks (GNNs) are deep learning architectures for machine learning
problems on graphs. It has recently been shown that the expressiveness of GNNs can be …

[图书][B] Querying graphs

A Bonifati, G Fletcher, H Voigt, N Yakovets - 2022 - books.google.com
Graph data modeling and querying arises in many practical application domains such as
social and biological networks where the primary focus is on concepts and their …

[图书][B] Graph structure and monadic second-order logic: a language-theoretic approach

B Courcelle, J Engelfriet - 2012 - books.google.com
The study of graph structure has advanced in recent years with great strides: finite graphs
can be described algebraically, enabling them to be constructed out of more basic elements …