ResearchTrend.AI
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers

Ian Pratt-Hartmann
ArXiv (abs)PDFHTML

Papers citing "Data-Complexity of the Two-Variable Fragment with Counting Quantifiers"

5 / 5 papers shown
Title
Finite Entailment of UCRPQs over ALC Ontologies
Finite Entailment of UCRPQs over ALC Ontologies
Víctor Gutiérrez-Basulto
Albert Gutowski
Yazmín Ibánez-García
Filip Murlak
29
3
0
29 Apr 2022
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
Tomasz Gogacz
Víctor Gutiérrez-Basulto
Yazmín Ibánez-García
J. C. Jung
Filip Murlak
LRM
16
10
0
22 Oct 2020
Finite Query Answering in Expressive Description Logics with Transitive Roles
Finite Query Answering in Expressive Description Logics with Transitive Roles
Tomasz Gogacz
Yazmín Ibánez-García
Filip Murlak
45
15
0
09 Aug 2018
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
André Hernich
C. Lutz
Fabio Papacchini
F. Wolter
14
24
0
18 Apr 2018
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Sebastian Rudolph
Birte Glimm
89
58
0
16 Jan 2014

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.