conftrace_

horn description logic

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

horn logic (3) description logic (3) query answering (2) knowledge representation (2) description logic ontology (1) pddl compilation (1) model theory (1) conservative extension (1) ontology-mediated querying (1) ontology approximation (1)

Papers

Expressivity of Planning with Horn Description Logic Ontologies AAAI 2022 First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022 Ontology Approximation in Horn Description Logics IJCAI 2019 Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017