5 citations · 8 across the 6 of their papers we have counts for
Showing 2020 · cs.AIShow all
2 papers · 2 filters
cs.AI2020
On Finite Entailment of Non-Local Queries in Description Logics
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski +2
We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the…
cs.AI2020
Plausible Reasoning about EL-Ontologies using Concept Interpolation
Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto, Steven Schockaert
Description logics (DLs) are standard knowledge representation languages for modelling ontologies, i.e. knowledge about concepts and the relations between them. Unfortunately, DL o…