Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

16 January 2014

Papers citing "Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!"

5 / 5 papers shown

Title
Decidability of Querying First-Order Theories via Countermodels of Finite Width Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph LRM 67 2 0 13 Apr 2023
Finite Query Answering in Expressive Description Logics with Transitive Roles Tomasz Gogacz Yazmín Ibánez-García Filip Murlak 58 15 0 09 Aug 2018
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies David Carral C. Feier Pascal Hitzler LRM 21 8 0 19 Apr 2018
Bound Your Models! How to Make OWL an ASP Modeling Language S. A. Gaggl Sebastian Rudolph Lukas Schweizer 20 4 0 03 Nov 2015
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau Ian Horrocks Markus Krotzsch C. Kupke Despoina Magka B. Motik Zhe Wang LRM 47 130 0 04 Feb 2014