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!"

4 / 4 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 54 2 0 13 Apr 2023
Hypertableau Reasoning for Description Logics B. Motik Rob Shearer Ian Horrocks LRM 54 457 0 15 Jan 2014
Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm Ian Horrocks C. Lutz U. Sattler 69 299 0 31 Oct 2011
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers Ian Pratt-Hartmann 68 38 0 10 Jun 2008