conftrace_

ontology language

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

query answering (2) description logic (2) guarded fragment (1) cross product (1) tuple-generating dependencies (1) existential rule language (1) program expressive power (1) model-theoretic properties (1) disjunctive embedded dependencies (1) tuple-generating dependency (1)

Papers

Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Semantic Representation of Data Science Programs IJCAI 2018 Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017