conftrace_

finite entailment

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

description logic (3) regular path queries (2) query entailment (2) ontology-mediated queries (1) finite model semantics (1) finite controllability (1) knowledge base satisfiability (1) transitive role (1) finite model (1) regular expression (1)

Papers

Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023 Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022 On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles IJCAI 2019