On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

22 October 2020

Papers citing "On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles"

2 / 2 papers shown

Title
Finite Entailment of UCRPQs over ALC Ontologies Víctor Gutiérrez-Basulto Albert Gutowski Yazmín Ibánez-García Filip Murlak 46 3 0 29 Apr 2022
On Finite Entailment of Non-Local Queries in Description Logics Tomasz Gogacz Víctor Gutiérrez-Basulto Albert Gutowski Yazmín Ibánez-García Filip Murlak 18 5 0 30 Jun 2020